More readable color scheme in dark mode #373
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
47s
html
/
build
11m 41s
mkdocs-site
12m 2s
cardano-ledger-pdf
/
copy-legacy-pdf
10s
conway-ledger-pdf
/
copy-legacy-pdf
10s
build-cardano-ledger
0s
upload-artifacts
33s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
_build
Expired
|
66.3 MB |
sha256:d8a0dd2647a203e594b26dd88081a07bcc4651e63958d054ae36b72465995352
|
|
|
cardano-ledger.pdf
Expired
|
410 KB |
sha256:4c9ddcc75a6101292089ea8f7fddc0c8877d0a090f391e51666af95ddc19e958
|
|
|
conway-ledger.pdf
Expired
|
265 KB |
sha256:6bdebed23806c8ded50b2aabd8d7df7abb4e054b11879ad33845668a796b2794
|
|
|
hs
Expired
|
2.83 MB |
sha256:99c267c510e79d235b2f74413522b01d0f3de9466d6adce96f80121726c5b4d9
|
|
|
html
Expired
|
4.85 MB |
sha256:f8da57202e2a4c3c1388ccae19a16fb17c96ce3c3e6bc6dbd5d6a6871907d37f
|
|
|
mkdocs-site
Expired
|
7 MB |
sha256:5ad17c40bc2ede5ac53492e8cb7388fed19cd177145ff969ae19e9f7d46dcaf5
|
|
|
typecheck.time
Expired
|
1.82 KB |
sha256:814b17fce1ffc2479b1d03d3ca71783bfd1b137a1f3d1b386638ef074327cf6c
|
|