Skip to content
CI

Theorem 18.{1,2} #11

Sign in to view logs

Theorem 18.{1,2}

Theorem 18.{1,2} #11

Triggered via push December 5, 2025 15:26
@nguyenvukhangnguyenvukhang
pushed 17179d6
dev
Status Success
Total duration 3m 22s
Artifacts –

ci.yml

on: push
lean
3m 15s
lean
Fit to window
Zoom out
Zoom in