Skip to content

Releases: runtimeverification/optimism-ci

b226caf

19 Mar 21:45
Compare
Choose a tag to compare
Checkout RV Fork of Optimism to include and test with changes to Opti…

88997e8

19 Mar 22:05
Compare
Choose a tag to compare
Fixing KCFG Upload run folder, and artifact upload to search for gene…

fc2d089

14 Mar 21:26
fc2d089
Compare
Choose a tag to compare
Update optimism-ci.yaml

fdc7fdf

12 Mar 03:15
Compare
Choose a tag to compare
Define shell

9a635da

12 Mar 04:51
Compare
Choose a tag to compare
Rename job to optimism

7d4ec0c

12 Mar 03:58
Compare
Choose a tag to compare
beta version test

55a2dca

12 Mar 03:49
Compare
Choose a tag to compare
Github generate CI checkout version update and submodule checkout bef…

29674e2

12 Mar 04:50
Compare
Choose a tag to compare
Remove KaaS-CLI for now