.github/workflows/macos.yml

Improve Mathlib #324

Sign in to view logs

Triggered via pull request July 21, 2024 10:50

Akuli

#511

littlewhitecloud:mathimprove

Status Failure

Total duration –

Artifacts –

This workflow graph cannot be shown

A graph will be generated the next time this workflow is run.

Annotations

1 error

every step must define a `uses` or `run` key