Skip to content
GitHub macOS CI

Merge PR #18164: Remove deprecated files in Arith and Numbers/Natural #94

Sign in to view logs

Merge PR #18164: Remove deprecated files in Arith and Numbers/Natural

Merge PR #18164: Remove deprecated files in Arith and Numbers/Natural #94

Triggered via push November 28, 2023 15:58
@VilletaneuseVilletaneuse
pushed b06166b
master
Status Success
Total duration 44m 21s
Artifacts –

ci-macos.yml

on: push
macOS
44m 6s
macOS
Fit to window
Zoom out
Zoom in