use merge queue #2485
Triggered via pull request
November 27, 2024 08:55
MarcoIeni
Status
Success
Total duration
22m 25s
Artifacts
–
main.yml
on: pull_request
Check Style
16s
Matrix: Env Override
Matrix: Test
Build Documentation
1m 22s
Automatic intrinsic verification
28s
Build std_detect
1m 0s
success
0s