Skip to content
Formal Ledger Specs

Change the way SPO votes are counted (Fix) (#600) #2398

Sign in to view logs

Change the way SPO votes are counted (Fix) (#600)

Change the way SPO votes are counted (Fix) (#600) #2398

Triggered via push October 29, 2024 15:30
@williamdemeowilliamdemeo
pushed 7cc5c06
master
Status Success
Total duration 20m 24s
Artifacts 4

build.yml

on: push
Formal-Ledger
52s
Formal-Ledger
Ledger-hs
50s
Ledger-hs
Ledger-pdf
7m 39s
Ledger-pdf
Midnight
1m 27s
Midnight
MAlonzo
18s
MAlonzo
Uploads
26s
Uploads
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Uploads
The following actions uses node12 which is deprecated and will be forced to run on node16: ad-m/[email protected]. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
Uploads
The following actions use a deprecated Node.js version and will be forced to run on node20: ad-m/[email protected]. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/

Artifacts

Produced during runtime
Name Size
Docs-formalLedger
65.3 MB
Docs-ledger-hs
2.12 MB
Docs-ledger-pdf
4.32 MB
Docs-midnight
4.83 MB