Martin Habovstiak 5c15ed5441 CI: Epic overhaul ... Re-write the whole CI pipeline. Co-developed-by: Martin Habovstiak <martin.habovstiak@gmail.com>		2024-02-02 05:57:23 +11:00
..
coveralls.yml	Ignore fuzz dir from coverage reports	2024-01-19 18:09:59 +01:00
fuzz.yml	Bump actions/cache from 3 to 4	2024-01-22 10:53:21 +00:00
gh-release.yml	CI: add an automated github releases on new tags	2023-09-10 19:21:22 -03:00
kani.yml	Bump model-checking/kani-github-action from 1.0 to 1.1	2024-01-15 10:43:18 +00:00
manage-pr.yml	Add automated labeler job	2024-01-20 16:35:37 +01:00
release.yml	Bump actions/checkout from 2 to 4	2023-09-09 15:26:36 +00:00
rust.yml	CI: Epic overhaul	2024-02-02 05:57:23 +11:00
rustfmt.yml	Add author for the format bot	2023-12-02 06:23:46 +11:00