Skip to content

Actions: rems-project/cerberus

Actions

docker

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker.yml
44 workflow run results
44 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Match ocamlformat requirements docker #19: Commit 7ca5f6c pushed by cp526
August 5, 2024 17:31 3h 44m 7s master
master
August 5, 2024 17:31 3h 44m 7s
move CN code formatting check before running CI tests docker #18: Commit a92100e pushed by cp526
August 5, 2024 14:34 2h 57m 14s master
master
August 5, 2024 14:34 2h 57m 14s
Remove debug message docker #17: Commit 3f93e78 pushed by cp526
August 5, 2024 13:21 1h 13m 54s master
master
August 5, 2024 13:21 1h 13m 54s
repr_preserves proof wip docker #16: Commit 45ba16b pushed by vzaliva
August 2, 2024 01:18 3h 38m 4s master
master
August 2, 2024 01:18 3h 38m 4s
Fixes #395. docker #15: Commit 47e3874 pushed by cp526
July 31, 2024 07:42 3h 46m 45s master
master
July 31, 2024 07:42 3h 46m 45s
sizeof_pos wip docker #14: Commit 6188c37 pushed by vzaliva
July 31, 2024 01:06 3h 41m 26s master
master
July 31, 2024 01:06 3h 41m 26s
CN: Fix lemmata tests (#454) docker #13: Commit 20d9d5c pushed by dc-mak
July 30, 2024 22:17 2h 49m 44s master
master
July 30, 2024 22:17 2h 49m 44s
CN-exec: Remove malloc/free runtime tests docker #12: Commit 556171a pushed by dc-mak
July 30, 2024 22:01 16m 6s master
master
July 30, 2024 22:01 16m 6s
CN: Make run-cn.sh printing more consistent docker #11: Commit 752b1ef pushed by dc-mak
July 30, 2024 21:00 1h 1m 2s master
master
July 30, 2024 21:00 1h 1m 2s
CN: Fix and re-enable formatting docker #10: Commit 29e8f7c pushed by dc-mak
July 30, 2024 12:45 3h 40m 48s master
master
July 30, 2024 12:45 3h 40m 48s
~offsetof_max_offset_pos~ wip docker #9: Commit fa710e6 pushed by vzaliva
July 30, 2024 01:50 3h 37m 16s master
master
July 30, 2024 01:50 3h 37m 16s
Make Core elaboration of unary minus add C-type annotation to 0. (#446) docker #8: Commit 6ec601f pushed by cp526
July 29, 2024 15:18 3h 45m 43s master
master
July 29, 2024 15:18 3h 45m 43s
[CN] Add Modulo Operator % docker #7: Commit d7b47b7 pushed by dc-mak
July 29, 2024 15:01 16m 48s master
master
July 29, 2024 15:01 16m 48s
work on sizeof_pos proof. automations. helper lemmas. docker #6: Commit b3d7e04 pushed by vzaliva
July 27, 2024 00:42 3h 40m 26s master
master
July 27, 2024 00:42 3h 40m 26s
[CN-Test-Gen/CN-Exec] Make CI tests use executable spec docker #5: Commit 931e0c1 pushed by ZippeyKeys12
July 26, 2024 23:36 1h 6m 15s master
master
July 26, 2024 23:36 1h 6m 15s
capmeta_ghost_tags_spec_outside_range_aligned proven docker #4: Commit d5d8db5 pushed by vzaliva
July 26, 2024 17:54 3h 42m 24s master
master
July 26, 2024 17:54 3h 42m 24s
[CN] improve CN performance (#436) docker #3: Commit 31ad5db pushed by cp526
July 26, 2024 10:32 3h 43m 5s master
master
July 26, 2024 10:32 3h 43m 5s
Minor tweaks to fix concurent job execution (#434) docker #2: Commit 74f5b37 pushed by cp526
July 25, 2024 20:16 3h 45m 1s master
master
July 25, 2024 20:16 3h 45m 1s
Build multiplatform docker images (#430) docker #1: Commit 6edf463 pushed by cp526
July 25, 2024 19:58 4s master
master
July 25, 2024 19:58 4s