Skip to content
CI

Change default extension from .proof to .alethe #51

Sign in to view logs

Change default extension from .proof to .alethe

Change default extension from .proof to .alethe #51

Triggered via push August 28, 2023 16:11
@bpandreottibpandreotti
pushed 001e1e3
version-1.1
Status Failure
Total duration 11m 14s
Artifacts –

ci.yml

on: push
build
6m 18s
build
test
10m 59s
test
format
16s
format
Fit to window
Zoom out
Zoom in

Annotations

2 errors
build
Process completed with exit code 101.
test
Process completed with exit code 101.