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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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 #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
Updated ADHash, fixed DELEGS Formal Ledger Specs #2441: Pull request #605 synchronize by Soupstraw
November 6, 2024 14:43 27m 37s jj/conformance-adhash
jj/conformance-adhash
November 6, 2024 14:43 27m 37s
Updated ADHash, fixed DELEGS Formal Ledger Specs #2440: Pull request #605 synchronize by Soupstraw
November 6, 2024 14:02 30m 37s jj/conformance-adhash
jj/conformance-adhash
November 6, 2024 14:02 30m 37s
Updated ADHash, fixed DELEGS Formal Ledger Specs #2439: Pull request #605 synchronize by Soupstraw
November 6, 2024 13:57 35m 39s jj/conformance-adhash
jj/conformance-adhash
November 6, 2024 13:57 35m 39s
Updated ADHash, fixed DELEGS Formal Ledger Specs #2438: Pull request #605 synchronize by Soupstraw
November 6, 2024 13:57 36m 39s jj/conformance-adhash
jj/conformance-adhash
November 6, 2024 13:57 36m 39s
CERTS should do the base case first Formal Ledger Specs #2437: Pull request #604 synchronize by williamdemeo
November 5, 2024 21:10 2m 39s 545-certs-base-case-first
545-certs-base-case-first
November 5, 2024 21:10 2m 39s
Only allow delegations to existing DReps (#597) Formal Ledger Specs #2436: Commit d61bd38 pushed by WhatisRT
November 5, 2024 14:56 10m 29s master
master
November 5, 2024 14:56 10m 29s
Only allow delegations to existing DReps Formal Ledger Specs #2435: Pull request #597 synchronize by WhatisRT
November 5, 2024 14:34 20m 29s 511-only-allow-delegation-to-existing-dreps
511-only-allow-delegation-to-existing-dreps
November 5, 2024 14:34 20m 29s
Votes in the state must be by registered entities (#603) Formal Ledger Specs #2434: Commit d0549c5 pushed by WhatisRT
November 5, 2024 14:33 8m 29s master
master
November 5, 2024 14:33 8m 29s
Votes in the state must be by registered entities Formal Ledger Specs #2433: Pull request #603 synchronize by WhatisRT
November 5, 2024 14:24 21m 33s javierdiaz72/check-votes
javierdiaz72/check-votes
November 5, 2024 14:24 21m 33s
Updated ADHash, fixed DELEGS Formal Ledger Specs #2432: Pull request #605 synchronize by Soupstraw
November 5, 2024 13:58 20m 46s jj/conformance-adhash
jj/conformance-adhash
November 5, 2024 13:58 20m 46s
Updated ADHash, fixed DELEGS Formal Ledger Specs #2431: Pull request #605 synchronize by Soupstraw
November 5, 2024 12:50 36m 46s jj/conformance-adhash
jj/conformance-adhash
November 5, 2024 12:50 36m 46s
Updated ADHash, fixed DELEGS Formal Ledger Specs #2430: Pull request #605 opened by Soupstraw
November 5, 2024 12:37 23m 15s jj/conformance-adhash
jj/conformance-adhash
November 5, 2024 12:37 23m 15s
Add a way to pull in functions from the Haskell implementation Formal Ledger Specs #2429: Pull request #601 synchronize by Soupstraw
November 5, 2024 10:57 26m 11s jj/signatures
jj/signatures
November 5, 2024 10:57 26m 11s