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
WIP -- [Conway] Property : voteDelegs range lies in VDelegs of registered DReps (#1233) CI #2055: Pull request #1290 synchronize by williamdemeo
7m 51s 1233-conway-votedelegs-range-is-contained-in-vdelegs
1233-conway-votedelegs-range-is-contained-in-vdelegs
7m 51s
WIP -- [Conway] Property : voteDelegs range lies in VDelegs of registered DReps (#1233) Shellcheck #2654: Pull request #1290 synchronize by williamdemeo
33s 1233-conway-votedelegs-range-is-contained-in-vdelegs
1233-conway-votedelegs-range-is-contained-in-vdelegs
33s
PR #1290 CodeQL #731: by williamdemeo
54s refs/pull/1290/head
refs/pull/1290/head
54s
WIP -- flake: fetch inputs via git+https + dev-shell prefetch for cloud proxy (#1254) CI #2054: Pull request #1255 synchronize by williamdemeo
6m 15s claude/env-config-test-zheoxs
claude/env-config-test-zheoxs
6m 15s
WIP -- flake: fetch inputs via git+https + dev-shell prefetch for cloud proxy (#1254) Shellcheck #2653: Pull request #1255 synchronize by williamdemeo
34s claude/env-config-test-zheoxs
claude/env-config-test-zheoxs
34s
PR #1255 CodeQL #730: by williamdemeo
54s refs/pull/1255/head
refs/pull/1255/head
54s
Catalog, roadmap, and CI-gated status tracking for ledger properties (#1225) CI #2053: Pull request #1226 synchronize by williamdemeo
6m 38s 1225-organize-catalog-track-properties
1225-organize-catalog-track-properties
6m 38s
Catalog, roadmap, and CI-gated status tracking for ledger properties (#1225) Shellcheck #2652: Pull request #1226 synchronize by williamdemeo
39s 1225-organize-catalog-track-properties
1225-organize-catalog-track-properties
39s
Catalog, roadmap, and CI-gated status tracking for ledger properties (#1225) .github/workflows/properties-check.yml #32: Pull request #1226 synchronize by williamdemeo
18s 1225-organize-catalog-track-properties
1225-organize-catalog-track-properties
18s
PR #1226 CodeQL #729: by williamdemeo
57s refs/pull/1226/head
refs/pull/1226/head
57s
pages build and deployment pages-build-deployment #588: by github-pages Bot
54s master-artifacts
master-artifacts
54s
WIP -- [Dijkstra] CIP-159-11a: Prove CERTS preservation of value (#1185) Shellcheck #2651: Pull request #1210 synchronize by williamdemeo
29s 1185-dijkstra-NEW-ENTITIES-certs-pov
1185-dijkstra-NEW-ENTITIES-certs-pov
29s
[Dijkstra] CIP-159-11b: Prove UTxO and UTxOW preservation of value (#1186) CI #2052: Pull request #1189 synchronize by williamdemeo
27m 37s 1186-dijkstra-utxo-and-utxow-pov
1186-dijkstra-utxo-and-utxow-pov
27m 37s
[Dijkstra] CIP-159-11b: Prove UTxO and UTxOW preservation of value (#1186) Shellcheck #2650: Pull request #1189 synchronize by williamdemeo
38s 1186-dijkstra-utxo-and-utxow-pov
1186-dijkstra-utxo-and-utxow-pov
38s
PR #1189 CodeQL #728: by williamdemeo
55s refs/pull/1189/head
refs/pull/1189/head
55s
[Dijkstra] CIP-159-11c: Prove LEDGER preservation of value (#1187) CI #2051: Pull request #1203 synchronize by williamdemeo
34m 0s 1187-dijkstra-NEW-ENTITIES-ledger-pov
1187-dijkstra-NEW-ENTITIES-ledger-pov
34m 0s
[Dijkstra] CIP-159-11c: Prove LEDGER preservation of value (#1187) Shellcheck #2649: Pull request #1203 synchronize by williamdemeo
34s 1187-dijkstra-NEW-ENTITIES-ledger-pov
1187-dijkstra-NEW-ENTITIES-ledger-pov
34s
PR #1203 CodeQL #727: by williamdemeo
53s refs/pull/1203/head
refs/pull/1203/head
53s
Merge pull request #1292 from IntersectMBO/claude/leios-ledger-spec-n… CI #2050: Commit 193d640 pushed by williamdemeo
5m 46s master
master
5m 46s
Merge pull request #1292 from IntersectMBO/claude/leios-ledger-spec-n… Shellcheck #2648: Commit 193d640 pushed by williamdemeo
39s master
master
39s
Run full CI on leios-main and document the Leios branch workflow Delete artifacts branch on PR closed #256: Pull request #1292 closed by williamdemeo
1m 9s claude/leios-ledger-spec-npaanu
claude/leios-ledger-spec-npaanu
1m 9s
Push on master CodeQL #726: by williamdemeo
1m 16s master
master
1m 16s
WIP -- [Dijkstra] CIP-159: Prove Gov preservation-of-value facts (#1276) Shellcheck #2647: Pull request #1278 synchronize by williamdemeo
35s 1276-dijkstra-gov-pov
1276-dijkstra-gov-pov
35s
Catalog, roadmap, and CI-gated status tracking for ledger properties (#1225) CI #2049: Pull request #1226 synchronize by williamdemeo
5m 56s 1225-organize-catalog-track-properties
1225-organize-catalog-track-properties
5m 56s
Catalog, roadmap, and CI-gated status tracking for ledger properties (#1225) .github/workflows/properties-check.yml #31: Pull request #1226 synchronize by williamdemeo
10s 1225-organize-catalog-track-properties
1225-organize-catalog-track-properties
10s