Skip to content

Merge pull request #1325 from msimberg/remove-pika-move-forward #1651

Merge pull request #1325 from msimberg/remove-pika-move-forward

Merge pull request #1325 from msimberg/remove-pika-move-forward #1651

Triggered via push November 22, 2024 19:25
Status Success
Total duration 10m 21s
Artifacts 1
github/linux/coverage
10m 9s
github/linux/coverage
Fit to window
Zoom out
Zoom in

Annotations

1 error
github/linux/coverage
Process completed with exit code 8.

Artifacts

Produced during runtime
Name Size
coverage-report
3.43 MB