Mention "Locate" output for Definitions, Theorems appears as Constant #310

Triggered via push September 20, 2023 19:47

jfehrle

locate_constant

Status Success

Total duration 1h 5m 34s

Artifacts 1

ci-windows.yml

on: push

Matrix: Windows

Produced during runtime

Name	Size
windows-installer Expired	131 MB