Skip to content

Actions: IntersectMBO/formal-ledger-specifications

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,267 workflow runs
2,267 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
pages build and deployment pages-build-deployment #276: by github-pages bot
November 19, 2024 12:21 52s
November 19, 2024 12:21 52s
Check if *-MAlonzo branch exists on each run Formal Ledger Specs - PR Merged #64: Pull request #609 closed by Lucsanszky
November 19, 2024 12:08 4m 15s ldan/ga-improvement
ldan/ga-improvement
November 19, 2024 12:08 4m 15s
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
Add a proper EnterpriseAddr type Formal Ledger Specs - PR Merged #63: Pull request #612 closed by lehins
November 18, 2024 17:09 23m 45s andre/enterprise-addresses
andre/enterprise-addresses
November 18, 2024 17:09 23m 45s
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
pages build and deployment pages-build-deployment #275: by github-pages bot
November 18, 2024 14:14 49s
November 18, 2024 14:14 49s
Replaced handwritten error messages with genErrors in the UTXOW rule Formal Ledger Specs - PR Merged #62: Pull request #611 closed by WhatisRT
November 18, 2024 13:36 28m 26s jj/gen-error-utxow
jj/gen-error-utxow
November 18, 2024 13:36 28m 26s
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
pages build and deployment pages-build-deployment #274: by github-pages bot
November 15, 2024 14:44 49s
November 15, 2024 14:44 49s
Fixed deposit change calculation in conformance Formal Ledger Specs - PR Merged #61: Pull request #610 closed by WhatisRT
November 15, 2024 14:35 37s jj/utxo-debug
jj/utxo-debug
November 15, 2024 14:35 37s
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