Skip to content
CMakeBuilds

Merge upstream #7

Sign in to view logs

Merge upstream

Merge upstream #7

Triggered via push September 21, 2024 16:30
@KislyjKiselKislyjKisel
pushed b021818
lean4
Status Success
Total duration 2m 7s
Artifacts –

cmake.yml

on: push
Windows Build
1m 52s
Windows Build
Linux Build
1m 20s
Linux Build
Fit to window
Zoom out
Zoom in