GitHub macOS CI

Remove deprecated files in Arith and Numbers/Natural #8842

Sign in to view logs

Summary
Jobs
- macOS
Run details
- Usage
- Workflow file

Triggered via pull request November 27, 2023 17:03

proux01

synchronize #18164

Villetaneuse:rm_arith_files

Status Success

Total duration 43m 2s

Artifacts –

ci-macos.yml

on: pull_request