Skip to content

Actions: IntersectMBO/formal-ledger-specifications

Actions

Delete artifacts branch on PR closed

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
pr_closed.yml
124 workflow runs
124 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Dijkstra] UTXOW rule Delete artifacts branch on PR closed #124: Pull request #1018 closed by carlostome
40s carlos/fill-utxow-preconditions
carlos/fill-utxow-preconditions
40s
[Dijkstra] batch-aware collectP2ScriptsWithContext Delete artifacts branch on PR closed #123: Pull request #1015 closed by williamdemeo
4m 5s 1006-dijkstra-batch-aware-collectp2scriptswithcontext
1006-dijkstra-batch-aware-collectp2scriptswithcontext
4m 5s
[Dijkstra] resolve ambiguity: visibility of reference inputs Delete artifacts branch on PR closed #122: Pull request #1014 closed by williamdemeo
40s 1005-dijkstra-cip-0118-ambiguity-visibility-of-reference-inputs
1005-dijkstra-cip-0118-ambiguity-visibility-of-reference-inputs
40s
[Dijkstra] implement TxInfo rules for guards Delete artifacts branch on PR closed #121: Pull request #1012 closed by williamdemeo
3m 48s 1004-dijkstra-implement-txinfo-rules-for-guards
1004-dijkstra-implement-txinfo-rules-for-guards
3m 48s
Update flake.nix to use latest agda.nix Delete artifacts branch on PR closed #120: Pull request #994 closed by carlostome
2m 47s carlos/update-agda-nix
carlos/update-agda-nix
2m 47s
Add batch-level coin mint constraint to prevent Ada forgery Delete artifacts branch on PR closed #119: Pull request #1023 closed by williamdemeo
38s copilot/sub-pr-1021
copilot/sub-pr-1021
38s
[Dijkstra] Add LEDGER, SUBLEDGER, SUBUTXOW, SUBUTXO stubs Delete artifacts branch on PR closed #118: Pull request #1020 closed by williamdemeo
34s 1019-dijkstra-stubs-for-ledger-rules
1019-dijkstra-stubs-for-ledger-rules
34s
[Dijkstra] Make ScriptPurpose.Guard and IndexOfGuard carry a Credential Delete artifacts branch on PR closed #117: Pull request #1011 closed by williamdemeo
38s 1003-dijkstra-change-types-scriptpurposeguard-indexofguard
1003-dijkstra-change-types-scriptpurposeguard-indexofguard
38s
[Dijkstra] phase 1 requiredTopLevelGuards Delete artifacts branch on PR closed #116: Pull request #1010 closed by williamdemeo
37s 1002-dijkstra-phase-1-requiredtoplevelguards-stacked
1002-dijkstra-phase-1-requiredtoplevelguards-stacked
37s
[Dijkstra] subTxBody redesign: change type of txRequiredTopLevelGuards Delete artifacts branch on PR closed #115: Pull request #1009 closed by williamdemeo
44s 1001-dijkstra-subtxbody-redesign
1001-dijkstra-subtxbody-redesign
44s
Change type of module parameter of Ratify Delete artifacts branch on PR closed #114: Pull request #1022 closed by carlostome
40s carlos/replace-txs-by-gs-parameter-ratify
carlos/replace-txs-by-gs-parameter-ratify
40s
[Dijkstra] TxBody replace txRequiredGuards Delete artifacts branch on PR closed #113: Pull request #1008 closed by williamdemeo
38s 1000-dijkstra-txbody-replace-txrequiredguards
1000-dijkstra-txbody-replace-txrequiredguards
38s
Adapt UTXOS rule to nested transactions Delete artifacts branch on PR closed #112: Pull request #998 closed by williamdemeo
32s 997-adapt-utxos-rule-for-nested-transactions
997-adapt-utxos-rule-for-nested-transactions
32s
Enumerate differences with Shelley Delete artifacts branch on PR closed #111: Pull request #993 closed by facundominguez
49s fd/shelley-differences
fd/shelley-differences
49s
Refactor documentation of properties Delete artifacts branch on PR closed #110: Pull request #986 closed by williamdemeo
37s 965-refactor-properties
965-refactor-properties
37s
Refactor accepted by CC Delete artifacts branch on PR closed #109: Pull request #992 closed by carlostome
2m 4s carlos/change-accepted-by-cc
carlos/change-accepted-by-cc
2m 4s
Motivate the conformance model Delete artifacts branch on PR closed #108: Pull request #988 closed by facundominguez
2m 37s fd/conformance-motivation
fd/conformance-motivation
2m 37s
Expose acceptedBy predicates for conformance Delete artifacts branch on PR closed #107: Pull request #991 closed by carlostome
2m 35s carlos/expose-accepted-to-conformance
carlos/expose-accepted-to-conformance
2m 35s
Rename RwdAddr to RewardAddress Delete artifacts branch on PR closed #106: Pull request #985 closed by williamdemeo
3m 4s 984-change-rwdaddr-to-rewardaddress
984-change-rwdaddr-to-rewardaddress
3m 4s
Remove Build-tools subsection from CONTRIBUTING.md Delete artifacts branch on PR closed #105: Pull request #987 closed by carlostome
2m 9s copilot/remove-build-tools-subsection
copilot/remove-build-tools-subsection
2m 9s
Update agda-sets and remove migrated proofs Delete artifacts branch on PR closed #104: Pull request #983 closed by facundominguez
1m 56s fd/use-add-excluded
fd/use-add-excluded
1m 56s
refactor activeDReps to avoid duplication Delete artifacts branch on PR closed #103: Pull request #971 closed by williamdemeo
1m 53s 970-dry-activedreps
970-dry-activedreps
1m 53s
Define a step function to run the EPOCH rule from the specification Delete artifacts branch on PR closed #102: Pull request #925 closed by facundominguez
3m 21s fd/spec-epoch-step
fd/spec-epoch-step
3m 21s
Don't count pool deposits when reregistering pools Delete artifacts branch on PR closed #101: Pull request #973 closed by facundominguez
1m 18s fd/reregistration-deposits
fd/reregistration-deposits
1m 18s
Only accept CC if minsize and threshold are both zero Delete artifacts branch on PR closed #100: Pull request #975 closed by carlostome
1m 17s jj/cc-vote-minsize-fix
jj/cc-vote-minsize-fix
1m 17s