More readable color scheme in dark mode #375
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 30s
mkdocs-site
13m 28s
cardano-ledger-pdf
/
copy-legacy-pdf
9s
conway-ledger-pdf
/
copy-legacy-pdf
7s
build-cardano-ledger
0s
upload-artifacts
29s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
_build
Expired
|
66.3 MB |
sha256:13d041a72f3974c26566c4e1c78740582cfdd71efc94a2712a0b753fe4d85565
|
|
|
cardano-ledger.pdf
Expired
|
410 KB |
sha256:a6bf49d25b5be30859802f4d54a148caa06547efa185b4322a344fa907918334
|
|
|
conway-ledger.pdf
Expired
|
265 KB |
sha256:4e882ed2e2a1d37780105708e7109c8d8c95fc2d0395e5a1905d45907f85559d
|
|
|
hs
Expired
|
2.83 MB |
sha256:0a4643192d69caf2c43f8edaed7c20679ca9ae740c713dd442163f294f0de4c4
|
|
|
html
Expired
|
4.85 MB |
sha256:e250c814b54f8f6bd6b0e5a4a593c8f9ed9a41c35918330b5585c984485ac2b7
|
|
|
mkdocs-site
Expired
|
7 MB |
sha256:f1beb0e8b0d2d9ccb35e0bc7345f0856ea6ad88b5c6362c6d662d6a405d4183a
|
|
|
typecheck.time
Expired
|
1.82 KB |
sha256:814b17fce1ffc2479b1d03d3ca71783bfd1b137a1f3d1b386638ef074327cf6c
|
|