2024-01-26 | Christian Marangi | CI: formal: use shared workflow in actions-shared-workflows | blob | commitdiff | raw |
2024-01-11 | Paul Spooren | ci: no longer require real name | blob | commitdiff | raw | diff to current |
2022-10-12 | Christian Marangi | CI: bump actions/checkout action to v3 | blob | commitdiff | raw | diff to current |
2022-09-20 | Petr Štetiar | ci: move scripts into separate directory | blob | commitdiff | raw | diff to current |
2022-09-19 | Alex Low | build: harden GitHub workflow permissions | blob | commitdiff | raw | diff to current |
2022-02-24 | Paul Spooren | CI: allow dots in commit subject area | blob | commitdiff | raw | diff to current |
2022-01-29 | Paul Spooren | CI: add formal checks | blob | commitdiff | raw | diff to current |