Build and upload artifacts

Preparing the repo for dijkstra era #3411

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
formal-ledger-agda	45s
html	0s
cardano-ledger-pdf	0s
hs	0s
conway-ledger-pdf	0s
upload-artifacts	0s
build-cardano-ledger	0s
	45s