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)

bfe271a

Add OP retro funding verification (#7)

0d4572b: Merge pull request #5 from runtimeverification/mds1-patch-2

chore: don't notify on cancelled

7dd39ef

fix: add missing comma to JSON (#4)