Skip to content

Switch MacOS CI jobs to macos-13 #333

Switch MacOS CI jobs to macos-13

Switch MacOS CI jobs to macos-13 #333

Triggered via pull request January 29, 2024 15:35
@tautschnigtautschnig
opened #2987
Status Success
Total duration 20s
Artifacts

extra_jobs.yml

on: pull_request_target
Auto Label
7s
Auto Label
Verification Benchmarks  /  perf-benchcomp
Verification Benchmarks / perf-benchcomp
Fit to window
Zoom out
Zoom in