Remove `--default-toolchain none` · pitmonticone/LeanProject@ca8e1a8

Triggered via push July 30, 2024 10:09

main

Status Success

Total duration 5m 10s

Artifacts 1

blueprint.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	3.84 MB