More readable color scheme in dark mode #376
williamdemeo
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
ci.yml
on: pull_request
formal-ledger-agda
45s
html
/
build
11m 50s
mkdocs-site
11m 49s
cardano-ledger-pdf
/
copy-legacy-pdf
10s
conway-ledger-pdf
/
copy-legacy-pdf
6s
build-cardano-ledger
0s
upload-artifacts
30s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
_build
Expired
|
66.3 MB |
sha256:d3b464d3f3cab8e7663fda8ca1793bccd1e7f740511f6767a033e4531882bf43
|
|
|
cardano-ledger.pdf
Expired
|
410 KB |
sha256:1c74973c894c73a034d9a1251f3aaa4fe171c520f94c39899439f5ff132d88a3
|
|
|
conway-ledger.pdf
Expired
|
265 KB |
sha256:fd5f82ed55558c8c67c7da9e27b60813d856fbfa3a10744ab4f65f677df888fe
|
|
|
hs
Expired
|
2.83 MB |
sha256:836b9f6a1f40841ff6fdb5f6221878542426c97fb9bd161103ece46ef22edffd
|
|
|
html
Expired
|
4.85 MB |
sha256:6ae3ed682b34273d0971cd774814a02a66a2ed9bf4521873996b641b3b9f5d27
|
|
|
mkdocs-site
Expired
|
7 MB |
sha256:8e5282c25e3ef4a81f7cf09b641ea5ce6b7ac1ef77ab65fd7dea2c74d051bd57
|
|
|
typecheck.time
Expired
|
1.82 KB |
sha256:814b17fce1ffc2479b1d03d3ca71783bfd1b137a1f3d1b386638ef074327cf6c
|
|