Skip to content

Migrate PR Builder to GitHub Actions #5

Migrate PR Builder to GitHub Actions

Migrate PR Builder to GitHub Actions #5

Triggered via pull request October 21, 2025 15:55
Status Failure
Total duration 21s
Artifacts

pr-builder.yml

on: pull_request
Matrix: pr-builder
Fit to window
Zoom out
Zoom in

Annotations

9 errors
pr-builder (py)
Process completed with exit code 2.
pr-builder (cpp)
The strategy configuration was canceled because "pr-builder.py" failed
pr-builder (cpp)
The operation was canceled.
pr-builder (cs)
The strategy configuration was canceled because "pr-builder.py" failed
pr-builder (cs)
The operation was canceled.
pr-builder (java)
The strategy configuration was canceled because "pr-builder.py" failed
pr-builder (java)
The operation was canceled.
pr-builder (ts)
The strategy configuration was canceled because "pr-builder.py" failed
pr-builder (ts)
The operation was canceled.