Skip to content

Actions: rems-project/cerberus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,384 workflow runs
4,384 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CN: Do translation validation of resource inference steps in Rocq Cerberus-CHERI #442: Pull request #898 synchronize by vzaliva
March 5, 2025 02:10 2m 34s vzaliva:resource-reasoning
vzaliva:resource-reasoning
March 5, 2025 02:10 2m 34s
CN: Do translation validation of resource inference steps in Rocq CN Proof #442: Pull request #898 synchronize by vzaliva
March 5, 2025 02:10 16m 56s vzaliva:resource-reasoning
vzaliva:resource-reasoning
March 5, 2025 02:10 16m 56s
CN: Do translation validation of resource inference steps in Rocq Cerberus #2020: Pull request #898 synchronize by vzaliva
March 5, 2025 02:10 2m 6s vzaliva:resource-reasoning
vzaliva:resource-reasoning
March 5, 2025 02:10 2m 6s
CN: Do translation validation of resource inference steps in Rocq CN Spec Testing #442: Pull request #898 synchronize by vzaliva
March 5, 2025 02:10 4m 54s vzaliva:resource-reasoning
vzaliva:resource-reasoning
March 5, 2025 02:10 4m 54s
CN: Do translation validation of resource inference steps in Rocq CN-Coq #175: Pull request #898 synchronize by vzaliva
March 5, 2025 02:10 34m 52s vzaliva:resource-reasoning
vzaliva:resource-reasoning
March 5, 2025 02:10 34m 52s
CN: Check countermodels CN Spec Testing #441: Pull request #829 synchronize by cassiatorczon
March 4, 2025 20:49 6m 16s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 4, 2025 20:49 6m 16s
CN: Check countermodels Cerberus #2019: Pull request #829 synchronize by cassiatorczon
March 4, 2025 20:49 3m 8s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 4, 2025 20:49 3m 8s
CN: Check countermodels Cerberus-CHERI #441: Pull request #829 synchronize by cassiatorczon
March 4, 2025 20:49 2m 45s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 4, 2025 20:49 2m 45s
CN: Check countermodels CN Proof #441: Pull request #829 synchronize by cassiatorczon
March 4, 2025 20:49 4m 1s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 4, 2025 20:49 4m 1s
CN: Check countermodels CN-Coq #174: Pull request #829 synchronize by cassiatorczon
March 4, 2025 20:49 34m 35s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 4, 2025 20:49 34m 35s
CN: Check countermodels Cerberus #2018: Pull request #829 synchronize by cassiatorczon
March 4, 2025 20:35 3m 29s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 4, 2025 20:35 3m 29s
CN: Check countermodels CN Spec Testing #440: Pull request #829 synchronize by cassiatorczon
March 4, 2025 20:35 5m 48s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 4, 2025 20:35 5m 48s
CN: Check countermodels CN Proof #440: Pull request #829 synchronize by cassiatorczon
March 4, 2025 20:35 4m 7s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 4, 2025 20:35 4m 7s
CN: Check countermodels CN-Coq #173: Pull request #829 synchronize by cassiatorczon
March 4, 2025 20:35 14m 55s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 4, 2025 20:35 14m 55s
CN: Check countermodels Cerberus-CHERI #440: Pull request #829 synchronize by cassiatorczon
March 4, 2025 20:35 2m 36s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 4, 2025 20:35 2m 36s
CN: Check countermodels CN-Coq #172: Pull request #829 synchronize by cassiatorczon
March 4, 2025 20:14 21m 21s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 4, 2025 20:14 21m 21s
CN: Check countermodels CN Spec Testing #439: Pull request #829 synchronize by cassiatorczon
March 4, 2025 20:14 6m 6s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 4, 2025 20:14 6m 6s
CN: Check countermodels CN Proof #439: Pull request #829 synchronize by cassiatorczon
March 4, 2025 20:14 4m 41s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 4, 2025 20:14 4m 41s
CN: Check countermodels Cerberus #2017: Pull request #829 synchronize by cassiatorczon
March 4, 2025 20:14 3m 25s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 4, 2025 20:14 3m 25s
CN: Check countermodels Cerberus-CHERI #439: Pull request #829 synchronize by cassiatorczon
March 4, 2025 20:14 2m 34s cassiatorczon:check-countermodel
cassiatorczon:check-countermodel
March 4, 2025 20:14 2m 34s
CN: Do translation validation of resource inference steps in Rocq Cerberus-CHERI #438: Pull request #898 synchronize by vzaliva
March 4, 2025 18:51 2m 41s vzaliva:resource-reasoning
vzaliva:resource-reasoning
March 4, 2025 18:51 2m 41s
CN: Do translation validation of resource inference steps in Rocq CN Spec Testing #438: Pull request #898 synchronize by vzaliva
March 4, 2025 18:51 4m 39s vzaliva:resource-reasoning
vzaliva:resource-reasoning
March 4, 2025 18:51 4m 39s
CN: Do translation validation of resource inference steps in Rocq CN-Coq #171: Pull request #898 synchronize by vzaliva
March 4, 2025 18:51 35m 25s vzaliva:resource-reasoning
vzaliva:resource-reasoning
March 4, 2025 18:51 35m 25s
CN: Do translation validation of resource inference steps in Rocq Cerberus #2016: Pull request #898 synchronize by vzaliva
March 4, 2025 18:51 2m 10s vzaliva:resource-reasoning
vzaliva:resource-reasoning
March 4, 2025 18:51 2m 10s
CN: Do translation validation of resource inference steps in Rocq CN Proof #438: Pull request #898 synchronize by vzaliva
March 4, 2025 18:51 17m 50s vzaliva:resource-reasoning
vzaliva:resource-reasoning
March 4, 2025 18:51 17m 50s