Skip to content
CI

Add resolution proof #44

Sign in to view logs

Add resolution proof

Add resolution proof #44

Triggered via push December 1, 2024 22:40
@NotBad4UNotBad4U
pushed 14d0bee
lambdapi-translate
Status Failure
Total duration 2m 7s
Artifacts –

ci.yml

on: push
build
1m 27s
build
test
1m 58s
test
format
11s
format
Fit to window
Zoom out
Zoom in

Annotations

2 errors
format
Process completed with exit code 1.
build
Process completed with exit code 101.