Skip to content
GitHub macOS CI

Merge PR #19801: make Zeq_bool an alias for Z.eqb, deprecate ZArith_base #4546

Sign in to view logs

Merge PR #19801: make Zeq_bool an alias for Z.eqb, deprecate ZArith_base

Merge PR #19801: make Zeq_bool an alias for Z.eqb, deprecate ZArith_base #4546

Triggered via push January 9, 2025 12:14
@SkySkimmerSkySkimmer
pushed f1fc014
master
Status Success
Total duration 25m 52s
Artifacts –

ci-macos.yml

on: push
macOS
25m 42s
macOS
Fit to window
Zoom out
Zoom in