use permanent, which is now in mathlib · mo271/FormalBook@fccdbb3

Triggered via push November 20, 2024 15:41

mo271

main

Status Success

Total duration 9m 3s

Artifacts 1

blueprint.yml

on: push

Produced during runtime

Name	Size
github-pages Expired	35.9 MB