Skip to content

Actions: IntersectMBO/formal-ledger-specifications

Actions

Formal Ledger Specs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
1,955 workflow runs
1,955 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Removed proposals updating from Haskell version of UTXO Formal Ledger Specs #2353: Commit 1865150 pushed by Soupstraw
October 10, 2024 13:33 1h 2m 56s master
master
October 10, 2024 13:33 1h 2m 56s
Removed deposit updating from Haskell version of UTXO Formal Ledger Specs #2352: Pull request #589 synchronize by Soupstraw
October 10, 2024 13:33 1h 3m 10s jj/utxo-proposals
jj/utxo-proposals
October 10, 2024 13:33 1h 3m 10s
Removed deposit updating from Haskell version of UTXO Formal Ledger Specs #2351: Pull request #589 synchronize by Soupstraw
October 10, 2024 13:06 58m 59s jj/utxo-proposals
jj/utxo-proposals
October 10, 2024 13:06 58m 59s
Removed deposit updating from Haskell version of UTXO Formal Ledger Specs #2350: Pull request #589 synchronize by Soupstraw
October 10, 2024 12:59 1h 5m 49s jj/utxo-proposals
jj/utxo-proposals
October 10, 2024 12:59 1h 5m 49s
Removed deposit updating from Haskell version of UTXO Formal Ledger Specs #2349: Pull request #589 synchronize by Soupstraw
October 10, 2024 12:42 12m 50s jj/utxo-proposals
jj/utxo-proposals
October 10, 2024 12:42 12m 50s
Removed deposit updating from Haskell version of UTXO Formal Ledger Specs #2348: Pull request #589 synchronize by Soupstraw
October 10, 2024 12:32 13m 31s jj/utxo-proposals
jj/utxo-proposals
October 10, 2024 12:32 13m 31s
Removed deposit updating from Haskell version of UTXO Formal Ledger Specs #2347: Pull request #589 synchronize by Soupstraw
October 10, 2024 12:19 35m 49s jj/utxo-proposals
jj/utxo-proposals
October 10, 2024 12:19 35m 49s
Cannot register and deregister same stake credential Formal Ledger Specs #2346: Pull request #547 synchronize by williamdemeo
October 10, 2024 06:21 32m 25s 512-cannot-register-and-deregister-stake-credential
512-cannot-register-and-deregister-stake-credential
October 10, 2024 06:21 32m 25s
Cannot register and deregister same stake credential Formal Ledger Specs #2345: Pull request #547 synchronize by williamdemeo
October 10, 2024 06:16 31m 58s 512-cannot-register-and-deregister-stake-credential
512-cannot-register-and-deregister-stake-credential
October 10, 2024 06:16 31m 58s
Cannot register and deregister same stake credential Formal Ledger Specs #2344: Pull request #547 synchronize by williamdemeo
October 9, 2024 15:02 11m 14s 512-cannot-register-and-deregister-stake-credential
512-cannot-register-and-deregister-stake-credential
October 9, 2024 15:02 11m 14s
Cannot register and deregister same stake credential Formal Ledger Specs #2343: Pull request #547 synchronize by williamdemeo
October 9, 2024 14:51 10m 57s 512-cannot-register-and-deregister-stake-credential
512-cannot-register-and-deregister-stake-credential
October 9, 2024 14:51 10m 57s
Removed deposit updating from Haskell version of UTXO Formal Ledger Specs #2342: Pull request #589 synchronize by Soupstraw
October 9, 2024 14:35 33m 33s jj/utxo-proposals
jj/utxo-proposals
October 9, 2024 14:35 33m 33s
Removed deposit updating from Haskell version of UTXO Formal Ledger Specs #2341: Pull request #589 synchronize by Soupstraw
October 9, 2024 14:00 33m 10s jj/utxo-proposals
jj/utxo-proposals
October 9, 2024 14:00 33m 10s
Factor out the set theory into a separate library Formal Ledger Specs #2340: Pull request #592 opened by WhatisRT
October 9, 2024 12:22 31m 10s andre/factor-out-set-theory
andre/factor-out-set-theory
October 9, 2024 12:22 31m 10s
Removed deposit updating from Haskell version of UTXO Formal Ledger Specs #2339: Pull request #589 synchronize by Soupstraw
October 9, 2024 10:54 38m 20s jj/utxo-proposals
jj/utxo-proposals
October 9, 2024 10:54 38m 20s
Fix deposits update in UTXO Formal Ledger Specs #2338: Pull request #591 opened by Soupstraw
October 9, 2024 09:52 31m 51s jj/deposits-fix
jj/deposits-fix
October 9, 2024 09:52 31m 51s
Cannot register and deregister same stake credential Formal Ledger Specs #2337: Pull request #547 synchronize by williamdemeo
October 9, 2024 05:07 9m 8s 512-cannot-register-and-deregister-stake-credential
512-cannot-register-and-deregister-stake-credential
October 9, 2024 05:07 9m 8s
LEDGER pov Formal Ledger Specs #2336: Pull request #581 synchronize by williamdemeo
October 7, 2024 20:20 29m 10s 467-preservation-of-value-for-ledger
467-preservation-of-value-for-ledger
October 7, 2024 20:20 29m 10s
LEDGER pov Formal Ledger Specs #2335: Pull request #581 synchronize by williamdemeo
October 7, 2024 20:08 28m 9s 467-preservation-of-value-for-ledger
467-preservation-of-value-for-ledger
October 7, 2024 20:08 28m 9s
Prevent policy from being supplied with wrong actions Formal Ledger Specs #2334: Pull request #550 synchronize by WhatisRT
October 7, 2024 12:00 13m 51s 538-prevent-policy-from-being-supplied-with-the-wrong-actions
538-prevent-policy-from-being-supplied-with-the-wrong-actions
October 7, 2024 12:00 13m 51s
Removed deposit updating from Haskell version of UTXO Formal Ledger Specs #2333: Pull request #589 synchronize by Soupstraw
October 7, 2024 11:18 31m 30s jj/utxo-proposals
jj/utxo-proposals
October 7, 2024 11:18 31m 30s
Fix broken tests Formal Ledger Specs #2332: Commit 937db4a pushed by Soupstraw
October 7, 2024 10:03 13m 58s master
master
October 7, 2024 10:03 13m 58s
Removed deposit updating from Haskell version of UTXO Formal Ledger Specs #2331: Pull request #589 opened by Soupstraw
October 7, 2024 09:37 33m 27s jj/utxo-proposals
jj/utxo-proposals
October 7, 2024 09:37 33m 27s
LEDGER pov Formal Ledger Specs #2330: Pull request #581 synchronize by williamdemeo
October 6, 2024 19:27 30m 43s 467-preservation-of-value-for-ledger
467-preservation-of-value-for-ledger
October 6, 2024 19:27 30m 43s
Prevent policy from being supplied with wrong actions Formal Ledger Specs #2329: Pull request #550 synchronize by williamdemeo
October 6, 2024 18:38 31m 50s 538-prevent-policy-from-being-supplied-with-the-wrong-actions
538-prevent-policy-from-being-supplied-with-the-wrong-actions
October 6, 2024 18:38 31m 50s