Skip to content

Actions: PolicyEngine/microcosm-dynamics

Actions

Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
tests.yml
1,174 workflow runs
1,174 workflow runs

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
Merge pull request #479 from PolicyEngine/dynamics-ex4-artifact-20260927 Tests #1174: Commit 9cee242 pushed by MaxGhenis
45m 53s master
master
45m 53s
Commit exercise 4's registered one-shot artifact (Registration 17) Tests #1173: Pull request #479 opened by MaxGhenis
48m 36s dynamics-ex4-artifact-20260927
dynamics-ex4-artifact-20260927
48m 36s
Merge pull request #478 from PolicyEngine/dynamics-ex4-header-fix-202… Tests #1172: Commit 2e4e08b pushed by MaxGhenis
1h 8m 8s master
master
1h 8m 8s
Skip local-input tests exactly when the input is not the pinned one Tests #1171: Pull request #475 synchronize by MaxGhenis
1h 13m 26s dynamics-local-skip-exact-20260926
dynamics-local-skip-exact-20260926
1h 13m 26s
Write the registered header into the Track M artifact Tests #1170: Pull request #478 opened by MaxGhenis
1h 24m 42s dynamics-ex4-header-fix-20260927
dynamics-ex4-header-fix-20260927
1h 24m 42s
Merge pull request #476 from PolicyEngine/dynamics-ex4-unblock-20260927 Tests #1169: Commit 56a5005 pushed by MaxGhenis
1h 10m 37s master
master
1h 10m 37s
Make the quarter-of-coverage ratchet property's oracle exact Tests #1168: Pull request #477 synchronize by MaxGhenis
1h 17m 7s dynamics-qc-oracle-exact-20260926
dynamics-qc-oracle-exact-20260926
1h 17m 7s
Make the quarter-of-coverage ratchet property's oracle exact Tests #1167: Pull request #477 opened by MaxGhenis
1h 21m 29s dynamics-qc-oracle-exact-20260926
dynamics-qc-oracle-exact-20260926
1h 21m 29s
Skip local-input tests exactly when the input is not the pinned one Tests #1166: Pull request #475 synchronize by MaxGhenis
1h 25m 4s dynamics-local-skip-exact-20260926
dynamics-local-skip-exact-20260926
1h 25m 4s
Track M: make exercise 4's registered commit (clear the last two blockers) Tests #1165: Pull request #476 synchronize by MaxGhenis
1h 25m 22s dynamics-ex4-unblock-20260927
dynamics-ex4-unblock-20260927
1h 25m 22s
Skip local-input tests exactly when the input is not the pinned one Tests #1164: Pull request #475 synchronize by MaxGhenis
1h 19m 21s dynamics-local-skip-exact-20260926
dynamics-local-skip-exact-20260926
1h 19m 21s
Skip local-input tests exactly when the input is not the pinned one Tests #1163: Pull request #475 opened by MaxGhenis
1h 9m 52s dynamics-local-skip-exact-20260926
dynamics-local-skip-exact-20260926
1h 9m 52s
Merge pull request #473 from PolicyEngine/dynamics-ex2-artifact-20260927 Tests #1162: Commit 49ffdea pushed by MaxGhenis
56m 22s master
master
56m 22s
Commit exercise 2's registered one-shot artifact (Registration 16) Tests #1161: Pull request #473 synchronize by MaxGhenis
1h 11m 57s dynamics-ex2-artifact-20260927
dynamics-ex2-artifact-20260927
1h 11m 57s
Merge pull request #474 from PolicyEngine/dynamics-ex4-ratify-20260927 Tests #1160: Commit f2e6a63 pushed by MaxGhenis
1h 12m 12s master
master
1h 12m 12s
Ratify exercise 4's specification as m1-ratified-1 (cos d430) Tests #1159: Pull request #474 opened by MaxGhenis
49m 0s dynamics-ex4-ratify-20260927
dynamics-ex4-ratify-20260927
49m 0s
Commit exercise 2's registered one-shot artifact (Registration 16) Tests #1158: Pull request #473 synchronize by MaxGhenis
1h 9m 40s dynamics-ex2-artifact-20260927
dynamics-ex2-artifact-20260927
1h 9m 40s
Merge pull request #472 from PolicyEngine/dynamics-ex4-track-m-5-2026… Tests #1157: Commit 1df366f pushed by MaxGhenis
1h 3m 44s master
master
1h 3m 44s
Commit exercise 2's registered one-shot artifact (Registration 16) Tests #1156: Pull request #473 opened by MaxGhenis
1h 7m 40s dynamics-ex2-artifact-20260927
dynamics-ex2-artifact-20260927
1h 7m 40s
Track M: d430's own-receipt sensitivity and the 1990 threshold (m1-draft-3) Tests #1155: Pull request #472 opened by MaxGhenis
1h 4m 46s dynamics-ex4-track-m-5-20260926
dynamics-ex4-track-m-5-20260926
1h 4m 46s
Merge pull request #471 from PolicyEngine/dynamics-ex2-ratify-20260926 Tests #1154: Commit 6a81c79 pushed by MaxGhenis
1h 3m 3s master
master
1h 3m 3s
Ratify exercise 2's specification as u1-ratified-1 (cos d411) Tests #1153: Pull request #471 opened by MaxGhenis
1h 7m 57s dynamics-ex2-ratify-20260926
dynamics-ex2-ratify-20260926
1h 7m 57s
Merge pull request #469 from PolicyEngine/dynamics-ex4-track-m-4-2026… Tests #1152: Commit 23a2f47 pushed by MaxGhenis
1h 28m 11s master
master
1h 28m 11s
Merge pull request #468 from PolicyEngine/progress-page-redaction-202… Tests #1151: Commit ebf555d pushed by MaxGhenis
1h 0m 26s master
master
1h 0m 26s
Keep the gate-2c reproduction pins' pe-us checkout local to their tests Tests #1150: Pull request #470 opened by MaxGhenis
1h 30m 9s dynamics-gate2c-env-isolation-20260926
dynamics-gate2c-env-isolation-20260926
1h 30m 9s