add mathlib dependency (and move custom toolchain spec to CI as an `e… #68

Sign in to view logs

Triggered via push March 14, 2024 17:40

rish987

main

Status Cancelled

Total duration 10m 41s

Artifacts –

ci.yml

on: push

Matrix: ci

Annotations

2 errors

ci (ubuntu-latest, 5.1)

The run was canceled by @rish987.

ci (ubuntu-latest, 5.1)

The operation was canceled.