z3: 4.8.17 -> 4.13.4; z3_4_12: 4.12.5 -> 4.12.6 #33645
numiniteditorconfig-v2.yml
on: pull_request_target
get-merge-commit
/
resolve-merge-commit
7s
editorconfig-check
39s
Annotations
2 warnings
|
get-merge-commit / resolve-merge-commit
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
editorconfig-check
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|