Skip to content

Actions: rems-project/cerberus

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[CN] Pure term (partial) evaluation CI #1047: Pull request #447 synchronize by ZippeyKeys12
August 13, 2024 02:16 3m 23s ZippeyKeys12:cn-partial-eval
ZippeyKeys12:cn-partial-eval
August 13, 2024 02:16 3m 23s
[CN] Pure term (partial) evaluation CI (CN runtime checks) #34: Pull request #447 synchronize by ZippeyKeys12
August 13, 2024 02:16 3m 8s ZippeyKeys12:cn-partial-eval
ZippeyKeys12:cn-partial-eval
August 13, 2024 02:16 3m 8s
[CN] Pure term (partial) evaluation CI (CN runtime checks) #33: Pull request #447 synchronize by ZippeyKeys12
August 13, 2024 02:13 3m 7s ZippeyKeys12:cn-partial-eval
ZippeyKeys12:cn-partial-eval
August 13, 2024 02:13 3m 7s
[CN] Pure term (partial) evaluation CI #1046: Pull request #447 synchronize by ZippeyKeys12
August 13, 2024 02:13 3m 10s ZippeyKeys12:cn-partial-eval
ZippeyKeys12:cn-partial-eval
August 13, 2024 02:13 3m 10s
additional alignment checks in repr CI (CN runtime checks) #32: Commit efaa7ba pushed by vzaliva
August 12, 2024 23:59 3m 9s master
master
August 12, 2024 23:59 3m 9s
additional alignment checks in repr CI #1045: Commit efaa7ba pushed by vzaliva
August 12, 2024 23:59 17m 10s master
master
August 12, 2024 23:59 17m 10s
additional alignment checks in repr docker #39: Commit efaa7ba pushed by vzaliva
August 12, 2024 23:59 3h 46m 16s master
master
August 12, 2024 23:59 3h 46m 16s
[CN-Test-Gen] Set Sym.executable_spec_enabled CI (CN runtime checks) #31: Commit 201ceb8 pushed by ZippeyKeys12
August 12, 2024 23:51 3m 21s master
master
August 12, 2024 23:51 3m 21s
[CN-Test-Gen] Set Sym.executable_spec_enabled docker #38: Commit 201ceb8 pushed by ZippeyKeys12
August 12, 2024 23:51 8m 19s master
master
August 12, 2024 23:51 8m 19s
[CN-Test-Gen] Set Sym.executable_spec_enabled CI #1044: Commit 201ceb8 pushed by ZippeyKeys12
August 12, 2024 23:51 8m 10s master
master
August 12, 2024 23:51 8m 10s
[CN/CN-Test-Gen] Various smaller changes for incoming test generation changes CI #1043: Pull request #482 synchronize by ZippeyKeys12
August 12, 2024 23:33 16m 14s ZippeyKeys12:cn-adds-for-test-gen
ZippeyKeys12:cn-adds-for-test-gen
August 12, 2024 23:33 16m 14s
[CN/CN-Test-Gen] Various smaller changes for incoming test generation changes CI (CN runtime checks) #30: Pull request #482 synchronize by ZippeyKeys12
August 12, 2024 23:33 3m 15s ZippeyKeys12:cn-adds-for-test-gen
ZippeyKeys12:cn-adds-for-test-gen
August 12, 2024 23:33 3m 15s
CHERI-CI: updating test after e0640bcc7384a8dd876672ed2fd227ac9cac498b docker #37: Commit e5f60e6 pushed by kmemarian
August 12, 2024 22:40 1h 10m 47s master
master
August 12, 2024 22:40 1h 10m 47s
CHERI-CI: updating test after e0640bcc7384a8dd876672ed2fd227ac9cac498b CI (CN runtime checks) #29: Commit e5f60e6 pushed by kmemarian
August 12, 2024 22:40 3m 39s master
master
August 12, 2024 22:40 3m 39s
CHERI-CI: updating test after e0640bcc7384a8dd876672ed2fd227ac9cac498b CI #1042: Commit e5f60e6 pushed by kmemarian
August 12, 2024 22:40 16m 38s master
master
August 12, 2024 22:40 16m 38s
[CN/CN-Test-Gen] Various smaller changes for incoming test generation changes CI (CN runtime checks) #28: Pull request #482 synchronize by ZippeyKeys12
August 12, 2024 21:14 3m 29s ZippeyKeys12:cn-adds-for-test-gen
ZippeyKeys12:cn-adds-for-test-gen
August 12, 2024 21:14 3m 29s
[CN/CN-Test-Gen] Various smaller changes for incoming test generation changes CI #1041: Pull request #482 synchronize by ZippeyKeys12
August 12, 2024 21:14 16m 10s ZippeyKeys12:cn-adds-for-test-gen
ZippeyKeys12:cn-adds-for-test-gen
August 12, 2024 21:14 16m 10s
[CN/CN-Test-Gen] Various smaller changes for incoming test generation changes CI (CN runtime checks) #27: Pull request #482 opened by ZippeyKeys12
August 12, 2024 20:59 3m 10s ZippeyKeys12:cn-adds-for-test-gen
ZippeyKeys12:cn-adds-for-test-gen
August 12, 2024 20:59 3m 10s
[CN/CN-Test-Gen] Various smaller changes for incoming test generation changes CI #1040: Pull request #482 opened by ZippeyKeys12
August 12, 2024 20:59 13m 14s ZippeyKeys12:cn-adds-for-test-gen
ZippeyKeys12:cn-adds-for-test-gen
August 12, 2024 20:59 13m 14s
Fixing the elaboration of bitwise shift operators CI (CN runtime checks) #26: Commit e0640bc pushed by kmemarian
August 12, 2024 20:08 3m 10s master
master
August 12, 2024 20:08 3m 10s
Fixing the elaboration of bitwise shift operators CI #1039: Commit e0640bc pushed by kmemarian
August 12, 2024 20:08 16m 43s master
master
August 12, 2024 20:08 16m 43s
Fixing the elaboration of bitwise shift operators docker #36: Commit e0640bc pushed by kmemarian
August 12, 2024 20:08 2h 32m 40s master
master
August 12, 2024 20:08 2h 32m 40s
Complete some address arithmetic proofs; reorganize sections in Proof… CI (CN runtime checks) #25: Commit c5c1da0 pushed by vzaliva
August 12, 2024 18:23 4m 3s master
master
August 12, 2024 18:23 4m 3s
Complete some address arithmetic proofs; reorganize sections in Proof… CI #1038: Commit c5c1da0 pushed by vzaliva
August 12, 2024 18:23 16m 50s master
master
August 12, 2024 18:23 16m 50s
Complete some address arithmetic proofs; reorganize sections in Proof… docker #35: Commit c5c1da0 pushed by vzaliva
August 12, 2024 18:23 1h 45m 2s master
master
August 12, 2024 18:23 1h 45m 2s