coqPackages.hierarchy-builder: 1.7.1 -> 1.8.0 #40085
r-ryantmcodeowners-v2.yml
on: pull_request_target
get-merge-commit
/
resolve-merge-commit
4s
Request
1m 29s
Check
1m 2s
Annotations
3 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
|
|
Check
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Request
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|