Skip to content
Build

Merge pull request #4035 from pleroy/Klein #1138

Sign in to view logs

Merge pull request #4035 from pleroy/Klein

Merge pull request #4035 from pleroy/Klein #1138

Triggered via push July 4, 2024 16:52
@pleroypleroy
pushed b381917
master
Status Success
Total duration 27m 21s
Artifacts 2

build.yaml

on: push
start
3m 12s
start
Matrix: build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
principia_Debug-2024070523-Kleene-0-gb38191778528bbddd92e3c25eb7c8112df81726d
48.6 MB
principia_Release-2024070523-Kleene-0-gb38191778528bbddd92e3c25eb7c8112df81726d
32 MB