Releases: runtimeverification/optimism-ci
Releases · runtimeverification/optimism-ci
89511c5
de2447a
Update optimism-ci.yaml (#16)
8dcff09: Revert "Update optimism-ci.yaml (#13)" (#15)
This reverts commit 9fd145caa74f85e188b5bf4185a5ecba913f99df.
9fd145c: Update optimism-ci.yaml (#13)
Adds a build step before running kontrol
8706c2f
Update optimism-ci.yaml: Do Not always upload files. if a failure occ…
2bcfcd2: Set runtime timeout (#12)
* modified: .github/workflows/optimism-ci.yaml - Limit execution time to 2 hours based on execution history when runs run longer than this there is likely an unhandled error occuring. * Set to 3 hours instead for additional cushion for test development
3900a8f: Continue on failure to pull / push from kaas caches (#11)
* Removing the tag latest and moving to a tag system based on the version of the file containing the test set being run i.e. run_kontrol.sh If a download from the cache server fails this should not fail the test overall. It will just take longer. modified: .github/workflows/optimism-ci.yaml * If uploading the latest cache fails it does not mean the test itself failed. Do not stop or fail a test because this upload step failed.
ad6b3db
Modifying concurrency to NOT cancel in progress builds. For loggin (#10)
a38a149: Update optimism-ci.yaml (#9)
* Update optimism-ci.yaml Updates `optimism-ci.yaml` to install `rust`, `foundry`, and `just` so that we can build snapshots as part of `run-kontrol.sh`. * Update .github/workflows/optimism-ci.yaml Co-authored-by: Matt Solomon <[email protected]> * Update optimism-ci.yaml * Update optimism-ci.yaml * Update optimism-ci.yaml * Update optimism-ci.yaml --------- Co-authored-by: Matt Solomon <[email protected]>
e6e4948
Fix quotes in JSON (#8)