Skip to content

Actions: rems-project/cn

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Docker Docker #498: Scheduled
32m 0s main
main
32m 0s
VIP resource algebra in Lean/Rocq lemmas General #1336: Pull request #666 opened by yinamy
1m 24s yinamy:lean-vip
yinamy:lean-vip
1m 24s
VIP resource algebra in Lean/Rocq lemmas Fulminate #573: Pull request #666 opened by yinamy
2m 44s yinamy:lean-vip
yinamy:lean-vip
2m 44s
VIP resource algebra in Lean/Rocq lemmas Proof #2157: Pull request #666 opened by yinamy
4m 35s yinamy:lean-vip
yinamy:lean-vip
4m 35s
VIP resource algebra in Lean/Rocq lemmas Style #2130: Pull request #666 opened by yinamy
2m 17s yinamy:lean-vip
yinamy:lean-vip
2m 17s
Fix bugs in Rocq/IR generation Fulminate #572: Pull request #659 synchronize by moratorium08
2m 56s moratorium08:fix-rocq-ir-gen
moratorium08:fix-rocq-ir-gen
2m 56s
Fix bugs in Rocq/IR generation General #1335: Pull request #659 synchronize by moratorium08
1m 39s moratorium08:fix-rocq-ir-gen
moratorium08:fix-rocq-ir-gen
1m 39s
Fix bugs in Rocq/IR generation Style #2129: Pull request #659 synchronize by moratorium08
2m 3s moratorium08:fix-rocq-ir-gen
moratorium08:fix-rocq-ir-gen
2m 3s
Fix bugs in Rocq/IR generation Proof #2156: Pull request #659 synchronize by moratorium08
4m 42s moratorium08:fix-rocq-ir-gen
moratorium08:fix-rocq-ir-gen
4m 42s
pages build and deployment pages-build-deployment #496: by github-pages Bot
38s gh-pages
gh-pages
38s
fix https://github.com/rems-project/cn/issues/656 Benchmarks #431: Commit 10c586b pushed by cp526
2m 21s main
main
2m 21s
fix https://github.com/rems-project/cn/issues/656 Fulminate #571: Commit 10c586b pushed by cp526
2m 26s main
main
2m 26s
fix https://github.com/rems-project/cn/issues/656 Proof #2155: Commit 10c586b pushed by cp526
4m 48s main
main
4m 48s
fix https://github.com/rems-project/cn/issues/656 General #1334: Commit 10c586b pushed by cp526
1m 26s main
main
1m 26s
fix https://github.com/rems-project/cn/issues/656 Style #2128: Commit 10c586b pushed by cp526
2m 21s main
main
2m 21s
fix https://github.com/rems-project/cn/issues/656 Fulminate #570: Pull request #665 opened by cp526
2m 21s cp526:fix-unpack-error
cp526:fix-unpack-error
2m 21s
fix https://github.com/rems-project/cn/issues/656 Proof #2154: Pull request #665 opened by cp526
4m 38s cp526:fix-unpack-error
cp526:fix-unpack-error
4m 38s
fix https://github.com/rems-project/cn/issues/656 General #1333: Pull request #665 opened by cp526
1m 15s cp526:fix-unpack-error
cp526:fix-unpack-error
1m 15s
fix https://github.com/rems-project/cn/issues/656 Style #2127: Pull request #665 opened by cp526
2m 8s cp526:fix-unpack-error
cp526:fix-unpack-error
2m 8s
pages build and deployment pages-build-deployment #495: by github-pages Bot
40s gh-pages
gh-pages
40s
remove derived has-alloc-id constraint for iterated resource Fulminate #569: Commit d221d99 pushed by cp526
2m 44s main
main
2m 44s
remove derived has-alloc-id constraint for iterated resource Benchmarks #430: Commit d221d99 pushed by cp526
3m 13s main
main
3m 13s
remove derived has-alloc-id constraint for iterated resource General #1332: Commit d221d99 pushed by cp526
1m 15s main
main
1m 15s
remove derived has-alloc-id constraint for iterated resource Proof #2153: Commit d221d99 pushed by cp526
5m 26s main
main
5m 26s
remove derived has-alloc-id constraint for iterated resource Style #2126: Commit d221d99 pushed by cp526
2m 9s main
main
2m 9s