Skip to content
.github/workflows/main.yml

Fix __negated_conjecture_proof__ wronlgy added to predicates (#43) #51

Sign in to view logs

Fix __negated_conjecture_proof__ wronlgy added to predicates (#43)

Fix __negated_conjecture_proof__ wronlgy added to predicates (#43) #51

Triggered via push November 18, 2024 14:55
@gburelgburel
pushed 2343943
modulo
Status Success
Total duration 5m 21s
Artifacts –

main.yml

on: push
Matrix: build_lambdapi
Fit to window
Zoom out
Zoom in