Frantisek Sumsal 3884837610 ci: cancel previous jobs on ref update ... Let's save the environment (and reduce the number of jobs in GH Actions queues) by cancelling old jobs on a ref update (force push). See: https://docs.github.com/en/actions/learn-github-actions/workflow-syntax-for-github-actions#concurrency		2021-11-10 17:15:35 +01:00
..
ISSUE_TEMPLATE	licensing: say that our github docs are LGPLv2.1+	2021-10-01 14:45:00 +02:00
workflows	ci: cancel previous jobs on ref update	2021-11-10 17:15:35 +01:00
FUNDING.yml	github: remove direct paypal link	2020-02-05 21:29:34 +09:00
labeler.yml	ci: use LGPLv2+ for all our ci configuration	2021-10-01 14:45:00 +02:00