Skip to content
continuous integration

long file option for commsq.lean #7

Sign in to view logs

long file option for commsq.lean

long file option for commsq.lean #7

Triggered via push September 7, 2025 12:28
@fwethfweth
pushed 745e304
topos-definition
Status Skipped
Total duration 2s
Artifacts –

build.yml

on: push
Lint style
0s
Lint style
Build
0s
Build
Post-Build Step
0s
Post-Build Step
Post-CI job
0s
Post-CI job
CI Success
0s
CI Success
Fit to window
Zoom out
Zoom in