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