Skip to content

Make github workflow which would ensure that PR against master would have everything from maint merged #6696

Make github workflow which would ensure that PR against master would have everything from maint merged

Make github workflow which would ensure that PR against master would have everything from maint merged #6696

Triggered via pull request May 13, 2024 21:33
Status Success
Total duration 19m 4s
Artifacts

benchmarks.yml

on: pull_request
Fit to window
Zoom out
Zoom in