Skip to content

Actions: IntersectMBO/UPLC-CAPE

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
534 workflow runs
534 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
feat(factorial): integrate Plutarch 1.10.1 submission CI #47: Pull request #33 synchronize by Unisay
2m 30s integrate-plutarch-factorial
integrate-plutarch-factorial
2m 30s
feat(factorial): integrate Plutarch 1.10.1 submission CI #46: Pull request #33 opened by Unisay
2m 33s integrate-plutarch-factorial
integrate-plutarch-factorial
2m 33s
Merge pull request #32 from IntersectMBO/integrate-plutarch-fibonacci Deploy static content to Pages #15: Commit 9036f06 pushed by Unisay
26s main
main
26s
feat(fibonacci): integrate Plutarch 1.10.1 submission CI #45: Pull request #32 synchronize by Unisay
2m 25s integrate-plutarch-fibonacci
integrate-plutarch-fibonacci
2m 25s
feat(fibonacci): integrate Plutarch 1.10.1 submission CI #44: Pull request #32 opened by Unisay
2m 32s integrate-plutarch-fibonacci
integrate-plutarch-fibonacci
2m 32s
Merge pull request #26 from IntersectMBO/yura/issue-24-define-2-party… Deploy static content to Pages #14: Commit 472e62f pushed by Unisay
1m 48s main
main
1m 48s
feat: define Two-Party Escrow benchmark scenario CI #43: Pull request #26 synchronize by Unisay
2m 50s yura/issue-24-define-2-party-escrow
yura/issue-24-define-2-party-escrow
2m 50s
feat: define Two-Party Escrow benchmark scenario CI #42: Pull request #26 synchronize by Unisay
3m 8s yura/issue-24-define-2-party-escrow
yura/issue-24-define-2-party-escrow
3m 8s
feat: define Two-Party Escrow benchmark scenario CI #41: Pull request #26 synchronize by Unisay
16m 7s yura/issue-24-define-2-party-escrow
yura/issue-24-define-2-party-escrow
16m 7s
Add entry Factorial for Plutarch implementation CI #40: Pull request #29 synchronize by SeungheonOh
2m 43s SeungheonOh:sho/plutarchfact
SeungheonOh:sho/plutarchfact
2m 43s
Add entry Fibonacci for Plutrach implementation CI #38: Pull request #28 opened by SeungheonOh
3m 9s SeungheonOh:sho/plutarch-fibo
SeungheonOh:sho/plutarch-fibo
3m 9s
feat: define Two-Party Escrow benchmark scenario CI #37: Pull request #26 synchronize by Unisay
59s yura/issue-24-define-2-party-escrow
yura/issue-24-define-2-party-escrow
59s
feat: define Two-Party Escrow benchmark scenario CI #36: Pull request #26 opened by Unisay
2m 46s yura/issue-24-define-2-party-escrow
yura/issue-24-define-2-party-escrow
2m 46s
Merge pull request #22 from IntersectMBO/copilot/fix-9910b99a-bf6e-47… Deploy static content to Pages #13: Commit 29a5669 pushed by Unisay
15s main
main
15s
Running Copilot Copilot #7: by Copilot AI
4m 44s copilot/fix-9910b99a-bf6e-4756-a46b-5a3e6a8cad49
copilot/fix-9910b99a-bf6e-4756-a46b-5a3e6a8cad49
4m 44s
Remove redundant Correctness Verification section from factorial benchmark CI #35: Pull request #22 opened by Copilot AI
2m 54s copilot/fix-9910b99a-bf6e-4756-a46b-5a3e6a8cad49
copilot/fix-9910b99a-bf6e-4756-a46b-5a3e6a8cad49
2m 54s
Merge pull request #21 from IntersectMBO/yura/issue-19 Deploy static content to Pages #12: Commit 0f56d9e pushed by Unisay
21s main
main
21s
docs(readme): update available benchmark scenarios and links CI #34: Pull request #21 opened by Unisay
3m 46s yura/issue-19
yura/issue-19
3m 46s
Merge pull request #20 from IntersectMBO/yura/issue-19 Deploy static content to Pages #11: Commit fe00704 pushed by Unisay
5m 30s main
main
5m 30s
CLI verification overhaul: add submission verify, auto-verifier in measure; remove validate; aggregate robustness; Nix devshell improvements CI #33: Pull request #20 opened by Unisay
4m 0s yura/issue-19
yura/issue-19
4m 0s
Merge pull request #17 from IntersectMBO/feature/add-factorial-reports Deploy static content to Pages #10: Commit 11f2627 pushed by Unisay
18s main
main
18s
feat: add factorial benchmark performance reports CI #32: Pull request #17 opened by Unisay
2m 9s feature/add-factorial-reports
feature/add-factorial-reports
2m 9s
Merge pull request #16 from IntersectMBO/feature/factorial-benchmark Deploy static content to Pages #9: Commit 2da9090 pushed by Unisay
20s main
main
20s
feat: add factorial benchmark scenario CI #31: Pull request #16 synchronize by Unisay
2m 6s feature/factorial-benchmark
feature/factorial-benchmark
2m 6s
feat: add factorial benchmark scenario CI #30: Pull request #16 synchronize by Unisay
2m 15s feature/factorial-benchmark
feature/factorial-benchmark
2m 15s
ProTip! You can narrow down the results and go further in time using created:<2025-08-18 or the other filters available.