Actions: coq/coq
Actions
Showing runs from all workflows
11,858 workflow runs
11,858 workflow runs
: Type
to Prop
GitHub macOS CI
#11227:
Pull request #18989
synchronize
by
SkySkimmer
: Type
to Prop
Windows CI
#10554:
Pull request #18989
synchronize
by
SkySkimmer