8000 Rename reduction to conversion_strategy in Std.v, remove it from Init.v · radrow/coq@0f1f26b · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
GitHub macOS CI

Rename reduction to conversion_strategy in Std.v, remove it from Init.v #41

Sign in to view logs

Rename reduction to conversion_strategy in Std.v, remove it from Init.v

Rename reduction to conversion_strategy in Std.v, remove it from Init.v #41

Triggered via push May 2, 2025 13:46
@radrowradrow
pushed 0f1f26b
radrow/gh-20482-reductions
Status Success
Total duration 20m 8s
Artifacts –

ci-macos.yml

on: push
macOS
19m 56s
macOS
Fit to window
Zoom out
Zoom in

Annotations

1 warning
macOS
expat 2.7.1 is already installed and up-to-date. To reinstall 2.7.1, run: brew reinstall expat
0