Skip to content
Build

Added import #123

Sign in to view logs

Added import

Added import #123

Triggered via push November 15, 2023 01:48
@Eagle941Eagle941
pushed c47129d
new_theorems
Status Success
Total duration 1m 35s
Artifacts –

build.yml

on: push
Build
1m 27s
Build
Fit to window
Zoom out
Zoom in