Skip to content
GitHub macOS CI

Fatal warnings for duplicate objects in Coq refman. #126

Sign in to view logs

Fatal warnings for duplicate objects in Coq refman.

Fatal warnings for duplicate objects in Coq refman. #126

Triggered via push June 19, 2023 12:50
@Zimmi48Zimmi48
pushed ea5313f
warn-duplicate-objects
Status Success
Total duration 36m 43s
Artifacts –

ci-macos.yml

on: push
macOS
36m 15s
macOS
Fit to window
Zoom out
Zoom in