Skip to content

Actions: cvc5/ethos

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
72 workflow run results
72 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Handle system call return values in oracle runner CI #487: Pull request #29 opened by hansjoergschurr
March 19, 2024 20:09 47m 19s hansjoergschurr:devel/run-return
hansjoergschurr:devel/run-return
March 19, 2024 20:09 47m 19s
Improve CI #486: Commit 0b21354 pushed by ajreynol
March 1, 2024 14:15 1m 13s main
main
March 1, 2024 14:15 1m 13s
Fix CI #485: Commit 9807e26 pushed by ajreynol
March 1, 2024 01:09 39s main
main
March 1, 2024 01:09 39s
Support alf.conclusion CI #484: Commit 0078381 pushed by ajreynol
March 1, 2024 01:08 43s main
main
March 1, 2024 01:08 43s
More minor CI #483: Commit a5ce10f pushed by ajreynol
February 27, 2024 19:49 1m 18s main
main
February 27, 2024 19:49 1m 18s
Minor CI #482: Commit 05b0e83 pushed by ajreynol
February 27, 2024 19:47 49s main
main
February 27, 2024 19:47 49s
More CI #481: Commit 77dc5fe pushed by ajreynol
February 27, 2024 19:37 6m 56s main
main
February 27, 2024 19:37 6m 56s
More CI #480: Commit 9dd7c3d pushed by ajreynol
February 27, 2024 19:36 6m 20s main
main
February 27, 2024 19:36 6m 20s
Merge branch 'main' of https://github.com/ajreynol/AletheLF-tc CI #479: Commit 5e5b05d pushed by ajreynol
February 27, 2024 19:16 4m 15s main
main
February 27, 2024 19:16 4m 15s
Minor CI #478: Commit d0a67cc pushed by ajreynol
February 17, 2024 17:00 15m 18s main
main
February 17, 2024 17:00 15m 18s
Proper implementation CI #477: Commit eca2cbd pushed by ajreynol
February 17, 2024 16:48 57s main
main
February 17, 2024 16:48 57s
More towards alf.as CI #476: Commit e356a46 pushed by ajreynol
February 17, 2024 16:23 47s main
main
February 17, 2024 16:23 47s
Debugging CI #475: Commit 24fa0cf pushed by ajreynol
February 16, 2024 23:42 42s main
main
February 16, 2024 23:42 42s
Support for alf.as CI #474: Commit 0f70ca6 pushed by ajreynol
February 16, 2024 23:16 48s main
main
February 16, 2024 23:16 48s
Minor CI #473: Commit e38eaa9 pushed by ajreynol
February 14, 2024 17:06 40s main
main
February 14, 2024 17:06 40s
Eliminate to_list and from_list primatives CI #472: Commit 96f5956 pushed by ajreynol
February 13, 2024 19:46 4m 36s main
main
February 13, 2024 19:46 4m 36s
Removing CI #471: Commit 80fad62 pushed by ajreynol
February 8, 2024 21:48 44m 41s main
main
February 8, 2024 21:48 44m 41s
More CI #470: Commit e9500b0 pushed by ajreynol
February 8, 2024 20:52 1m 29s main
main
February 8, 2024 20:52 1m 29s
Update some tests with to_list and from_list CI #469: Commit e0ee230 pushed by ajreynol
February 8, 2024 20:50 1m 4s main
main
February 8, 2024 20:50 1m 4s
Minor CI #468: Commit 3538bb8 pushed by ajreynol
February 7, 2024 19:51 24m 8s main
main
February 7, 2024 19:51 24m 8s
Handle empty list of premises for premise-list CI #467: Commit 39e663e pushed by ajreynol
February 7, 2024 16:21 46s main
main
February 7, 2024 16:21 46s
Add emptylist CI #466: Commit 57b34b6 pushed by ajreynol
February 2, 2024 18:11 1m 14s main
main
February 2, 2024 18:11 1m 14s
Add support for emptylist CI #465: Commit e32a2a2 pushed by ajreynol
February 2, 2024 17:55 50s main
main
February 2, 2024 17:55 50s
Another example CI #464: Commit 00598b8 pushed by ajreynol
February 2, 2024 16:57 1m 9s main
main
February 2, 2024 16:57 1m 9s
Fix user manual list example CI #463: Commit bc88464 pushed by ajreynol
February 2, 2024 16:55 55s main
main
February 2, 2024 16:55 55s