Skip to content
.github/workflows/push.yml

Small golfs. Fix a bad finiteness tag; a rule should have been #822

Sign in to view logs

Small golfs. Fix a bad finiteness tag; a rule should have been

Small golfs. Fix a bad finiteness tag; a rule should have been #822

Triggered via push November 3, 2025 18:58
@grunweggrunweg
pushed 36c8df4
master
Status Failure
Total duration 56m 24s
Artifacts –

push.yml

on: push
Lint style
3s
Lint style
Build project
56m 20s
Build project
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build project
Process completed with exit code 1.