Skip to content

Actions: rems-project/cn-tutorial

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
320 workflow runs
320 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Re-add multiple accesses tests
Test all examples with CN #184: Commit a428c31 pushed by dc-mak
February 27, 2025 12:51 14m 19s main
February 27, 2025 12:51 14m 19s
Re-add multiple accesses tests
Deploy the CN tutorial to GitHub Pages #113: Commit a428c31 pushed by dc-mak
February 27, 2025 12:51 42s main
February 27, 2025 12:51 42s
Add DARPA/AFRL acknowledgement to README.md
Deploy the CN tutorial to GitHub Pages #112: Commit dd84b93 pushed by septract
February 26, 2025 22:50 39s main
February 26, 2025 22:50 39s
Add DARPA/AFRL acknowledgement to README.md
Test all examples with CN #183: Commit dd84b93 pushed by septract
February 26, 2025 22:50 14m 20s main
February 26, 2025 22:50 14m 20s
Add DARPA/AFRL acknowledgement to README.md
Test all examples with CN #182: Pull request #120 opened by thatplguy
February 26, 2025 22:35 14m 0s cns/ack
February 26, 2025 22:35 14m 0s
Add DARPA/AFRL acknowledgement to README.md
Test tutorial build #26: Pull request #120 opened by thatplguy
February 26, 2025 22:35 22s cns/ack
February 26, 2025 22:35 22s
Re-add multiple accesses tests
Test all examples with CN #181: Pull request #119 opened by dc-mak
February 26, 2025 21:09 14m 37s dc-mak:readd-multiple-accesses
February 26, 2025 21:09 14m 37s
Re-add multiple accesses tests
Test tutorial build #25: Pull request #119 opened by dc-mak
February 26, 2025 21:09 20s dc-mak:readd-multiple-accesses
February 26, 2025 21:09 20s
Temporarily remove tests with multiple accesses
Test all examples with CN #180: Commit d48f142 pushed by dc-mak
February 26, 2025 21:01 37m 15s main
February 26, 2025 21:01 37m 15s
Temporarily remove tests with multiple accesses
Deploy the CN tutorial to GitHub Pages #111: Commit d48f142 pushed by dc-mak
February 26, 2025 21:01 30s main
February 26, 2025 21:01 30s
Temporarily remove tests with multiple accesses
Test all examples with CN #179: Pull request #118 opened by dc-mak
February 26, 2025 20:45 14m 18s dc-mak:tmp-remove-multiple-accesses
February 26, 2025 20:45 14m 18s
updated tutorial with spurious countermodel information (#117)
Deploy the CN tutorial to GitHub Pages #110: Commit cbdd92a pushed by bcpierce00
February 25, 2025 22:00 35s main
February 25, 2025 22:00 35s
updated tutorial with spurious countermodel information (#117)
Test all examples with CN #178: Commit cbdd92a pushed by bcpierce00
February 25, 2025 22:00 14m 12s main
February 25, 2025 22:00 14m 12s
updated tutorial with spurious countermodel information
Test all examples with CN #177: Pull request #117 opened by cassiatorczon
February 25, 2025 16:55 14m 16s cassiatorczon:update-error-file
February 25, 2025 16:55 14m 16s
Add timeouts from cerberus issues #856 and #844
Deploy the CN tutorial to GitHub Pages #109: Commit 586e3a8 pushed by septract
February 21, 2025 17:45 33s main
February 21, 2025 17:45 33s
Add timeouts from cerberus issues #856 and #844
Test all examples with CN #176: Commit 586e3a8 pushed by septract
February 21, 2025 17:45 18m 34s main
February 21, 2025 17:45 18m 34s
build: create and properly include exercises.zip by default
Test all examples with CN #175: Commit 0ef9738 pushed by septract
February 21, 2025 17:45 37s main
February 21, 2025 17:45 37s
build: create and properly include exercises.zip by default
Deploy the CN tutorial to GitHub Pages #108: Commit 0ef9738 pushed by septract
February 21, 2025 17:45 31s main
February 21, 2025 17:45 31s
Fix tutorial include for slf1_basic_example_let.signed.c
Deploy the CN tutorial to GitHub Pages #107: Commit df9edfd pushed by septract
February 21, 2025 17:44 40s main
February 21, 2025 17:44 40s
Fix tutorial include for slf1_basic_example_let.signed.c
Test all examples with CN #174: Commit df9edfd pushed by septract
February 21, 2025 17:44 33s main
February 21, 2025 17:44 33s
Fix tutorial include for slf1_basic_example_let.signed.c
Test tutorial build #22: Pull request #116 opened by septract
February 19, 2025 22:47 22s mdd/fix-include-slf1
February 19, 2025 22:47 22s
Fix tutorial include for slf1_basic_example_let.signed.c
Test all examples with CN #173: Pull request #116 opened by septract
February 19, 2025 22:47 15m 7s mdd/fix-include-slf1
February 19, 2025 22:47 15m 7s
build: create and properly include exercises.zip by default
Test all examples with CN #172: Pull request #115 opened by samcowger
February 19, 2025 20:21 14m 33s samcowger:sc/exercises-upload
February 19, 2025 20:21 14m 33s