.github/workflows/ci-update-mathlib.yml · Workflow runs · opencompl/lean-mlir · GitHub

Actions

All workflows
Workflows
- Build & Evaluate (in Docker) Build & Evaluate (in Docker)
- Evaluation Evaluation
- Update mathlib version Update mathlib version
- +++ Evaluation Multi-Width (NS) +++ +++ Evaluation Multi-Width (NS) +++
- .github/workflows/ci-update-mathlib.yml .github/workflows/ci-update-mathlib.yml
- .github/workflows/cluster-scale-multi-width-ns.yml .github/workflows/cluster-scale-multi-width-ns.yml
- automerge automerge
- docs docs
- Garbage collect elan toolchains Garbage collect elan toolchains
- Medusa Build & Test Medusa Build & Test
Management
- Caches
- Deployments

.github/workflows/ci-update-mathlib.yml

Actions

Loading...
Loading

1 workflow run

1 workflow run

feat: example works .github/workflows/ci-update-mathlib.yml #1: Commit 4a1649c pushed by luisacicolini

Failure comb-dialect

comb-dialect

Failure