Skip to content

Actions: IntersectMBO/formal-ledger-specifications

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,143 workflow runs
1,143 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Change credsNeeded to take into account credentials from SPO votes CI #1145: Pull request #1028 synchronize by carlostome
16m 50s carlos/spo-vote-validation
carlos/spo-vote-validation
16m 50s
Add UTXOW preconditions (#1018) CI #1144: Commit f1b59f7 pushed by carlostome
16m 30s master
master
16m 30s
[Dijkstra] UTXOW rule CI #1143: Pull request #1018 synchronize by carlostome
16m 23s carlos/fill-utxow-preconditions
carlos/fill-utxow-preconditions
16m 23s
Change credsNeeded to take into account credentials from SPO votes CI #1142: Pull request #1028 synchronize by carlostome
39m 59s carlos/spo-vote-validation
carlos/spo-vote-validation
39m 59s
Change credsNeeded to take into account credentials from SPO votes CI #1141: Pull request #1028 synchronize by carlostome
16m 24s carlos/spo-vote-validation
carlos/spo-vote-validation
16m 24s
Change credsNeeded to take into account credentials from SPO votes CI #1140: Pull request #1028 opened by carlostome
16m 43s carlos/spo-vote-validation
carlos/spo-vote-validation
16m 43s
[Dijkstra] UTXOS Rule with batch-level validity checking CI #1139: Pull request #1021 synchronize by williamdemeo
39m 22s 1007-dijkstra-utxos-batch-level-validity
1007-dijkstra-utxos-batch-level-validity
39m 22s
[Dijkstra] batch-aware collectP2ScriptsWithContext (#1015) CI #1138: Commit b978ae2 pushed by williamdemeo
9m 59s master
master
9m 59s
[Dijkstra] batch-aware collectP2ScriptsWithContext CI #1137: Pull request #1015 synchronize by williamdemeo
44m 12s 1006-dijkstra-batch-aware-collectp2scriptswithcontext
1006-dijkstra-batch-aware-collectp2scriptswithcontext
44m 12s
[Dijkstra] batch-aware collectP2ScriptsWithContext CI #1136: Pull request #1015 synchronize by williamdemeo
39m 2s 1006-dijkstra-batch-aware-collectp2scriptswithcontext
1006-dijkstra-batch-aware-collectp2scriptswithcontext
39m 2s
[Dijkstra] batch-aware collectP2ScriptsWithContext CI #1135: Pull request #1015 synchronize by williamdemeo
44m 47s 1006-dijkstra-batch-aware-collectp2scriptswithcontext
1006-dijkstra-batch-aware-collectp2scriptswithcontext
44m 47s
[Dijkstra] UTXOW rule CI #1134: Pull request #1018 synchronize by carlostome
42m 11s carlos/fill-utxow-preconditions
carlos/fill-utxow-preconditions
42m 11s
[Dijkstra] UTXOW rule CI #1133: Pull request #1018 synchronize by carlostome
15m 34s carlos/fill-utxow-preconditions
carlos/fill-utxow-preconditions
15m 34s
[Dijkstra] batch-aware collectP2ScriptsWithContext CI #1132: Pull request #1015 synchronize by williamdemeo
20m 50s 1006-dijkstra-batch-aware-collectp2scriptswithcontext
1006-dijkstra-batch-aware-collectp2scriptswithcontext
20m 50s
[Dijkstra] UTXOW rule CI #1131: Pull request #1018 synchronize by carlostome
15m 43s carlos/fill-utxow-preconditions
carlos/fill-utxow-preconditions
15m 43s
[Dijkstra] resolve ambiguity: visibility of reference inputs (#1014) CI #1130: Commit 42eeaeb pushed by williamdemeo
20m 0s master
master
20m 0s
[Dijkstra] resolve ambiguity: visibility of reference inputs CI #1129: Pull request #1014 synchronize by williamdemeo
20m 51s 1005-dijkstra-cip-0118-ambiguity-visibility-of-reference-inputs
1005-dijkstra-cip-0118-ambiguity-visibility-of-reference-inputs
20m 51s
[Dijkstra] UTXOW rule CI #1128: Pull request #1018 synchronize by carlostome
39m 22s carlos/fill-utxow-preconditions
carlos/fill-utxow-preconditions
39m 22s
[Dijkstra] implement TxInfo rules for guards (#1012) CI #1127: Commit 457901c pushed by williamdemeo
23m 3s master
master
23m 3s
[Dijkstra] UTXOW rule CI #1126: Pull request #1018 synchronize by carlostome
46m 10s carlos/fill-utxow-preconditions
carlos/fill-utxow-preconditions
46m 10s
[Dijkstra] UTXOW rule CI #1125: Pull request #1018 synchronize by carlostome
38m 44s carlos/fill-utxow-preconditions
carlos/fill-utxow-preconditions
38m 44s
[Dijkstra] UTXOW rule CI #1124: Pull request #1018 synchronize by carlostome
25m 57s carlos/fill-utxow-preconditions
carlos/fill-utxow-preconditions
25m 57s
[Dijkstra] implement TxInfo rules for guards CI #1123: Pull request #1012 synchronize by williamdemeo
42m 7s 1004-dijkstra-implement-txinfo-rules-for-guards
1004-dijkstra-implement-txinfo-rules-for-guards
42m 7s
Update flake.nix to use latest agda.nix (#994) CI #1122: Commit 9686678 pushed by carlostome
23m 24s master
master
23m 24s
[Dijkstra] UTXOW rule CI #1121: Pull request #1018 synchronize by carlostome
16m 37s carlos/fill-utxow-preconditions
carlos/fill-utxow-preconditions
16m 37s