Peter Dimov 84a8576609 Remove uses of mstachniuk/ci-skip@v1; no longer needed since https://github.blog/changelog/2021-02-08-github-actions-skip-pull-request-and-push-workflows-with-skip-ci/

2026-05-04 18:10:40 +03:00

..

ci.yml

Remove uses of mstachniuk/ci-skip@v1; no longer needed since https://github.blog/changelog/2021-02-08-github-actions-skip-pull-request-and-push-workflows-with-skip-ci/

2026-05-04 18:10:40 +03:00

code-coverage.yml

Add permissions to CI script.

2026-03-06 13:40:14 +00:00