Skip to content

Add support for the GitHub merge queue #53

Add support for the GitHub merge queue

Add support for the GitHub merge queue #53

Triggered via pull request August 3, 2023 14:30
@mrobinsonmrobinson
synchronize #201
merge-queue
Status Success
Total duration 30m 36s
Artifacts

main.yml

on: pull_request
stable, Linux, shared library
3m 11s
stable, Linux, shared library
stable, Linux, static linking, no pkg-config
51s
stable, Linux, static linking, no pkg-config
stable, macOS, shared library
50s
stable, macOS, shared library
Windows
30m 12s
Windows
Fit to window
Zoom out
Zoom in