Skip to content
Tests

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

Sign in to view logs

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

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

Triggered via push March 14, 2024 18:07
@rish987rish987
pushed 39e3dbc
main
Status Success
Total duration 17m 24s
Artifacts –

ci.yml

on: push
Matrix: ci
Fit to window
Zoom out
Zoom in