dependabot[bot] 7e2321de75 Bump actions/download-artifact from 3 to 4 ... Bumps [actions/download-artifact](https://github.com/actions/download-artifact) from 3 to 4. - [Release notes](https://github.com/actions/download-artifact/releases) - [Commits](https://github.com/actions/download-artifact/compare/v3...v4) --- updated-dependencies: - dependency-name: actions/download-artifact dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] <support@github.com>		2023-12-18 10:36:58 +00:00
..
fuzz.yml	Bump actions/download-artifact from 3 to 4	2023-12-18 10:36:58 +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 0.37 to 1.0	2023-10-02 10:26:25 +00: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