Mark Ledger.Conway.Conformance.Equivalence safe (#645)
#2622
WhatisRTbuild.yml
on: push
Formal-Ledger
9m 13s
Ledger-hs
9m 57s
Ledger-pdf
15m 55s
Midnight
10m 43s
MAlonzo
18s
Uploads
18s
Annotations
6 warnings
|
MAlonzo
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Formal-Ledger
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Ledger-hs
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Midnight
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Ledger-pdf
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Uploads
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
Docs-formalLedger
|
70.7 MB |
|
|
Docs-ledger-hs
|
2.17 MB |
|
|
Docs-ledger-pdf
|
4.35 MB |
|
|
Docs-midnight
|
4.83 MB |
|