Skip to content

Actions: IntersectMBO/formal-ledger-specifications

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,212 workflow runs
2,212 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Factor out the set theory into a separate library Formal Ledger Specs - PR Merged #47: Pull request #592 closed by WhatisRT
October 15, 2024 16:26 28s andre/factor-out-set-theory
andre/factor-out-set-theory
October 15, 2024 16:26 28s
Update Agda versions in CONTRIBUTING.md Formal Ledger Specs #2367: Commit eb90fef pushed by WhatisRT
October 15, 2024 16:26 13m 24s master
master
October 15, 2024 16:26 13m 24s
Factor out the set theory into a separate library Formal Ledger Specs #2366: Pull request #592 synchronize by WhatisRT
October 15, 2024 16:16 33m 20s andre/factor-out-set-theory
andre/factor-out-set-theory
October 15, 2024 16:16 33m 20s
Factor out the set theory into a separate library Formal Ledger Specs #2365: Pull request #592 synchronize by WhatisRT
October 15, 2024 15:42 33m 50s andre/factor-out-set-theory
andre/factor-out-set-theory
October 15, 2024 15:42 33m 50s
Prevent policy from being supplied with wrong actions Formal Ledger Specs #2364: Pull request #550 synchronize by williamdemeo
October 14, 2024 21:00 32m 32s 538-prevent-policy-from-being-supplied-with-the-wrong-actions
538-prevent-policy-from-being-supplied-with-the-wrong-actions
October 14, 2024 21:00 32m 32s
Change the way SPO votes are counted Formal Ledger Specs #2363: Pull request #594 synchronize by williamdemeo
October 11, 2024 22:03 24m 32s 578-change-to-spo-vote-counting
578-change-to-spo-vote-counting
October 11, 2024 22:03 24m 32s
Change the way SPO votes are counted Formal Ledger Specs #2362: Pull request #594 opened by williamdemeo
October 11, 2024 21:59 31m 10s 578-change-to-spo-vote-counting
578-change-to-spo-vote-counting
October 11, 2024 21:59 31m 10s
Cannot register and deregister same stake credential Formal Ledger Specs #2361: Pull request #547 synchronize by UlfNorell
October 11, 2024 11:48 34m 2s 512-cannot-register-and-deregister-stake-credential
512-cannot-register-and-deregister-stake-credential
October 11, 2024 11:48 34m 2s
Cannot register and deregister same stake credential Formal Ledger Specs #2360: Pull request #547 synchronize by williamdemeo
October 11, 2024 11:03 31m 11s 512-cannot-register-and-deregister-stake-credential
512-cannot-register-and-deregister-stake-credential
October 11, 2024 11:03 31m 11s
pages build and deployment pages-build-deployment #259: by github-pages bot
October 11, 2024 10:21 53s
October 11, 2024 10:21 53s
LEDGER pov Formal Ledger Specs - PR Merged #46: Pull request #581 closed by WhatisRT
October 11, 2024 10:07 32s 467-preservation-of-value-for-ledger
467-preservation-of-value-for-ledger
October 11, 2024 10:07 32s
LEDGER pov (#581) Formal Ledger Specs #2359: Commit 670a35a pushed by WhatisRT
October 11, 2024 10:07 14m 28s master
master
October 11, 2024 10:07 14m 28s
LEDGER pov Formal Ledger Specs #2358: Pull request #581 synchronize by williamdemeo
October 10, 2024 23:59 30m 51s 467-preservation-of-value-for-ledger
467-preservation-of-value-for-ledger
October 10, 2024 23:59 30m 51s
LEDGER pov Formal Ledger Specs #2357: Pull request #581 synchronize by williamdemeo
October 10, 2024 23:57 33m 37s 467-preservation-of-value-for-ledger
467-preservation-of-value-for-ledger
October 10, 2024 23:57 33m 37s
LEDGER pov Formal Ledger Specs #2356: Pull request #581 synchronize by williamdemeo
October 10, 2024 23:55 31m 3s 467-preservation-of-value-for-ledger
467-preservation-of-value-for-ledger
October 10, 2024 23:55 31m 3s
Cannot register and deregister same stake credential Formal Ledger Specs #2355: Pull request #547 synchronize by williamdemeo
October 10, 2024 22:35 30m 46s 512-cannot-register-and-deregister-stake-credential
512-cannot-register-and-deregister-stake-credential
October 10, 2024 22:35 30m 46s
Cannot register and deregister same stake credential Formal Ledger Specs #2354: Pull request #547 synchronize by williamdemeo
October 10, 2024 22:31 31m 15s 512-cannot-register-and-deregister-stake-credential
512-cannot-register-and-deregister-stake-credential
October 10, 2024 22:31 31m 15s
pages build and deployment pages-build-deployment #258: by github-pages bot
October 10, 2024 14:36 1m 9s
October 10, 2024 14:36 1m 9s
Removed deposit updating from Haskell version of UTXO Formal Ledger Specs - PR Merged #45: Pull request #589 closed by Soupstraw
October 10, 2024 13:33 31m 52s jj/utxo-proposals
jj/utxo-proposals
October 10, 2024 13:33 31m 52s
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