Skip to content

Actions: rems-project/cn-tutorial

Actions

Test all examples with CN

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
run-cn-examples.yml
167 workflow runs
167 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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 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 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
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