Skip to content
CI

ci: Don't trigger on merge_group #1894

Sign in to view logs

ci: Don't trigger on merge_group

ci: Don't trigger on merge_group #1894

Triggered via push March 15, 2024 21:36
@larseggertlarseggert
pushed aed423e
main
Status Cancelled
Total duration 16m 42s
Artifacts –

check.yml

on: push
Matrix: Build & test
Benchmark  /  Benchmark
0s
Benchmark / Benchmark
Fit to window
Zoom out
Zoom in

Annotations

1 error
Benchmark / Benchmark
Canceling since a higher priority waiting request for 'CI-main' exists