Skip to content
PR Builder

Migrate PR Builder to GitHub Actions #13

Sign in to view logs

Migrate PR Builder to GitHub Actions

Migrate PR Builder to GitHub Actions #13

Triggered via pull request October 21, 2025 17:09
@JackPGreenJackPGreen
synchronize #560
make-pr-builder
Status Success
Total duration 4m 12s
Artifacts –

pr-builder.yml

on: pull_request
get-langs
3s
get-langs
Matrix: generate
Fit to window
Zoom out
Zoom in