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
Optimize genErrors CI #2174: Pull request #1320 opened by carlostome
4m 37s carlos/genErrors
carlos/genErrors
4m 37s
Close 1314 by renaming type in examples CI #2173: Pull request #1319 opened by tferariu
7m 17s 1314-renaming-examples
1314-renaming-examples
7m 17s
WIP -- [Leios] LLF1-3: the endorser block, its announcement, and the vote (#1301) CI #2172: Pull request #1307 synchronize by williamdemeo
24m 5s 1301-llf1-3-leios-types
1301-llf1-3-leios-types
24m 5s
WIP -- [Leios] LLF1-3: the endorser block, its announcement, and the vote (#1301) CI #2171: Pull request #1307 synchronize by williamdemeo
28m 1s 1301-llf1-3-leios-types
1301-llf1-3-leios-types
28m 1s
WIP -- [Leios] LLF1-3: the endorser block, its announcement, and the vote (#1301) CI #2170: Pull request #1307 synchronize by williamdemeo
27m 48s 1301-llf1-3-leios-types
1301-llf1-3-leios-types
27m 48s
[Leios] LLF1-2: single-vote BLS verification and voting-crypto prose (#1298) CI #2169: Pull request #1305 synchronize by williamdemeo
34m 1s 1298-llf1-2-leios-bls-verification
1298-llf1-2-leios-bls-verification
34m 1s
[Leios] BLS voting primitives in the core crypto structure CI #2168: Pull request #1304 synchronize by williamdemeo
28m 10s leios-bls-primitives
leios-bls-primitives
28m 10s
[Leios] LLF1-2: single-vote BLS verification and voting-crypto prose (#1298) CI #2167: Pull request #1305 synchronize by williamdemeo
33m 39s 1298-llf1-2-leios-bls-verification
1298-llf1-2-leios-bls-verification
33m 39s
[Leios] BLS voting primitives in the core crypto structure CI #2166: Pull request #1304 synchronize by williamdemeo
30m 55s leios-bls-primitives
leios-bls-primitives
30m 55s
WIP -- [Dijkstra] CIP-159: Prove Gov preservation-of-value facts (#1276) CI #2165: Pull request #1278 synchronize by williamdemeo
38m 16s 1276-dijkstra-gov-pov
1276-dijkstra-gov-pov
38m 16s
WIP -- [Dijkstra] CIP-159-11a: Prove CERTS preservation of value (#1185) CI #2164: Pull request #1210 synchronize by williamdemeo
37m 28s 1185-dijkstra-NEW-ENTITIES-certs-pov
1185-dijkstra-NEW-ENTITIES-certs-pov
37m 28s
[Dijkstra] CIP-159-11b: Prove UTxO and UTxOW preservation of value (#1186) CI #2163: Pull request #1189 synchronize by williamdemeo
37m 39s 1186-dijkstra-utxo-and-utxow-pov
1186-dijkstra-utxo-and-utxow-pov
37m 39s
Leios PParams CI #2162: Pull request #1317 opened by ch1bo
39m 17s leios-pparams-cip164
leios-pparams-cip164
39m 17s
[Dijkstra] Add starting account balance intervals CI #2161: Pull request #1308 synchronize by carlostome
38m 35s carlos/starting-account-balance-intervals
carlos/starting-account-balance-intervals
38m 35s
[Dijkstra] Change SNAP invocation in EPOCH to after ledger state upda… CI #2160: Commit 6106fdc pushed by carlostome
37m 46s master
master
37m 46s
[Dijkstra] Change SNAP invocation in EPOCH to after ledger state update CI #2159: Pull request #1313 synchronize by carlostome
37m 31s carlos/epoch-dijkstra
carlos/epoch-dijkstra
37m 31s
[Dijkstra] Add starting account balance intervals CI #2158: Pull request #1308 synchronize by carlostome
34m 22s carlos/starting-account-balance-intervals
carlos/starting-account-balance-intervals
34m 22s
[Dijkstra] Change SNAP invocation in EPOCH to after ledger state update CI #2157: Pull request #1313 synchronize by carlostome
35m 41s carlos/epoch-dijkstra
carlos/epoch-dijkstra
35m 41s
[Dijkstra] CIP-159-11b: Prove UTxO and UTxOW preservation of value (#1186) CI #2156: Pull request #1189 synchronize by williamdemeo
36m 33s 1186-dijkstra-utxo-and-utxow-pov
1186-dijkstra-utxo-and-utxow-pov
36m 33s
WIP -- [Dijkstra] CIP-159-11a: Prove CERTS preservation of value (#1185) CI #2155: Pull request #1210 synchronize by williamdemeo
36m 5s 1185-dijkstra-NEW-ENTITIES-certs-pov
1185-dijkstra-NEW-ENTITIES-certs-pov
36m 5s
WIP -- [Dijkstra] CIP-159: Prove Gov preservation-of-value facts (#1276) CI #2154: Pull request #1278 synchronize by williamdemeo
35m 39s 1276-dijkstra-gov-pov
1276-dijkstra-gov-pov
35m 39s
WIP -- [Dijkstra] CIP-159: Prove Gov preservation-of-value facts (#1276) CI #2153: Pull request #1278 synchronize by williamdemeo
36m 22s 1276-dijkstra-gov-pov
1276-dijkstra-gov-pov
36m 22s
WIP -- [Dijkstra] CIP-159-11a: Prove CERTS preservation of value (#1185) CI #2152: Pull request #1210 synchronize by williamdemeo
36m 36s 1185-dijkstra-NEW-ENTITIES-certs-pov
1185-dijkstra-NEW-ENTITIES-certs-pov
36m 36s
[Dijkstra] CIP-159-11b: Prove UTxO and UTxOW preservation of value (#1186) CI #2151: Pull request #1189 synchronize by williamdemeo
34m 25s 1186-dijkstra-utxo-and-utxow-pov
1186-dijkstra-utxo-and-utxow-pov
34m 25s
WIP -- [Dijkstra] CIP-159-11a: Prove CERTS preservation of value (#1185) CI #2150: Pull request #1210 synchronize by williamdemeo
28m 52s 1185-dijkstra-NEW-ENTITIES-certs-pov
1185-dijkstra-NEW-ENTITIES-certs-pov
28m 52s