Refactor interface name #62
Triggered via pull request
December 10, 2024 12:09
DavyLandman
Status
Success
Total duration
11m 32s
Artifacts
–
build.yaml
on: pull_request
checker-framework
21s
lint
8s
Matrix: test
Annotations
5 warnings
|
lint
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
checker-framework
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (ubuntu-latest, 17)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (ubuntu-latest, 11)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
test (ubuntu-latest, 21)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|