Skip to content

Actions: IntersectMBO/formal-ledger-specifications

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
1,799 workflow runs
1,799 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Markdown migration: fix mkdocs site problems CI #395: Pull request #836 synchronize by williamdemeo
31m 34s 834-markdown-migration-mkdocs-site-problems
834-markdown-migration-mkdocs-site-problems
31m 34s
Markdown migration: fix mkdocs site problems CI #394: Pull request #836 synchronize by williamdemeo
32m 19s 834-markdown-migration-mkdocs-site-problems
834-markdown-migration-mkdocs-site-problems
32m 19s
Markdown migration: fix mkdocs site problems CI #393: Pull request #836 synchronize by williamdemeo
24m 46s 834-markdown-migration-mkdocs-site-problems
834-markdown-migration-mkdocs-site-problems
24m 46s
Complete implementation of stakeDistr (#802) CI #392: Commit bb2feae pushed by williamdemeo
31m 10s master
master
31m 10s
Implement the POOLREAP STS. CI #391: Pull request #832 synchronize by facundominguez
5m 36s fd/poolreap
fd/poolreap
5m 36s
Implement the POOLREAP STS. CI #390: Pull request #832 synchronize by facundominguez
5m 29s fd/poolreap
fd/poolreap
5m 29s
Complete implementation of stakeDistr CI #389: Pull request #802 synchronize by carlostome
25m 41s HeinrichApfelmus/complete-stakeDistr
HeinrichApfelmus/complete-stakeDistr
25m 41s
Complete implementation of stakeDistr CI #388: Pull request #802 synchronize by carlostome
5m 19s HeinrichApfelmus/complete-stakeDistr
HeinrichApfelmus/complete-stakeDistr
5m 19s
CI CI #387: Manually run by carlostome
38m 29s carlos/complete-stakeDistr
carlos/complete-stakeDistr
38m 29s
Implement the POOLREAP STS. CI #386: Pull request #832 synchronize by facundominguez
5m 34s fd/poolreap
fd/poolreap
5m 34s
Complete implementation of stakeDistr CI #385: Pull request #802 synchronize by williamdemeo
1h 31m 37s HeinrichApfelmus/complete-stakeDistr
HeinrichApfelmus/complete-stakeDistr
1h 31m 37s
More readable color scheme in dark mode (#844) CI #384: Commit 6f730a7 pushed by williamdemeo
34m 45s master
master
34m 45s
More readable color scheme in dark mode CI #383: Pull request #844 synchronize by williamdemeo
14m 43s 826-more-readable-color-scheme-in-dark-mode
826-more-readable-color-scheme-in-dark-mode
14m 43s
Markdown migration: fix mkdocs site problems CI #382: Pull request #836 synchronize by williamdemeo
6m 2s 834-markdown-migration-mkdocs-site-problems
834-markdown-migration-mkdocs-site-problems
6m 2s
Markdown migration: fix mkdocs site problems CI #381: Pull request #836 synchronize by williamdemeo
2m 32s 834-markdown-migration-mkdocs-site-problems
834-markdown-migration-mkdocs-site-problems
2m 32s
Markdown migration: fix mkdocs site problems CI #380: Pull request #836 synchronize by williamdemeo
24m 38s 834-markdown-migration-mkdocs-site-problems
834-markdown-migration-mkdocs-site-problems
24m 38s
Markdown migration: fix mkdocs site problems CI #379: Pull request #836 synchronize by williamdemeo
5m 55s 834-markdown-migration-mkdocs-site-problems
834-markdown-migration-mkdocs-site-problems
5m 55s
Markdown migration: fix mkdocs site problems CI #378: Pull request #836 synchronize by williamdemeo
26m 59s 834-markdown-migration-mkdocs-site-problems
834-markdown-migration-mkdocs-site-problems
26m 59s
Add agda-mode to fls-agda.nix (#843) CI #377: Commit f5649a5 pushed by williamdemeo
24m 24s master
master
24m 24s
More readable color scheme in dark mode CI #376: Pull request #844 synchronize by williamdemeo
13m 14s 826-more-readable-color-scheme-in-dark-mode
826-more-readable-color-scheme-in-dark-mode
13m 14s
More readable color scheme in dark mode CI #375: Pull request #844 synchronize by williamdemeo
14m 54s 826-more-readable-color-scheme-in-dark-mode
826-more-readable-color-scheme-in-dark-mode
14m 54s
More readable color scheme in dark mode CI #374: Pull request #844 synchronize by williamdemeo
16m 27s 826-more-readable-color-scheme-in-dark-mode
826-more-readable-color-scheme-in-dark-mode
16m 27s
More readable color scheme in dark mode CI #373: Pull request #844 synchronize by williamdemeo
13m 31s 826-more-readable-color-scheme-in-dark-mode
826-more-readable-color-scheme-in-dark-mode
13m 31s
More readable color scheme in dark mode CI #372: Pull request #844 synchronize by williamdemeo
13m 58s 826-more-readable-color-scheme-in-dark-mode
826-more-readable-color-scheme-in-dark-mode
13m 58s
ProTip! You can narrow down the results and go further in time using created:<2025-07-26 or the other filters available.