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
18 workflow runs
18 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Remove array_crash_2.c Deploy the CN tutorial to GitHub Pages #131: Commit 5ad99ef pushed by dc-mak
40s main
main
40s
recategorise these three tests Deploy the CN tutorial to GitHub Pages #130: Commit 69a1a5c pushed by cp526
36s main
main
36s
skip ./src/example-archive/SAW/broken/error-proof/00003.point.c Deploy the CN tutorial to GitHub Pages #129: Commit 50a4d62 pushed by cp526
37s main
main
37s
Revert "change timeout to 35" Deploy the CN tutorial to GitHub Pages #128: Commit 1d007a3 pushed by cp526
34s main
main
34s
change timeout to 35 Deploy the CN tutorial to GitHub Pages #127: Commit b941824 pushed by cp526
35s main
main
35s
skip this file that currently times out inconsistently between z3 and… Deploy the CN tutorial to GitHub Pages #126: Commit 2cf53a2 pushed by cp526
33s main
main
33s
fix predicate definition Deploy the CN tutorial to GitHub Pages #125: Commit 22f1c59 pushed by cp526
59s main
main
59s
fix recursive predicate definitions Deploy the CN tutorial to GitHub Pages #124: Commit 2a67034 pushed by cp526
39s main
main
39s
fix recursive predicate definitions Deploy the CN tutorial to GitHub Pages #123: Commit 2562412 pushed by cp526
29s main
main
29s
mark recursive predicates as [rec] Deploy the CN tutorial to GitHub Pages #122: Commit e8cff9c pushed by cp526
37s main
main
37s
syntax fixes Deploy the CN tutorial to GitHub Pages #121: Commit a50de6c pushed by cp526
44s main
main
44s
syntax fixes Deploy the CN tutorial to GitHub Pages #120: Commit 8adc3f3 pushed by cp526
1m 4s main
main
1m 4s
Testing tutorial (#137) Deploy the CN tutorial to GitHub Pages #119: Commit e785e4a pushed by bcpierce00
31s main
main
31s
Install mkdocs macro plugin for pages CI (#136) Deploy the CN tutorial to GitHub Pages #118: Commit 85c4296 pushed by peterohanley-galois
33s main
main
33s
Don't check exercises when building the pages copy (#135) Deploy the CN tutorial to GitHub Pages #117: Commit 6e579f1 pushed by peterohanley-galois
26s main
main
26s
Include workaround header in check-archive calls (#134) Deploy the CN tutorial to GitHub Pages #116: Commit 2bbe52e pushed by peterohanley-galois
26s main
main
26s
First complete draft of testing-first tutorial (#128) Deploy the CN tutorial to GitHub Pages #115: Commit f306b5f pushed by bcpierce00
24s main
main
24s
A simple preprocessor for manipulating CN tutorial files. (#106) Deploy the CN tutorial to GitHub Pages #114: Commit b2b5f4e pushed by bcpierce00
31s main
main
31s