Skip to content

Actions: rems-project/cn-tutorial

Actions

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

Simple coq lemmas Test all examples with CN #20: Pull request #36 synchronize by septract
July 11, 2024 21:48 4m 28s simpl-coq-lemmas
simpl-coq-lemmas
July 11, 2024 21:48 4m 28s
Simple coq lemmas Test all examples with CN #19: Pull request #36 synchronize by septract
July 11, 2024 21:43 4m 32s simpl-coq-lemmas
simpl-coq-lemmas
July 11, 2024 21:43 4m 32s
Simple coq lemmas Test all examples with CN #18: Pull request #36 synchronize by septract
July 11, 2024 21:18 4m 37s simpl-coq-lemmas
simpl-coq-lemmas
July 11, 2024 21:18 4m 37s
Simple coq lemmas Test all examples with CN #17: Pull request #36 synchronize by scuellar
July 11, 2024 13:46 4m 46s simpl-coq-lemmas
simpl-coq-lemmas
July 11, 2024 13:46 4m 46s
Simple coq lemmas Test all examples with CN #16: Pull request #36 synchronize by scuellar
July 11, 2024 13:41 4m 26s simpl-coq-lemmas
simpl-coq-lemmas
July 11, 2024 13:41 4m 26s
Simple coq lemmas Test all examples with CN #15: Pull request #36 synchronize by scuellar
July 10, 2024 22:17 4m 16s simpl-coq-lemmas
simpl-coq-lemmas
July 10, 2024 22:17 4m 16s
Simple coq lemmas Test all examples with CN #14: Pull request #36 synchronize by scuellar
July 10, 2024 22:11 4m 54s simpl-coq-lemmas
simpl-coq-lemmas
July 10, 2024 22:11 4m 54s
Simple coq lemmas Test all examples with CN #13: Pull request #36 synchronize by scuellar
July 10, 2024 22:08 3m 23s simpl-coq-lemmas
simpl-coq-lemmas
July 10, 2024 22:08 3m 23s
Simple coq lemmas Test all examples with CN #12: Pull request #36 synchronize by scuellar
July 10, 2024 20:55 4m 36s simpl-coq-lemmas
simpl-coq-lemmas
July 10, 2024 20:55 4m 36s
Simple coq lemmas Test all examples with CN #11: Pull request #36 synchronize by scuellar
July 10, 2024 18:21 4m 33s simpl-coq-lemmas
simpl-coq-lemmas
July 10, 2024 18:21 4m 33s
move previously-broken example back, in preparation for Kayvan's fix Test all examples with CN #10: Commit e57a6f4 pushed by cp526
July 10, 2024 10:56 4m 22s main
main
July 10, 2024 10:56 4m 22s
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) Test all examples with CN #9: Commit 053b37d pushed by septract
July 10, 2024 00:34 4m 30s main
main
July 10, 2024 00:34 4m 30s
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
Add make check target Test all examples with CN #8: Pull request #14 synchronize by septract
July 10, 2024 00:09 4m 22s cns/make-check
cns/make-check
July 10, 2024 00:09 4m 22s
Add make check target Test all examples with CN #7: Pull request #14 synchronize by septract
July 10, 2024 00:00 4m 11s cns/make-check
cns/make-check
July 10, 2024 00:00 4m 11s
Add make check target Test all examples with CN #6: Pull request #14 synchronize by septract
July 9, 2024 21:34 4m 43s cns/make-check
cns/make-check
July 9, 2024 21:34 4m 43s
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
record that one example was broken by a recent Cerberus change Test all examples with CN #5: Commit 793b9ab pushed by cp526
July 9, 2024 20:35 4m 20s main
main
July 9, 2024 20:35 4m 20s
Add make check target Test all examples with CN #4: Pull request #14 synchronize by septract
July 9, 2024 19:59 4m 30s cns/make-check
cns/make-check
July 9, 2024 19:59 4m 30s
Merge pull request #37 from rems-project/mdd/run-cn-tests Test all examples with CN #3: Commit 95383a5 pushed by cp526
July 6, 2024 08:10 40m 11s main
main
July 6, 2024 08:10 40m 11s
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 a workflow to run CN on examples Test all examples with CN #2: Pull request #37 synchronize by septract
July 5, 2024 21:26 4m 41s mdd/run-cn-tests
mdd/run-cn-tests
July 5, 2024 21:26 4m 41s
Add a workflow to run CN on examples Test all examples with CN #1: Pull request #37 opened by septract
July 5, 2024 18:53 41m 21s mdd/run-cn-tests
mdd/run-cn-tests
July 5, 2024 18:53 41m 21s
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
ProTip! You can narrow down the results and go further in time using created:<2024-07-05 or the other filters available.