Skip to content
CI

[coq-rewriter] Bump minimal version to 8.18 #1667

Sign in to view logs

[coq-rewriter] Bump minimal version to 8.18

[coq-rewriter] Bump minimal version to 8.18 #1667

Triggered via push January 28, 2025 20:07
@JasonGrossJasonGross
pushed c60b4f2
coq-rewriter-dev-bump-version
Status Success
Total duration 1m 38s
Artifacts –

ci.yml

on: push
build
1m 28s
build
deploy
0s
deploy
Fit to window
Zoom out
Zoom in