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,957 workflow runs
1,957 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Prepare for conformance equivalence Formal Ledger Specs #2478: Pull request #614 opened by UlfNorell
November 19, 2024 14:01 50m 27s prepare-for-conformance-equivalence
prepare-for-conformance-equivalence
November 19, 2024 14:01 50m 27s
Check if *-MAlonzo branch exists on each run (#609) Formal Ledger Specs #2477: Commit bccb83b pushed by Lucsanszky
November 19, 2024 12:08 12m 27s master
master
November 19, 2024 12:08 12m 27s
Check if *-MAlonzo branch exists on each run Formal Ledger Specs #2476: Pull request #609 synchronize by Lucsanszky
November 19, 2024 09:31 9m 16s ldan/ga-improvement
ldan/ga-improvement
November 19, 2024 09:31 9m 16s
Added utxowDebug Formal Ledger Specs #2475: Pull request #613 opened by Soupstraw
November 18, 2024 15:43 21m 37s jj/utxow-debug
jj/utxow-debug
November 18, 2024 15:43 21m 37s
Replaced handwritten error messages with genErrors (#611) Formal Ledger Specs #2474: Commit f93035b pushed by WhatisRT
November 18, 2024 13:36 37m 22s master
master
November 18, 2024 13:36 37m 22s
Add a proper EnterpriseAddr type Formal Ledger Specs #2473: Pull request #612 opened by WhatisRT
November 18, 2024 13:24 40m 32s andre/enterprise-addresses
andre/enterprise-addresses
November 18, 2024 13:24 40m 32s
Replaced handwritten error messages with genErrors in the UTXOW rule Formal Ledger Specs #2472: Pull request #611 opened by Soupstraw
November 18, 2024 12:39 21m 9s jj/gen-error-utxow
jj/gen-error-utxow
November 18, 2024 12:39 21m 9s
Fixed deposit change calculation in conformance (#610) Formal Ledger Specs #2471: Commit 0158b1c pushed by WhatisRT
November 15, 2024 14:35 8m 24s master
master
November 15, 2024 14:35 8m 24s
Fixed deposit change calculation in conformance Formal Ledger Specs #2470: Pull request #610 opened by Soupstraw
November 15, 2024 13:58 21m 20s jj/utxo-debug
jj/utxo-debug
November 15, 2024 13:58 21m 20s
Check if *-MAlonzo branch exists on each run Formal Ledger Specs #2469: Pull request #609 synchronize by Lucsanszky
November 15, 2024 08:24 8m 2s ldan/ga-improvement
ldan/ga-improvement
November 15, 2024 08:24 8m 2s
Check if *-MAlonzo branch exists on each run Formal Ledger Specs #2468: Commit c6b592c pushed by Lucsanszky
November 15, 2024 08:23 Failure ldan/ga-improvement
ldan/ga-improvement
November 15, 2024 08:23 Failure
Check if *-MAlonzo branch exists on each run Formal Ledger Specs #2467: Commit 94a64d0 pushed by Lucsanszky
November 15, 2024 08:20 Failure ldan/ga-improvement
ldan/ga-improvement
November 15, 2024 08:20 Failure
Check if *-MAlonzo branch exists on each run Formal Ledger Specs #2466: Pull request #609 synchronize by Lucsanszky
November 15, 2024 08:11 8m 48s ldan/ga-improvement
ldan/ga-improvement
November 15, 2024 08:11 8m 48s
Check if *-MAlonzo branch exists on each run Formal Ledger Specs #2465: Commit fd132c7 pushed by Lucsanszky
November 15, 2024 08:06 Failure ldan/ga-improvement
ldan/ga-improvement
November 15, 2024 08:06 Failure
Check if *-MAlonzo branch exists on each run Formal Ledger Specs #2464: Pull request #609 synchronize by Lucsanszky
November 15, 2024 07:45 10m 2s ldan/ga-improvement
ldan/ga-improvement
November 15, 2024 07:45 10m 2s
Check if *-MAlonzo branch exists on each run Formal Ledger Specs #2463: Pull request #609 synchronize by Lucsanszky
November 15, 2024 07:42 7m 55s ldan/ga-improvement
ldan/ga-improvement
November 15, 2024 07:42 7m 55s
Check if *-MAlonzo branch exists on each run Formal Ledger Specs #2462: Pull request #609 opened by Lucsanszky
November 15, 2024 07:40 8m 44s ldan/ga-improvement
ldan/ga-improvement
November 15, 2024 07:40 8m 44s
CERTS should do the base case first Formal Ledger Specs #2461: Pull request #604 synchronize by williamdemeo
November 13, 2024 17:33 22m 15s 545-certs-base-case-first
545-certs-base-case-first
November 13, 2024 17:33 22m 15s
CERTS should do the base case first Formal Ledger Specs #2460: Pull request #604 synchronize by williamdemeo
November 13, 2024 17:15 18m 28s 545-certs-base-case-first
545-certs-base-case-first
November 13, 2024 17:15 18m 28s
CERTS should do the base case first Formal Ledger Specs #2459: Pull request #604 synchronize by williamdemeo
November 13, 2024 16:22 22m 21s 545-certs-base-case-first
545-certs-base-case-first
November 13, 2024 16:22 22m 21s
Fixed tests Formal Ledger Specs #2458: Commit aead33b pushed by Soupstraw
November 12, 2024 16:07 9m 20s master
master
November 12, 2024 16:07 9m 20s
stake field of BaseAddr should be optional Formal Ledger Specs #2457: Pull request #607 synchronize by Soupstraw
November 12, 2024 16:06 8m 33s 606-stake-field-of-bassaddr-should-be-optional
606-stake-field-of-bassaddr-should-be-optional
November 12, 2024 16:06 8m 33s
Exported ledgersStep Formal Ledger Specs #2456: Commit bb05c86 pushed by Soupstraw
November 12, 2024 15:19 9m 29s master
master
November 12, 2024 15:19 9m 29s
stake field of BaseAddr should be optional Formal Ledger Specs #2455: Pull request #607 synchronize by Soupstraw
November 12, 2024 12:07 25m 11s 606-stake-field-of-bassaddr-should-be-optional
606-stake-field-of-bassaddr-should-be-optional
November 12, 2024 12:07 25m 11s
stake field of BaseAddr should be optional Formal Ledger Specs #2454: Pull request #607 synchronize by Soupstraw
November 12, 2024 11:46 8m 25s 606-stake-field-of-bassaddr-should-be-optional
606-stake-field-of-bassaddr-should-be-optional
November 12, 2024 11:46 8m 25s