Skip to content

Updates for Coq output #736

Updates for Coq output

Updates for Coq output #736

Triggered via pull request January 8, 2024 13:58
Status Success
Total duration 23m 55s
Artifacts 2

compile.yml

on: pull_request
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
26.1 KB
tests.xml Expired
34.5 KB