.github/workflows/push_pr.yml

chore(RealInterpolationTheorem): misc golfs #331

Sign in to view logs

Re-run triggered September 9, 2024 13:44

fpvandoorn

#116

grunweg:MR-cleanup-real-interpolation-theorem

Status Failure

Total duration 4m 11s

Artifacts –

push_pr.yml

on: pull_request

Annotations

1 error

Build project

Process completed with exit code 1.