Skip to content

feat: elaborate theorem bodies in parallel #2893

feat: elaborate theorem bodies in parallel

feat: elaborate theorem bodies in parallel #2893

Triggered via pull request November 27, 2024 17:05
@KhaKha
synchronize #5864
Kha:async-proofs
Status Success
Total duration 45s
Artifacts

actionlint.yml

on: pull_request
actionlint
34s
actionlint
Fit to window
Zoom out
Zoom in