Skip to content

Actions: IntersectMBO/formal-ledger-specifications

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
Scheduled CodeQL #229: by github-advanced-security AI
1m 13s master
master
1m 13s
WIP [Dijkstra] CIP-159-11: PoV property proofs (#1123) Shellcheck #2114: Pull request #1169 synchronize by williamdemeo
32s 1123-cip-159-11-prove-pov-and-invariants
1123-cip-159-11-prove-pov-and-invariants
32s
WIP [Dijkstra] CIP-159-11: PoV property proofs (#1123) Shellcheck #2113: Pull request #1169 synchronize by williamdemeo
31s 1123-cip-159-11-prove-pov-and-invariants
1123-cip-159-11-prove-pov-and-invariants
31s
Copilot code review Copilot code review #19: by Copilot AI
11m 45s refs/pull/1160/head
refs/pull/1160/head
11m 45s
WIP [Dijkstra] CIP-159-11: PoV property proofs (#1123) Shellcheck #2112: Pull request #1169 synchronize by williamdemeo
33s 1123-cip-159-11-prove-pov-and-invariants
1123-cip-159-11-prove-pov-and-invariants
33s
WIP [Dijkstra] CIP-159-11: PoV property proofs (#1123) Shellcheck #2111: Pull request #1169 synchronize by williamdemeo
33s 1123-cip-159-11-prove-pov-and-invariants
1123-cip-159-11-prove-pov-and-invariants
33s
WIP [Dijkstra] CIP-159-11: PoV property proofs (#1123) Shellcheck #2110: Pull request #1169 synchronize by williamdemeo
31s 1123-cip-159-11-prove-pov-and-invariants
1123-cip-159-11-prove-pov-and-invariants
31s
WIP [Dijkstra] CIP-159-11: PoV property proofs (#1123) Shellcheck #2109: Pull request #1169 synchronize by williamdemeo
30s 1123-cip-159-11-prove-pov-and-invariants
1123-cip-159-11-prove-pov-and-invariants
30s
WIP [Dijkstra] CIP-159-11: PoV property proofs (#1123) Shellcheck #2108: Pull request #1169 synchronize by williamdemeo
33s 1123-cip-159-11-prove-pov-and-invariants
1123-cip-159-11-prove-pov-and-invariants
33s
WIP [Dijkstra] CIP-159-11: PoV property proofs (#1123) Shellcheck #2107: Pull request #1169 synchronize by williamdemeo
30s 1123-cip-159-11-prove-pov-and-invariants
1123-cip-159-11-prove-pov-and-invariants
30s
WIP [Dijkstra] CIP-159-11: PoV property proofs (#1123) Shellcheck #2106: Pull request #1169 opened by williamdemeo
35s 1123-cip-159-11-prove-pov-and-invariants
1123-cip-159-11-prove-pov-and-invariants
35s
[Dijkstra] CIP 159 Master PR bundle CI #1578: Pull request #1168 synchronize by williamdemeo
1h 0m 28s 1112-dijkstra-cip-159-master
1112-dijkstra-cip-159-master
1h 0m 28s
[Dijkstra] CIP 159 Master PR bundle Shellcheck #2105: Pull request #1168 synchronize by williamdemeo
33s 1112-dijkstra-cip-159-master
1112-dijkstra-cip-159-master
33s
PR #1168 CodeQL #228: by williamdemeo
59s refs/pull/1168/head
refs/pull/1168/head
59s
CIP-159-10: Apply batch-wide direct deps in LEDGER (PR target: 1112-master) Delete artifacts branch on PR closed #192: Pull request #1167 closed by williamdemeo
44s 1122-cip-159-10-update-ledger-direct-deps-phantom
1122-cip-159-10-update-ledger-direct-deps-phantom
44s
CIP-159-10: Apply batch-wide direct deps in LEDGER (PR target: 1112-master) Shellcheck #2104: Pull request #1167 synchronize by williamdemeo
34s 1122-cip-159-10-update-ledger-direct-deps-phantom
1122-cip-159-10-update-ledger-direct-deps-phantom
34s
[Dijkstra] CIP 159 Master PR bundle CI #1577: Pull request #1168 synchronize by williamdemeo
58m 20s 1112-dijkstra-cip-159-master
1112-dijkstra-cip-159-master
58m 20s
[Dijkstra] CIP 159 Master PR bundle Shellcheck #2103: Pull request #1168 synchronize by williamdemeo
38s 1112-dijkstra-cip-159-master
1112-dijkstra-cip-159-master
38s
PR #1168 CodeQL #227: by williamdemeo
1m 6s refs/pull/1168/head
refs/pull/1168/head
1m 6s
CIP-159-08 phantom asset attack prevention (PR target: 1112-master) Delete artifacts branch on PR closed #191: Pull request #1166 closed by williamdemeo
43s 1120-cip-159-08-phantom-asset-attack-prevention-phantom
1120-cip-159-08-phantom-asset-attack-prevention-phantom
43s
CIP-159-08 phantom asset attack prevention (PR target: 1112-master) Shellcheck #2102: Pull request #1166 synchronize by williamdemeo
31s 1120-cip-159-08-phantom-asset-attack-prevention-phantom
1120-cip-159-08-phantom-asset-attack-prevention-phantom
31s
[Dijkstra] CIP 159 Master PR bundle CI #1576: Pull request #1168 synchronize by williamdemeo
1h 0m 29s 1112-dijkstra-cip-159-master
1112-dijkstra-cip-159-master
1h 0m 29s
[Dijkstra] CIP 159 Master PR bundle Shellcheck #2101: Pull request #1168 synchronize by williamdemeo
30s 1112-dijkstra-cip-159-master
1112-dijkstra-cip-159-master
30s
PR #1168 CodeQL #226: by williamdemeo
1m 5s refs/pull/1168/head
refs/pull/1168/head
1m 5s
CIP-159-07: Version gating (PR target: 1112-master) Delete artifacts branch on PR closed #190: Pull request #1165 closed by williamdemeo
41s 1119-cip-159-07-version-gating-phantom
1119-cip-159-07-version-gating-phantom
41s