Skip to content
Formal Ledger Specs

Removed deposit updating from Haskell version of UTXO #2342

Sign in to view logs

Removed deposit updating from Haskell version of UTXO

Removed deposit updating from Haskell version of UTXO #2342

Triggered via pull request October 9, 2024 14:35
@SoupstrawSoupstraw
synchronize #589
jj/utxo-proposals
Status Success
Total duration 33m 33s
Artifacts 3

build.yml

on: pull_request
Formal-Ledger
8m 22s
Formal-Ledger
Ledger-hs
9m 1s
Ledger-hs
Ledger-pdf
32m 56s
Ledger-pdf
Midnight
20m 33s
Midnight
MAlonzo
9m 21s
MAlonzo
Uploads
7s
Uploads
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
MAlonzo
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/
MAlonzo
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
PDF specs - Ledger
507 KB
PDF specs - Midnight
50.7 KB
Typechecking durations - FormalLedger
1.41 KB