Skip to content
CI

Improved faithfulness of slot-leader selection. #92

Sign in to view logs

Improved faithfulness of slot-leader selection.

Improved faithfulness of slot-leader selection. #92

Triggered via pull request February 13, 2024 13:19
@bwbushbwbush
opened #20
bwbush/peras-iosim
Status Failure
Total duration 1m 45s
Artifacts –

ci.yaml

on: pull_request
Typecheck Agda and build Haskell
1m 38s
Typecheck Agda and build Haskell
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Typecheck Agda and build Haskell
could not lock config file /Users/arnaudbailly/projects/peras-runner/_work/_temp/cec7a335-7526-41b0-b777-28ba2a38c4fb/.gitconfig: No such file or directory
Typecheck Agda and build Haskell
Process completed with exit code 1.