Skip to content
Build

Fixed names #127

Sign in to view logs

Fixed names

Fixed names #127

Triggered via push November 15, 2023 03:27
@Eagle941Eagle941
pushed 9fc2a8d
new_theorems
Status Success
Total duration 2m 18s
Artifacts –

build.yml

on: push
Build
2m 9s
Build
Fit to window
Zoom out
Zoom in