status-im/dagger-contracts
2
0
Fork 0
mirror of https://github.com/status-im/dagger-contracts.git synced 2025-01-12 23:35:49 +00:00
Code Issues Projects Releases Wiki Activity
dagger-contracts/.github/workflows
History
r4bbit 50e90b6816 chore(CI): update certora-cli to 7.10.2 
This should fix the bug of certora-cli not properly completing with non
zero exit codes on errors, which ultimately results in CI tasks to give
false positives.
2024-08-27 15:08:52 +02:00
..
ci.yml
chore(CI): update certora-cli to 7.10.2
2024-08-27 15:08:52 +02:00
docker-dist-tests.yml
Add reusable workflow for Docker (codex-storage/cs-codex-dist-tests/issues/42) (#67)
2023-08-17 06:05:52 +03:00
docker-reusable.yml
ci: update actions to the latest major versions (#120)
2024-06-14 13:53:18 +02:00
docker.yml
Add reusable workflow for Docker (codex-storage/cs-codex-dist-tests/issues/42) (#67)
2023-08-17 06:05:52 +03:00