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

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
pages build and deployment pages-build-deployment #270: by github-pages bot
November 5, 2024 15:07 51s
November 5, 2024 15:07 51s
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 - PR Merged #57: Pull request #597 closed by WhatisRT
November 5, 2024 14:56 40s 511-only-allow-delegation-to-existing-dreps
511-only-allow-delegation-to-existing-dreps
November 5, 2024 14:56 40s
pages build and deployment pages-build-deployment #269: by github-pages bot
November 5, 2024 14:42 47s
November 5, 2024 14:42 47s
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 - PR Merged #56: Pull request #603 closed by WhatisRT
November 5, 2024 14:33 43s javierdiaz72/check-votes
javierdiaz72/check-votes
November 5, 2024 14:33 43s
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
pages build and deployment pages-build-deployment #268: by github-pages bot
November 5, 2024 11:23 45s
November 5, 2024 11:23 45s
pages build and deployment pages-build-deployment #267: by github-pages bot
November 5, 2024 11:21 45s
November 5, 2024 11:21 45s
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
Added ExternalFunctions argument to utxow-step Formal Ledger Specs #2428: Commit f89df62 pushed by Soupstraw
November 5, 2024 10:55 25m 32s master
master
November 5, 2024 10:55 25m 32s
Add a way to pull in functions from the Haskell implementation Formal Ledger Specs - PR Merged #55: Pull request #601 closed by Soupstraw
November 5, 2024 10:55 5m 13s jj/signatures
jj/signatures
November 5, 2024 10:55 5m 13s
Add a way to pull in functions from the Haskell implementation Formal Ledger Specs #2427: Pull request #601 synchronize by Soupstraw
November 5, 2024 10:54 26m 0s jj/signatures
jj/signatures
November 5, 2024 10:54 26m 0s
Add a way to pull in functions from the Haskell implementation Formal Ledger Specs #2426: Pull request #601 synchronize by Soupstraw
November 5, 2024 10:52 27m 45s jj/signatures
jj/signatures
November 5, 2024 10:52 27m 45s
CERTS should do the base case first Formal Ledger Specs #2425: Pull request #604 opened by williamdemeo
November 4, 2024 23:29 7m 36s 545-certs-base-case-first
545-certs-base-case-first
November 4, 2024 23:29 7m 36s
Only allow delegations to existing DReps Formal Ledger Specs #2424: Pull request #597 synchronize by williamdemeo
November 4, 2024 20:39 15m 12s 511-only-allow-delegation-to-existing-dreps
511-only-allow-delegation-to-existing-dreps
November 4, 2024 20:39 15m 12s