]>
2023-09-07 | Matt Caswell | Copyright year updates | blob | commitdiff | raw |
2023-09-05 | dependabot[bot] | Bump actions/checkout from 2 to 4 | blob | commitdiff | raw | diff to current |
2022-12-08 | Tomas Mraz | Fuzz checker CI: Use more generic include dir for fuzze... | blob | commitdiff | raw | diff to current |
2022-11-03 | Tomas Mraz | Update GitHub actions as suggested by dependabot | blob | commitdiff | raw | diff to current |
2022-08-23 | Tomas Mraz | Always automatically add -DPEDANTIC with enable-ubsan | blob | commitdiff | raw | diff to current |
2022-07-13 | Varun Sharma | ci: add GitHub token permissions for workflows | blob | commitdiff | raw | diff to current |
2021-09-21 | Pauli | ci: add copyright header to CI scripts | blob | commitdiff | raw | diff to current |
2021-09-02 | Pauli | CI: add last run-checker fuzzing CIs to Actions | blob | commitdiff | raw | diff to current |