Skip to content

Actions: IntersectMBO/formal-ledger-specifications

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,799 workflow runs
1,799 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
[Dijkstra] CIP-159-11c: Prove LEDGER preservation of value (#1187) CI #2074: Pull request #1203 synchronize by williamdemeo
6m 13s 1187-dijkstra-NEW-ENTITIES-ledger-pov
1187-dijkstra-NEW-ENTITIES-ledger-pov
6m 13s
Catalog, roadmap, and CI-gated status tracking for ledger properties (#1225) CI #2073: Pull request #1226 synchronize by williamdemeo
5m 15s 1225-organize-catalog-track-properties
1225-organize-catalog-track-properties
5m 15s
Implement missing parts from StakePoolParams specification CI #2072: Pull request #1294 synchronize by carlostome
34m 39s carlos/pool-conformance
carlos/pool-conformance
34m 39s
Implement missing parts from StakePoolParams specification CI #2071: Pull request #1294 synchronize by carlostome
35m 29s carlos/pool-conformance
carlos/pool-conformance
35m 29s
Implement missing parts from StakePoolParams specification CI #2070: Pull request #1294 opened by carlostome
33m 52s carlos/pool-conformance
carlos/pool-conformance
33m 52s
flake: fetch inputs via git+https so nix develop works behind the Claude web proxy (#1254) CI #2069: Pull request #1255 synchronize by williamdemeo
5m 40s claude/env-config-test-zheoxs
claude/env-config-test-zheoxs
5m 40s
flake: fetch inputs via git+https so nix develop works behind the Claude web proxy (#1254) CI #2068: Pull request #1255 synchronize by williamdemeo
5m 18s claude/env-config-test-zheoxs
claude/env-config-test-zheoxs
5m 18s
[Dijkstra] CIP-159-11b: Prove UTxO and UTxOW preservation of value (#1186) CI #2067: Pull request #1189 synchronize by williamdemeo
37m 50s 1186-dijkstra-utxo-and-utxow-pov
1186-dijkstra-utxo-and-utxow-pov
37m 50s
[Dijkstra] CIP-159-11b: Prove UTxO and UTxOW preservation of value (#1186) CI #2066: Pull request #1189 synchronize by williamdemeo
6m 30s 1186-dijkstra-utxo-and-utxow-pov
1186-dijkstra-utxo-and-utxow-pov
6m 30s
[Dijkstra] CIP-159-11b: Prove UTxO and UTxOW preservation of value (#1186) CI #2065: Pull request #1189 synchronize by williamdemeo
34m 43s 1186-dijkstra-utxo-and-utxow-pov
1186-dijkstra-utxo-and-utxow-pov
34m 43s
[Dijkstra] CIP-159-11b: Prove UTxO and UTxOW preservation of value (#1186) CI #2064: Pull request #1189 synchronize by williamdemeo
5m 15s 1186-dijkstra-utxo-and-utxow-pov
1186-dijkstra-utxo-and-utxow-pov
5m 15s
[Dijkstra] CIP-159-11c: Prove LEDGER preservation of value (#1187) CI #2063: Pull request #1203 synchronize by williamdemeo
6m 13s 1187-dijkstra-NEW-ENTITIES-ledger-pov
1187-dijkstra-NEW-ENTITIES-ledger-pov
6m 13s
[Dijkstra] CIP-159-11b: Prove UTxO and UTxOW preservation of value (#1186) CI #2062: Pull request #1189 synchronize by williamdemeo
34m 2s 1186-dijkstra-utxo-and-utxow-pov
1186-dijkstra-utxo-and-utxow-pov
34m 2s
[Dijkstra] CIP-159-11c: Prove LEDGER preservation of value (#1187) CI #2061: Pull request #1203 synchronize by williamdemeo
34m 54s 1187-dijkstra-NEW-ENTITIES-ledger-pov
1187-dijkstra-NEW-ENTITIES-ledger-pov
34m 54s
[Dijkstra] CIP-159-11c: Prove LEDGER preservation of value (#1187) CI #2060: Pull request #1203 synchronize by williamdemeo
28m 8s 1187-dijkstra-NEW-ENTITIES-ledger-pov
1187-dijkstra-NEW-ENTITIES-ledger-pov
28m 8s
[Dijkstra] CIP-159-11c: Prove LEDGER preservation of value (#1187) CI #2059: Pull request #1203 synchronize by williamdemeo
33m 35s 1187-dijkstra-NEW-ENTITIES-ledger-pov
1187-dijkstra-NEW-ENTITIES-ledger-pov
33m 35s
flake: fetch inputs via git+https so nix develop works behind the Claude web proxy (#1254) CI #2058: Pull request #1255 synchronize by williamdemeo
6m 4s claude/env-config-test-zheoxs
claude/env-config-test-zheoxs
6m 4s
flake: fetch inputs via git+https so nix develop works behind the Claude web proxy (#1254) CI #2057: Pull request #1255 synchronize by williamdemeo
5m 34s claude/env-config-test-zheoxs
claude/env-config-test-zheoxs
5m 34s
flake: fetch inputs via git+https so nix develop works behind the Claude web proxy (#1254) CI #2056: Pull request #1255 synchronize by williamdemeo
5m 42s claude/env-config-test-zheoxs
claude/env-config-test-zheoxs
5m 42s
[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
flake: fetch inputs via git+https so nix develop works behind the Claude web proxy (#1254) CI #2054: Pull request #1255 synchronize by williamdemeo
6m 15s claude/env-config-test-zheoxs
claude/env-config-test-zheoxs
6m 15s
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
[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-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
Merge pull request #1292 from IntersectMBO/claude/leios-ledger-spec-n… CI #2050: Commit 193d640 pushed by williamdemeo
5m 46s master
master
5m 46s