Skip to content
.github/workflows/push_pr.yml

Kneser: Refactor to not use Finset.mulStab #40

Sign in to view logs

Kneser: Refactor to not use Finset.mulStab

Kneser: Refactor to not use Finset.mulStab #40

Triggered via pull request January 30, 2025 21:32
@YaelDilliesYaelDillies
synchronize #22
kneser
Status Failure
Total duration 2m 16s
Artifacts –

push_pr.yml

on: pull_request
Lint style
0s
Lint style
Build project
2m 6s
Build project
Fit to window
Zoom out
Zoom in

Annotations

1 error
Build project
Process completed with exit code 1.