Skip to content

Actions: IntersectMBO/formal-ledger-specifications

Actions

Formal Ledger Specs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
1,011 workflow runs
1,011 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

clean up PPUp.Properties module; add comment in PPUp module Formal Ledger Specs #3482: Commit 55ac44e pushed by williamdemeo
31m 54s william/34-type-classes-orders
william/34-type-classes-orders
31m 54s
Accounting for proposal deposits (#102) Formal Ledger Specs #3481: Commit d745efa pushed by williamdemeo
35m 25s 56-remaining-ma-featuresproofs
56-remaining-ma-featuresproofs
35m 25s
Change PP parameter refScriptCostStride to use positive naturals Formal Ledger Specs #3480: Pull request #796 synchronize by carlostome
22m 6s carlos/refScriptCostStride-pos
carlos/refScriptCostStride-pos
22m 6s
Change PP parameter refScriptCostStride to use positive naturals Formal Ledger Specs #3479: Pull request #796 synchronize by carlostome
23m 9s carlos/refScriptCostStride-pos
carlos/refScriptCostStride-pos
23m 9s
Change PP parameter refScriptCostStride to use positive naturals Formal Ledger Specs #3478: Pull request #796 synchronize by carlostome
10m 44s carlos/refScriptCostStride-pos
carlos/refScriptCostStride-pos
10m 44s
Change PP parameter refScriptCostStride to use positive naturals Formal Ledger Specs #3477: Pull request #796 opened by carlostome
11m 7s carlos/refScriptCostStride-pos
carlos/refScriptCostStride-pos
11m 7s
Generic tex-to-md migration Formal Ledger Specs #3476: Pull request #795 synchronize by williamdemeo
17m 4s generic-migration
generic-migration
17m 4s
Merge branch 'master' into master-markdown Formal Ledger Specs #3475: Commit 9dcfc2d pushed by williamdemeo
7m 20s master-markdown
master-markdown
7m 20s
Add invariants to RewardUpdate (#781) Formal Ledger Specs #3474: Commit 657e03c pushed by williamdemeo
37m 8s master
master
37m 8s
Add invariants to RewardUpdate Formal Ledger Specs #3473: Pull request #781 synchronize by williamdemeo
22m 17s HeinrichApfelmus/rewards-update-invariant
HeinrichApfelmus/rewards-update-invariant
22m 17s
Add invariants to RewardUpdate Formal Ledger Specs #3472: Pull request #781 synchronize by williamdemeo
22m 48s HeinrichApfelmus/rewards-update-invariant
HeinrichApfelmus/rewards-update-invariant
22m 48s
Add invariants to RewardUpdate Formal Ledger Specs #3471: Pull request #781 synchronize by HeinrichApfelmus
22m 39s HeinrichApfelmus/rewards-update-invariant
HeinrichApfelmus/rewards-update-invariant
22m 39s
Generic tex-to-md migration Formal Ledger Specs #3470: Pull request #795 opened by williamdemeo
19m 4s generic-migration
generic-migration
19m 4s
Add agda-fls backend to generate VV in html output Formal Ledger Specs #3469: Pull request #794 synchronize by carlostome
1h 1m 14s carlos-agda-fls-backend
carlos-agda-fls-backend
1h 1m 14s
Add agda-fls backend to generate VV in html output Formal Ledger Specs #3468: Pull request #794 synchronize by carlostome
14m 9s carlos-agda-fls-backend
carlos-agda-fls-backend
14m 9s
Add agda-fls backend to generate VV in html output Formal Ledger Specs #3467: Pull request #794 synchronize by carlostome
13m 50s carlos-agda-fls-backend
carlos-agda-fls-backend
13m 50s
Add agda-fls backend to generate VV in html output Formal Ledger Specs #3466: Pull request #794 synchronize by carlostome
11m 31s carlos-agda-fls-backend
carlos-agda-fls-backend
11m 31s
Add agda-fls backend to generate VV in html output Formal Ledger Specs #3465: Pull request #794 synchronize by carlostome
11m 53s carlos-agda-fls-backend
carlos-agda-fls-backend
11m 53s
Add agda-fls backend to generate VV in html output Formal Ledger Specs #3464: Pull request #794 opened by carlostome
24m 33s carlos-agda-fls-backend
carlos-agda-fls-backend
24m 33s
bugfix: prevent deletion of flake.nix during CI Formal Ledger Specs #3463: Commit 849d421 pushed by williamdemeo
39m 18s master-markdown
master-markdown
39m 18s
bugfix: generate site content *before* building! Formal Ledger Specs #3462: Commit 93626a1 pushed by williamdemeo
38m 43s master-markdown
master-markdown
38m 43s
build pdf from legacy-latex and generate web site Formal Ledger Specs #3461: Commit 03919cf pushed by williamdemeo
40m 44s master-markdown
master-markdown
40m 44s
788 markdown migration phase1 Formal Ledger Specs #3460: Pull request #790 opened by williamdemeo
18m 35s 788-markdown-migration-phase1
788-markdown-migration-phase1
18m 35s
Add invariants to RewardUpdate Formal Ledger Specs #3459: Pull request #781 synchronize by HeinrichApfelmus
24m 2s HeinrichApfelmus/rewards-update-invariant
HeinrichApfelmus/rewards-update-invariant
24m 2s
md migration: frontmatter Formal Ledger Specs #3458: Pull request #789 synchronize by williamdemeo
14m 38s 788-frontmatter-md-migration
788-frontmatter-md-migration
14m 38s