compile

renumbering the theorems #4396

Triggered via push March 4, 2025 06:27

prabau

developable

Status Success

Total duration 18s

Artifacts 1

compile.yml

on: push

Produced during runtime

Name	Size
bundle.json	187 KB