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

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
pages build and deployment pages-build-deployment #273: by github-pages bot
November 12, 2024 16:16 49s
November 12, 2024 16:16 49s
stake field of BaseAddr should be optional Formal Ledger Specs - PR Merged #60: Pull request #607 closed by Soupstraw
November 12, 2024 16:07 37s 606-stake-field-of-bassaddr-should-be-optional
606-stake-field-of-bassaddr-should-be-optional
November 12, 2024 16:07 37s
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
pages build and deployment pages-build-deployment #272: by github-pages bot
November 12, 2024 15:29 51s
November 12, 2024 15:29 51s
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
Exported ledgersStep Formal Ledger Specs - PR Merged #59: Pull request #608 closed by Soupstraw
November 12, 2024 15:19 47s jj/ledgers-conformance
jj/ledgers-conformance
November 12, 2024 15:19 47s
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
stake field of BaseAddr should be optional Formal Ledger Specs #2453: Pull request #607 synchronize by Soupstraw
November 12, 2024 11:30 20m 31s 606-stake-field-of-bassaddr-should-be-optional
606-stake-field-of-bassaddr-should-be-optional
November 12, 2024 11:30 20m 31s
Exported ledgersStep Formal Ledger Specs #2452: Pull request #608 opened by Soupstraw
November 11, 2024 15:35 21m 29s jj/ledgers-conformance
jj/ledgers-conformance
November 11, 2024 15:35 21m 29s
stake field of BaseAddr should be optional Formal Ledger Specs #2451: Pull request #607 synchronize by williamdemeo
November 8, 2024 16:32 41m 40s 606-stake-field-of-bassaddr-should-be-optional
606-stake-field-of-bassaddr-should-be-optional
November 8, 2024 16:32 41m 40s
stake field of BaseAddr should be optional Formal Ledger Specs #2450: Pull request #607 synchronize by williamdemeo
November 8, 2024 16:24 26m 0s 606-stake-field-of-bassaddr-should-be-optional
606-stake-field-of-bassaddr-should-be-optional
November 8, 2024 16:24 26m 0s
pages build and deployment pages-build-deployment #271: by github-pages bot
November 8, 2024 12:55 51s
November 8, 2024 12:55 51s
Changed ADHash to natural Formal Ledger Specs #2449: Commit 41fd3e8 pushed by Soupstraw
November 8, 2024 12:46 8m 29s master
master
November 8, 2024 12:46 8m 29s
Updated ADHash, fixed DELEGS Formal Ledger Specs - PR Merged #58: Pull request #605 closed by Soupstraw
November 8, 2024 12:46 37s jj/conformance-adhash
jj/conformance-adhash
November 8, 2024 12:46 37s
Updated ADHash, fixed DELEGS Formal Ledger Specs #2448: Pull request #605 synchronize by Soupstraw
November 8, 2024 11:15 21m 0s jj/conformance-adhash
jj/conformance-adhash
November 8, 2024 11:15 21m 0s
Updated ADHash, fixed DELEGS Formal Ledger Specs #2447: Pull request #605 synchronize by Soupstraw
November 8, 2024 11:06 19m 34s jj/conformance-adhash
jj/conformance-adhash
November 8, 2024 11:06 19m 34s
Updated ADHash, fixed DELEGS Formal Ledger Specs #2446: Pull request #605 synchronize by Soupstraw
November 8, 2024 10:55 20m 9s jj/conformance-adhash
jj/conformance-adhash
November 8, 2024 10:55 20m 9s
Updated ADHash, fixed DELEGS Formal Ledger Specs #2445: Pull request #605 synchronize by Soupstraw
November 8, 2024 10:44 19m 45s jj/conformance-adhash
jj/conformance-adhash
November 8, 2024 10:44 19m 45s
Updated ADHash, fixed DELEGS Formal Ledger Specs #2444: Pull request #605 synchronize by Soupstraw
November 7, 2024 16:48 19m 40s jj/conformance-adhash
jj/conformance-adhash
November 7, 2024 16:48 19m 40s
Updated ADHash, fixed DELEGS Formal Ledger Specs #2443: Pull request #605 synchronize by Soupstraw
November 7, 2024 13:31 19m 31s jj/conformance-adhash
jj/conformance-adhash
November 7, 2024 13:31 19m 31s
Updated ADHash, fixed DELEGS Formal Ledger Specs #2442: Pull request #605 synchronize by Soupstraw
November 6, 2024 14:45 27m 25s jj/conformance-adhash
jj/conformance-adhash
November 6, 2024 14:45 27m 25s