Skip to content

Actions: rems-project/cn-tutorial

Actions

Deploy the CN tutorial to GitHub Pages

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy-to-web.yml
104 workflow runs
104 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

increase timeout, for handling https://github.com/rems-project/cerber… Deploy the CN tutorial to GitHub Pages #54: Commit 8b4628e pushed by cp526
July 17, 2024 09:48 51s main
main
July 17, 2024 09:48 51s
Deactivate CI for Coq to make the merge easier Deploy the CN tutorial to GitHub Pages #53: Commit b4398cd pushed by septract
July 13, 2024 00:47 57s main
main
July 13, 2024 00:47 57s
Add Runway example to tutorial Deploy the CN tutorial to GitHub Pages #52: Commit ee13eb9 pushed by elaustell
July 12, 2024 21:35 54s main
main
July 12, 2024 21:35 54s
Deactivate CI for Coq to make the merge easier Deploy the CN tutorial to GitHub Pages #51: Commit b4398cd pushed by septract
July 11, 2024 21:54 51s main
main
July 11, 2024 21:54 51s
move previously-broken example back, in preparation for Kayvan's fix Deploy the CN tutorial to GitHub Pages #50: Commit e57a6f4 pushed by cp526
July 10, 2024 10:56 58s main
main
July 10, 2024 10:56 58s
Add make check target (#14) Deploy the CN tutorial to GitHub Pages #49: Commit 053b37d pushed by septract
July 10, 2024 00:34 52s main
main
July 10, 2024 00:34 52s
record that one example was broken by a recent Cerberus change Deploy the CN tutorial to GitHub Pages #48: Commit 793b9ab pushed by cp526
July 9, 2024 20:35 59s main
main
July 9, 2024 20:35 59s
Merge pull request #37 from rems-project/mdd/run-cn-tests Deploy the CN tutorial to GitHub Pages #47: Commit 95383a5 pushed by cp526
July 6, 2024 08:10 59s main
main
July 6, 2024 08:10 59s
Add negative examples in directory should-fail (#28) Deploy the CN tutorial to GitHub Pages #46: Commit 1b57e33 pushed by septract
July 5, 2024 17:39 48s main
main
July 5, 2024 17:39 48s
Make the build script fail correctly on build errors Deploy the CN tutorial to GitHub Pages #45: Commit e48b882 pushed by septract
July 5, 2024 01:24 56s main
main
July 5, 2024 01:24 56s
recategorise files with different timeout behaviour due to switch to Deploy the CN tutorial to GitHub Pages #44: Commit 4f31be0 pushed by cp526
July 4, 2024 21:43 51s main
main
July 4, 2024 21:43 51s
Add a few more small examples and error cases (#29) Deploy the CN tutorial to GitHub Pages #43: Commit 8d4eafa pushed by septract
July 4, 2024 19:26 54s main
main
July 4, 2024 19:26 54s
fix https://github.com/rems-project/cerberus/issues/350 Deploy the CN tutorial to GitHub Pages #42: Commit 76da500 pushed by cp526
June 25, 2024 18:23 52s main
main
June 25, 2024 18:23 52s
Update README.md Deploy the CN tutorial to GitHub Pages #41: Commit eb618d6 pushed by dc-mak
June 24, 2024 10:59 49s main
main
June 24, 2024 10:59 49s
... and move back again. Apparently different OCaml/z3 versions behave Deploy the CN tutorial to GitHub Pages #40: Commit 5a0b0f4 pushed by cp526
June 20, 2024 17:27 53s main
main
June 20, 2024 17:27 53s
timeout-broken example no-longer timing out Deploy the CN tutorial to GitHub Pages #39: Commit c0ee4e5 pushed by cp526
June 20, 2024 12:29 58s main
main
June 20, 2024 12:29 58s
Fix queue pop lemma example Deploy the CN tutorial to GitHub Pages #38: Commit b8c2f39 pushed by dc-mak
June 19, 2024 13:07 51s main
main
June 19, 2024 13:07 51s
Merge pull request #33 from GaloisInc/bugfix-tutorial-build Deploy the CN tutorial to GitHub Pages #37: Commit 92c83a5 pushed by bcpierce00
June 18, 2024 22:06 58s main
main
June 18, 2024 22:06 58s
Add the official idiom for constants to the tutorial Deploy the CN tutorial to GitHub Pages #36: Commit c56111e pushed by bcpierce00
June 18, 2024 20:01 54s main
main
June 18, 2024 20:01 54s
Add terse lemma explanation for queues Deploy the CN tutorial to GitHub Pages #35: Commit efcd2d9 pushed by dc-mak
June 18, 2024 12:54 58s main
main
June 18, 2024 12:54 58s
Add version of queue pop w/o lemma & duplication Deploy the CN tutorial to GitHub Pages #34: Commit bf4b455 pushed by dc-mak
June 17, 2024 22:25 51s main
main
June 17, 2024 22:25 51s
Add an exercise about de-duplicated version Deploy the CN tutorial to GitHub Pages #33: Commit 3a81337 pushed by bcpierce00
June 17, 2024 19:01 53s main
main
June 17, 2024 19:01 53s
Merge pull request #30 from rems-project/mdd/check-all-script Deploy the CN tutorial to GitHub Pages #32: Commit 3bc62e8 pushed by septract
June 17, 2024 16:29 51s main
main
June 17, 2024 16:29 51s
Minor tidying Deploy the CN tutorial to GitHub Pages #31: Commit 7da4848 pushed by bcpierce00
June 17, 2024 14:08 53s main
main
June 17, 2024 14:08 53s
More progress on the queue example Deploy the CN tutorial to GitHub Pages #30: Commit d9e3445 pushed by bcpierce00
June 16, 2024 20:15 51s main
main
June 16, 2024 20:15 51s