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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2497: Pull request #616 synchronize by Soupstraw
November 22, 2024 14:53 20m 24s jj/legacy-regcert
jj/legacy-regcert
November 22, 2024 14:53 20m 24s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2496: Pull request #616 synchronize by Soupstraw
November 22, 2024 14:47 19m 48s jj/legacy-regcert
jj/legacy-regcert
November 22, 2024 14:47 19m 48s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2495: Pull request #616 synchronize by Soupstraw
November 22, 2024 14:26 20m 25s jj/legacy-regcert
jj/legacy-regcert
November 22, 2024 14:26 20m 25s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2494: Pull request #616 synchronize by Soupstraw
November 22, 2024 13:48 20m 43s jj/legacy-regcert
jj/legacy-regcert
November 22, 2024 13:48 20m 43s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2493: Pull request #616 synchronize by Soupstraw
November 22, 2024 13:07 18m 9s jj/legacy-regcert
jj/legacy-regcert
November 22, 2024 13:07 18m 9s
Added utxowDebug Formal Ledger Specs #2492: Pull request #613 synchronize by Soupstraw
November 22, 2024 13:07 19m 11s jj/utxow-debug
jj/utxow-debug
November 22, 2024 13:07 19m 11s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2491: Pull request #616 synchronize by Soupstraw
November 22, 2024 12:45 20m 27s jj/legacy-regcert
jj/legacy-regcert
November 22, 2024 12:45 20m 27s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2490: Pull request #616 synchronize by Soupstraw
November 22, 2024 12:36 22m 4s jj/legacy-regcert
jj/legacy-regcert
November 22, 2024 12:36 22m 4s
CERTS should do the base case first (#604) Formal Ledger Specs #2489: Commit d406853 pushed by WhatisRT
November 22, 2024 12:35 8m 40s master
master
November 22, 2024 12:35 8m 40s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2488: Pull request #616 synchronize by Soupstraw
November 22, 2024 12:24 11m 53s jj/legacy-regcert
jj/legacy-regcert
November 22, 2024 12:24 11m 53s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2487: Pull request #616 synchronize by Soupstraw
November 22, 2024 11:20 9m 5s jj/legacy-regcert
jj/legacy-regcert
November 22, 2024 11:20 9m 5s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2486: Pull request #616 synchronize by Soupstraw
November 22, 2024 11:11 6m 17s jj/legacy-regcert
jj/legacy-regcert
November 22, 2024 11:11 6m 17s
CERTS should do the base case first Formal Ledger Specs #2485: Pull request #604 synchronize by williamdemeo
November 21, 2024 22:52 20m 50s 545-certs-base-case-first
545-certs-base-case-first
November 21, 2024 22:52 20m 50s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2484: Pull request #616 synchronize by Soupstraw
November 21, 2024 15:23 6m 17s jj/legacy-regcert
jj/legacy-regcert
November 21, 2024 15:23 6m 17s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2483: Pull request #616 synchronize by Soupstraw
November 21, 2024 15:22 6m 35s jj/legacy-regcert
jj/legacy-regcert
November 21, 2024 15:22 6m 35s
Added reg cert, fixed hashing of VKeys Formal Ledger Specs #2482: Pull request #616 opened by Soupstraw
November 21, 2024 15:15 6m 23s jj/legacy-regcert
jj/legacy-regcert
November 21, 2024 15:15 6m 23s
Prepare for conformance equivalence (#614) Formal Ledger Specs #2481: Commit 363b1f6 pushed by UlfNorell
November 21, 2024 12:50 8m 53s master
master
November 21, 2024 12:50 8m 53s
Prepare for conformance equivalence Formal Ledger Specs #2480: Pull request #614 synchronize by UlfNorell
November 20, 2024 12:33 23m 20s prepare-for-conformance-equivalence
prepare-for-conformance-equivalence
November 20, 2024 12:33 23m 20s
CERTS should do the base case first Formal Ledger Specs #2479: Pull request #604 synchronize by williamdemeo
November 20, 2024 02:50 21m 30s 545-certs-base-case-first
545-certs-base-case-first
November 20, 2024 02:50 21m 30s
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