Skip to content

Actions: IntersectMBO/formal-ledger-specifications

Actions

Shellcheck

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
shellcheck.yml
2,193 workflow runs
2,193 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
Move Ledger.Conway.Conformance.Equivalence.Map to src-lib-exts/abstract-set-theory/Axiom/Set/Map/Extra (#1194) Shellcheck #2268: Pull request #1195 opened by williamdemeo
32s 1194-move-equivalencemap-to-src-lib-exts
1194-move-equivalencemap-to-src-lib-exts
32s
[Dijkstra] Add missing premises to UTXOW Shellcheck #2267: Pull request #1176 synchronize by carlostome
35s carlos/missing-premisses-utxow
carlos/missing-premisses-utxow
35s
[Dijkstra] Add missing premises to UTXOW Shellcheck #2266: Pull request #1176 synchronize by carlostome
34s carlos/missing-premisses-utxow
carlos/missing-premisses-utxow
34s
Reorganize CI (#1191) Shellcheck #2265: Commit 68083f6 pushed by carlostome
41s master
master
41s
Reorganize CI Shellcheck #2264: Pull request #1191 synchronize by carlostome
39s carlos/improve-ci
carlos/improve-ci
39s
[Dijkstra] CIP-159-11b: Prove UTxO and UTxOW preservation of value (#1186) Shellcheck #2263: Pull request #1189 synchronize by williamdemeo
2m 3s 1186-dijkstra-utxo-and-utxow-pov
1186-dijkstra-utxo-and-utxow-pov
2m 3s
[Dijkstra] CIP-159-11a: Prove Certs preservation of value (#1185) Shellcheck #2262: Pull request #1188 synchronize by williamdemeo
38s 1185-dijkstra-certs-pov
1185-dijkstra-certs-pov
38s
Reorganize CI Shellcheck #2261: Pull request #1191 synchronize by carlostome
34s carlos/improve-ci
carlos/improve-ci
34s
Reorganize CI Shellcheck #2260: Pull request #1191 synchronize by carlostome
40s carlos/improve-ci
carlos/improve-ci
40s
Reorganize CI Shellcheck #2259: Pull request #1191 synchronize by carlostome
41s carlos/improve-ci
carlos/improve-ci
41s
Allow V4 Plutus scripts in legacy mode (#1193) Shellcheck #2258: Commit 568366f pushed by carlostome
32s master
master
32s
Allow V4 Plutus scripts in legacy mode Shellcheck #2257: Pull request #1193 synchronize by carlostome
36s 1192-dijkstra-allow-v4-plutus-scripts-in-legacy-mode
1192-dijkstra-allow-v4-plutus-scripts-in-legacy-mode
36s
Allow V4 Plutus scripts in legacy mode Shellcheck #2256: Pull request #1193 synchronize by carlostome
40s 1192-dijkstra-allow-v4-plutus-scripts-in-legacy-mode
1192-dijkstra-allow-v4-plutus-scripts-in-legacy-mode
40s
Allow V4 Plutus scripts in legacy mode Shellcheck #2255: Pull request #1193 synchronize by carlostome
40s 1192-dijkstra-allow-v4-plutus-scripts-in-legacy-mode
1192-dijkstra-allow-v4-plutus-scripts-in-legacy-mode
40s
Allow V4 Plutus scripts in legacy mode Shellcheck #2254: Pull request #1193 synchronize by carlostome
43s 1192-dijkstra-allow-v4-plutus-scripts-in-legacy-mode
1192-dijkstra-allow-v4-plutus-scripts-in-legacy-mode
43s
Allow V4 Plutus scripts in legacy mode Shellcheck #2253: Pull request #1193 opened by carlostome
40s 1192-dijkstra-allow-v4-plutus-scripts-in-legacy-mode
1192-dijkstra-allow-v4-plutus-scripts-in-legacy-mode
40s
[Dijkstra] CIP-159-11c: Prove LEDGER preservation of value (#1187) Shellcheck #2252: Pull request #1190 synchronize by williamdemeo
37s 1187-dijkstra-ledger-pov
1187-dijkstra-ledger-pov
37s
[Dijkstra] CIP-159-11c: Prove LEDGER preservation of value (#1187) Shellcheck #2251: Pull request #1190 synchronize by williamdemeo
33s 1187-dijkstra-ledger-pov
1187-dijkstra-ledger-pov
33s
[Dijkstra] CIP-159-11c: Prove LEDGER preservation of value (#1187) Shellcheck #2250: Pull request #1190 synchronize by williamdemeo
32s 1187-dijkstra-ledger-pov
1187-dijkstra-ledger-pov
32s
[Dijkstra] CIP-159-11b: Prove UTxO and UTxOW preservation of value (#1186) Shellcheck #2249: Pull request #1189 synchronize by williamdemeo
37s 1186-dijkstra-utxo-and-utxow-pov
1186-dijkstra-utxo-and-utxow-pov
37s
[Dijkstra] CIP-159-11a: Prove Certs preservation of value (#1185) Shellcheck #2248: Pull request #1188 synchronize by williamdemeo
30s 1185-dijkstra-certs-pov
1185-dijkstra-certs-pov
30s
[Dijkstra] CIP-159-11b: Prove UTxO and UTxOW preservation of value (#1186) Shellcheck #2247: Pull request #1189 synchronize by williamdemeo
38s 1186-dijkstra-utxo-and-utxow-pov
1186-dijkstra-utxo-and-utxow-pov
38s
[Dijkstra] CIP-159-11b: Prove UTxO and UTxOW preservation of value (#1186) Shellcheck #2246: Pull request #1189 synchronize by williamdemeo
39s 1186-dijkstra-utxo-and-utxow-pov
1186-dijkstra-utxo-and-utxow-pov
39s
[Dijkstra] CIP-159-11a: Prove Certs preservation of value (#1185) Shellcheck #2245: Pull request #1188 synchronize by williamdemeo
39s 1185-dijkstra-certs-pov
1185-dijkstra-certs-pov
39s
Reorganize CI Shellcheck #2244: Pull request #1191 synchronize by carlostome
40s carlos/improve-ci
carlos/improve-ci
40s