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
Optimize genErrors CI #2174: Pull request #1320 opened by carlostome
4m 37s carlos/genErrors
carlos/genErrors
4m 37s
Optimize genErrors Shellcheck #2781: Pull request #1320 opened by carlostome
31s carlos/genErrors
carlos/genErrors
31s
Optimize genErrors properties-check #77: Pull request #1320 opened by carlostome
14s carlos/genErrors
carlos/genErrors
14s
PR #1320 CodeQL #829: by carlostome
57s refs/pull/1320/head
refs/pull/1320/head
57s
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
Close 1314 by renaming type in examples Shellcheck #2780: Pull request #1319 opened by tferariu
35s 1314-renaming-examples
1314-renaming-examples
35s
PR #1319 CodeQL #828: by tferariu
1m 7s refs/pull/1319/head
refs/pull/1319/head
1m 7s
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) Shellcheck #2779: Pull request #1307 synchronize by williamdemeo
33s 1301-llf1-3-leios-types
1301-llf1-3-leios-types
33s
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) Shellcheck #2778: Pull request #1307 synchronize by williamdemeo
31s 1301-llf1-3-leios-types
1301-llf1-3-leios-types
31s
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
WIP -- [Leios] LLF1-3: the endorser block, its announcement, and the vote (#1301) Shellcheck #2777: Pull request #1307 synchronize by williamdemeo
26s 1301-llf1-3-leios-types
1301-llf1-3-leios-types
26s
[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] LLF1-2: single-vote BLS verification and voting-crypto prose (#1298) Shellcheck #2776: Pull request #1305 synchronize by williamdemeo
32s 1298-llf1-2-leios-bls-verification
1298-llf1-2-leios-bls-verification
32s
[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] BLS voting primitives in the core crypto structure Shellcheck #2775: Pull request #1304 synchronize by williamdemeo
33s leios-bls-primitives
leios-bls-primitives
33s
[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] LLF1-2: single-vote BLS verification and voting-crypto prose (#1298) Shellcheck #2774: Pull request #1305 synchronize by williamdemeo
29s 1298-llf1-2-leios-bls-verification
1298-llf1-2-leios-bls-verification
29s
[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
[Leios] BLS voting primitives in the core crypto structure Shellcheck #2773: Pull request #1304 synchronize by williamdemeo
31s leios-bls-primitives
leios-bls-primitives
31s
Nightly Build Nightly Build #141: Scheduled
47m 55s master
master
47m 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
WIP -- [Dijkstra] CIP-159: Prove Gov preservation-of-value facts (#1276) Shellcheck #2772: Pull request #1278 synchronize by williamdemeo
30s 1276-dijkstra-gov-pov
1276-dijkstra-gov-pov
30s