Skip to content

Merge pull request #4148 from pleroy/Kuratowski #1385

Merge pull request #4148 from pleroy/Kuratowski

Merge pull request #4148 from pleroy/Kuratowski #1385

Triggered via push December 30, 2024 17:51
Status Success
Total duration 43m 43s
Artifacts 2

build.yaml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
principia_Debug-2024123022-Kummer-0-gcbfb62ed2d9b854700323bc9aa29b187bfd8a215
49 MB
principia_Release-2024123022-Kummer-0-gcbfb62ed2d9b854700323bc9aa29b187bfd8a215
32.4 MB