GitHub macOS CI

Ltac2: use preterm in exact / eexact #2411

Sign in to view logs

Summary
Jobs
- macOS
Run details
- Usage
- Workflow file

Triggered via push October 13, 2023 16:00

SkySkimmer

ltac2-exact-preterm

Status Success

Total duration 35m 20s

Artifacts –

ci-macos.yml

on: push