Skip to content

refactor: push SerializedTheorem down to core #489

refactor: push SerializedTheorem down to core

refactor: push SerializedTheorem down to core #489

Triggered via push June 17, 2024 00:33
Status Success
Total duration 1m 25s
Artifacts

test.yaml

on: push
Fit to window
Zoom out
Zoom in