Skip to content

Remove theorem prover targets from default Makefile rule (#464) #1043

Remove theorem prover targets from default Makefile rule (#464)

Remove theorem prover targets from default Makefile rule (#464) #1043

Triggered via push May 10, 2024 02:16
Status Success
Total duration 24m 52s
Artifacts 2

compile.yml

on: push
Fit to window
Zoom out
Zoom in

Annotations

1 notice
712 tests found
There are 712 tests, see "Raw output" for the full list of tests.

Artifacts

Produced during runtime
Name Size
event.json Expired
2.37 KB
tests.xml Expired
2.82 KB