Skip to content

Merge Release/v4.7.0 into develop #3550

Merge Release/v4.7.0 into develop

Merge Release/v4.7.0 into develop #3550

Triggered via pull request September 13, 2023 19:13
Status Success
Total duration 5h 44m 48s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

main.yml

on: pull_request
prim and rev tests
2h 31m
prim and rev tests
fwd tests and non-fun mix tests
39m 51s
fwd tests and non-fun mix tests
mix/fun tests 1
3h 50m
mix/fun tests 1
mix/fun tests 2
2h 40m
mix/fun tests 2
Fit to window
Zoom out
Zoom in