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

Only allow delegations to existing DReps Formal Ledger Specs #2403: Pull request #597 synchronize by williamdemeo
October 30, 2024 15:01 38m 11s 511-only-allow-delegation-to-existing-dreps
511-only-allow-delegation-to-existing-dreps
October 30, 2024 15:01 38m 11s
Only allow delegations to existing DReps Formal Ledger Specs #2402: Pull request #597 synchronize by williamdemeo
October 30, 2024 14:54 43m 59s 511-only-allow-delegation-to-existing-dreps
511-only-allow-delegation-to-existing-dreps
October 30, 2024 14:54 43m 59s
Only allow delegations to existing DReps Formal Ledger Specs #2401: Pull request #597 synchronize by williamdemeo
October 30, 2024 14:46 44m 37s 511-only-allow-delegation-to-existing-dreps
511-only-allow-delegation-to-existing-dreps
October 30, 2024 14:46 44m 37s
Only allow delegations to existing DReps Formal Ledger Specs #2400: Pull request #597 synchronize by williamdemeo
October 29, 2024 16:00 21m 34s 511-only-allow-delegation-to-existing-dreps
511-only-allow-delegation-to-existing-dreps
October 29, 2024 16:00 21m 34s
Only allow delegations to existing DReps Formal Ledger Specs #2399: Pull request #597 synchronize by williamdemeo
October 29, 2024 15:34 21m 43s 511-only-allow-delegation-to-existing-dreps
511-only-allow-delegation-to-existing-dreps
October 29, 2024 15:34 21m 43s
Change the way SPO votes are counted (Fix) (#600) Formal Ledger Specs #2398: Commit 7cc5c06 pushed by williamdemeo
October 29, 2024 15:30 20m 24s master
master
October 29, 2024 15:30 20m 24s
Change the way SPO votes are counted (Fix) Formal Ledger Specs #2397: Pull request #600 synchronize by williamdemeo
October 29, 2024 15:28 22m 53s 578-change-the-way-spo-votes-are-counted-FIX
578-change-the-way-spo-votes-are-counted-FIX
October 29, 2024 15:28 22m 53s
Change the way SPO votes are counted (Fix) Formal Ledger Specs #2396: Pull request #600 synchronize by williamdemeo
October 28, 2024 20:13 20m 28s 578-change-the-way-spo-votes-are-counted-FIX
578-change-the-way-spo-votes-are-counted-FIX
October 28, 2024 20:13 20m 28s
Change the way SPO votes are counted (Fix) Formal Ledger Specs #2395: Pull request #600 synchronize by williamdemeo
October 28, 2024 18:18 25m 37s 578-change-the-way-spo-votes-are-counted-FIX
578-change-the-way-spo-votes-are-counted-FIX
October 28, 2024 18:18 25m 37s
Change the way SPO votes are counted (Fix) Formal Ledger Specs #2394: Pull request #600 synchronize by williamdemeo
October 28, 2024 18:13 26m 15s 578-change-the-way-spo-votes-are-counted-FIX
578-change-the-way-spo-votes-are-counted-FIX
October 28, 2024 18:13 26m 15s
Change the way SPO votes are counted (Fix) Formal Ledger Specs #2393: Pull request #600 synchronize by williamdemeo
October 25, 2024 21:51 21m 24s 578-change-the-way-spo-votes-are-counted-FIX
578-change-the-way-spo-votes-are-counted-FIX
October 25, 2024 21:51 21m 24s
Change the way SPO votes are counted (Fix) Formal Ledger Specs #2392: Pull request #600 opened by williamdemeo
October 25, 2024 21:13 19m 5s 578-change-the-way-spo-votes-are-counted-FIX
578-change-the-way-spo-votes-are-counted-FIX
October 25, 2024 21:13 19m 5s
Remove Conformance versions of Fees and Abstract Formal Ledger Specs #2391: Commit a434476 pushed by WhatisRT
October 25, 2024 15:00 9m 51s master
master
October 25, 2024 15:00 9m 51s
Revert "Change the way SPO votes are counted (#594)" Formal Ledger Specs #2390: Commit e6e9aa4 pushed by WhatisRT
October 25, 2024 12:39 14m 21s master
master
October 25, 2024 12:39 14m 21s
Revert "Change the way SPO votes are counted" Formal Ledger Specs #2389: Pull request #599 opened by WhatisRT
October 25, 2024 12:35 13m 45s revert-594-578-change-to-spo-vote-counting
revert-594-578-change-to-spo-vote-counting
October 25, 2024 12:35 13m 45s
Change the way SPO votes are counted (#594) Formal Ledger Specs #2388: Commit 243cb32 pushed by williamdemeo
October 24, 2024 17:28 14m 59s master
master
October 24, 2024 17:28 14m 59s
Rearranging some of the duplicated code (#582) Formal Ledger Specs #2387: Pull request #598 synchronize by UlfNorell
October 24, 2024 12:10 21m 3s issue582
issue582
October 24, 2024 12:10 21m 3s
Only allow delegations to existing DReps Formal Ledger Specs #2386: Pull request #597 synchronize by williamdemeo
October 22, 2024 22:29 31m 31s 511-only-allow-delegation-to-existing-dreps
511-only-allow-delegation-to-existing-dreps
October 22, 2024 22:29 31m 31s
Only allow delegations to existing DReps Formal Ledger Specs #2385: Pull request #597 synchronize by williamdemeo
October 22, 2024 22:26 30m 53s 511-only-allow-delegation-to-existing-dreps
511-only-allow-delegation-to-existing-dreps
October 22, 2024 22:26 30m 53s
Only allow delegations to existing DReps Formal Ledger Specs #2384: Pull request #597 synchronize by williamdemeo
October 22, 2024 22:22 32m 24s 511-only-allow-delegation-to-existing-dreps
511-only-allow-delegation-to-existing-dreps
October 22, 2024 22:22 32m 24s
Rearranging some of the duplicated code (#582) Formal Ledger Specs #2383: Pull request #598 synchronize by UlfNorell
October 22, 2024 15:31 47m 31s issue582
issue582
October 22, 2024 15:31 47m 31s
Rearranging some of the duplicated code (#582) Formal Ledger Specs #2382: Pull request #598 opened by UlfNorell
October 22, 2024 15:00 22m 47s issue582
issue582
October 22, 2024 15:00 22m 47s
Only allow delegations to existing DReps Formal Ledger Specs #2381: Pull request #597 opened by williamdemeo
October 22, 2024 07:25 29m 2s 511-only-allow-delegation-to-existing-dreps
511-only-allow-delegation-to-existing-dreps
October 22, 2024 07:25 29m 2s
Change the way SPO votes are counted Formal Ledger Specs #2380: Pull request #594 synchronize by williamdemeo
October 21, 2024 15:20 15m 13s 578-change-to-spo-vote-counting
578-change-to-spo-vote-counting
October 21, 2024 15:20 15m 13s
SPO votes conformance Formal Ledger Specs #2379: Pull request #596 synchronize by Lucsanszky
October 19, 2024 03:47 30m 54s ldan/spo-votes-conformance
ldan/spo-votes-conformance
October 19, 2024 03:47 30m 54s