Skip to content
check

add minimal initial impl #41

Sign in to view logs

add minimal initial impl

add minimal initial impl #41

Triggered via push July 23, 2026 06:15
@myfreessmyfreess
pushed ee364a2
main
Status Failure
Total duration 18m 29s
Artifacts –

check.yml

on: push
resolve reference environment
6s
resolve reference environment
project
18m 17s
project
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
project
Process completed with exit code 1.
project
No files were found with the provided path: /__w/why3.mbt/why3.mbt/_build/reference-context. No artifacts will be uploaded.