Skip to content
Makefile CI

Documentation and Proofs #60

Sign in to view logs

Documentation and Proofs

Documentation and Proofs #60

Triggered via push January 6, 2024 01:39
@StefanPeevStefanPeev
pushed 6d52158
main
Status Failure
Total duration 18s
Artifacts –

makefile.yml

on: push
build
9s
build
Fit to window
Zoom out
Zoom in

Annotations

1 error
build
Process completed with exit code 127.