Skip to content
Windows CI

Fatal warnings for duplicate objects in Coq refman. #125

Sign in to view logs

Fatal warnings for duplicate objects in Coq refman.

Fatal warnings for duplicate objects in Coq refman. #125

Triggered via push June 19, 2023 12:50
@Zimmi48Zimmi48
pushed ea5313f
warn-duplicate-objects
Status Success
Total duration 1h 7m 0s
Artifacts 1

ci-windows.yml

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

Artifacts

Produced during runtime
Name Size
windows-installer Expired
128 MB