Skip to content
Unit tests

refactor: push SerializedTheorem down to core #486

Sign in to view logs

refactor: push SerializedTheorem down to core

refactor: push SerializedTheorem down to core #486

Triggered via push June 15, 2024 16:26
@jamesdabbsjamesdabbs
pushed 1aa7c49
jcd/warnings
Status Success
Total duration 1m 18s
Artifacts –

test.yaml

on: push
test
1m 10s
test
Fit to window
Zoom out
Zoom in