Skip to content

Actions: IntersectMBO/formal-ledger-specifications

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,212 workflow runs
2,212 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
SPO votes conformance Formal Ledger Specs - PR Merged #50: Pull request #596 closed by Lucsanszky
October 21, 2024 15:34 20s ldan/spo-votes-conformance
ldan/spo-votes-conformance
October 21, 2024 15:34 20s
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
SPO votes conformance Formal Ledger Specs #2378: Pull request #596 synchronize by Lucsanszky
October 19, 2024 01:24 19m 53s ldan/spo-votes-conformance
ldan/spo-votes-conformance
October 19, 2024 01:24 19m 53s
SPO votes conformance Formal Ledger Specs #2377: Pull request #596 opened by Lucsanszky
October 19, 2024 00:00 21m 19s ldan/spo-votes-conformance
ldan/spo-votes-conformance
October 19, 2024 00:00 21m 19s
Change the way SPO votes are counted Formal Ledger Specs #2376: Pull request #594 synchronize by williamdemeo
October 18, 2024 04:21 30m 10s 578-change-to-spo-vote-counting
578-change-to-spo-vote-counting
October 18, 2024 04:21 30m 10s
pages build and deployment pages-build-deployment #262: by github-pages bot
October 18, 2024 02:38 54s
October 18, 2024 02:38 54s
Cannot register and deregister same stake credential Formal Ledger Specs - PR Merged #49: Pull request #547 closed by williamdemeo
October 18, 2024 02:22 2m 4s 512-cannot-register-and-deregister-stake-credential
512-cannot-register-and-deregister-stake-credential
October 18, 2024 02:22 2m 4s
Cannot register and deregister same stake credential (#547) Formal Ledger Specs #2375: Commit eed1ca0 pushed by williamdemeo
October 18, 2024 02:22 16m 0s master
master
October 18, 2024 02:22 16m 0s
Change the way SPO votes are counted Formal Ledger Specs #2374: Pull request #594 synchronize by williamdemeo
October 18, 2024 01:47 48m 24s 578-change-to-spo-vote-counting
578-change-to-spo-vote-counting
October 18, 2024 01:47 48m 24s
Cannot register and deregister same stake credential Formal Ledger Specs #2373: Pull request #547 synchronize by williamdemeo
October 18, 2024 00:11 30m 51s 512-cannot-register-and-deregister-stake-credential
512-cannot-register-and-deregister-stake-credential
October 18, 2024 00:11 30m 51s
Change the way SPO votes are counted Formal Ledger Specs #2372: Pull request #594 synchronize by williamdemeo
October 16, 2024 20:34 25m 25s 578-change-to-spo-vote-counting
578-change-to-spo-vote-counting
October 16, 2024 20:34 25m 25s
Cannot register and deregister same stake credential Formal Ledger Specs #2371: Pull request #547 synchronize by williamdemeo
October 16, 2024 02:25 31m 29s 512-cannot-register-and-deregister-stake-credential
512-cannot-register-and-deregister-stake-credential
October 16, 2024 02:25 31m 29s
Cannot register and deregister same stake credential Formal Ledger Specs #2370: Pull request #547 synchronize by williamdemeo
October 15, 2024 19:22 30m 35s 512-cannot-register-and-deregister-stake-credential
512-cannot-register-and-deregister-stake-credential
October 15, 2024 19:22 30m 35s
Cannot register and deregister same stake credential Formal Ledger Specs #2369: Pull request #547 synchronize by williamdemeo
October 15, 2024 19:21 9m 20s 512-cannot-register-and-deregister-stake-credential
512-cannot-register-and-deregister-stake-credential
October 15, 2024 19:21 9m 20s
pages build and deployment pages-build-deployment #261: by github-pages bot
October 15, 2024 18:53 1m 1s
October 15, 2024 18:53 1m 1s
Prevent policy from being supplied with wrong actions Formal Ledger Specs - PR Merged #48: Pull request #550 closed by williamdemeo
October 15, 2024 18:18 50s 538-prevent-policy-from-being-supplied-with-the-wrong-actions
538-prevent-policy-from-being-supplied-with-the-wrong-actions
October 15, 2024 18:18 50s
Prevent policy from being supplied with wrong actions (#550) Formal Ledger Specs #2368: Commit 155d880 pushed by williamdemeo
October 15, 2024 18:18 35m 23s master
master
October 15, 2024 18:18 35m 23s
pages build and deployment pages-build-deployment #260: by github-pages bot
October 15, 2024 16:39 1m 1s
October 15, 2024 16:39 1m 1s