Skip to content
.github/workflows/push_pr.yml

fix: clean up some sorries in PartialProd #62

Sign in to view logs

fix: clean up some sorries in PartialProd

fix: clean up some sorries in PartialProd #62

Triggered via pull request August 24, 2025 12:30
@digama0digama0
opened #32
partialProd_sorry
Status Failure
Total duration 1m 39s
Artifacts –

push_pr.yml

on: pull_request
Build project
1m 35s
Build project
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build project
Process completed with exit code 1.