Martin Habovstiak c6c5f07880 Add automated labeler job ... Rather than modifying the labels manually, which we often forget, we can label the PRs automatically. This will make it easier to search PRs.		2024-01-20 16:35:37 +01:00
..
fuzz.yml	ci: revert #2301 "update download-artifact to v4"	2023-12-19 19:28:44 +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	Lint with nightly	2023-12-08 13:22:41 +01:00
rustfmt.yml	Add author for the format bot	2023-12-02 06:23:46 +11:00