Skip to content

Actions: rems-project/cerberus

Actions

CN Proof

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci-cn.yml
458 workflow runs
458 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CN: Parallelise and caputure output in CN CI CN Proof #8: Pull request #703 opened by dc-mak
November 6, 2024 18:05 5m 12s dc-mak:cn-improve-ci
dc-mak:cn-improve-ci
November 6, 2024 18:05 5m 12s
[CN-Exec/CN-Test-Gen] Generalize failure handling (#699) CN Proof #7: Commit 84d21f3 pushed by ZippeyKeys12
November 6, 2024 17:55 20m 30s master
master
November 6, 2024 17:55 20m 30s
[CN-Exec/CN-Test-Gen] Generalize failure handling CN Proof #6: Pull request #699 synchronize by ZippeyKeys12
November 6, 2024 17:20 20m 31s ZippeyKeys12:cn-exec-test-gen-better-failures
ZippeyKeys12:cn-exec-test-gen-better-failures
November 6, 2024 17:20 20m 31s
Split up CIs CN Proof #5: Commit f82b33c pushed by dc-mak
November 6, 2024 16:16 20m 42s master
master
November 6, 2024 16:16 20m 42s
Split up CIs CN Proof #4: Pull request #701 synchronize by dc-mak
November 6, 2024 14:08 20m 56s dc-mak:split-up-cis
dc-mak:split-up-cis
November 6, 2024 14:08 20m 56s
Split up CIs CN Proof #3: Pull request #701 synchronize by dc-mak
November 6, 2024 12:52 20m 21s dc-mak:split-up-cis
dc-mak:split-up-cis
November 6, 2024 12:52 20m 21s
Split up CIs CN Proof #2: Pull request #701 synchronize by dc-mak
November 6, 2024 12:51 42s dc-mak:split-up-cis
dc-mak:split-up-cis
November 6, 2024 12:51 42s
Split up CIs CN Proof #1: Pull request #701 opened by dc-mak
November 6, 2024 12:49 2m 0s dc-mak:split-up-cis
dc-mak:split-up-cis
November 6, 2024 12:49 2m 0s
ProTip! You can narrow down the results and go further in time using created:<2024-11-06 or the other filters available.