Build and upload artifacts

Preparing the repo for dijkstra era #3411

Sign in to view logs

Triggered via pull request May 13, 2025 14:32

carlostome

synchronize #780

777-preparing-the-repo-for-dijkstra-era

Status Failure

Total duration 58s

Artifacts –

build.yml

on: pull_request

formal-ledger-agda

cardano-ledger-pdf / build

conway-ledger-pdf / build

build-cardano-ledger

upload-artifacts

Annotations

1 error

formal-ledger-agda

Process completed with exit code 1.