Skip to content

Merge pull request #10 from SWAT-engineering/feat/refactor-interface-… #65

Merge pull request #10 from SWAT-engineering/feat/refactor-interface-…

Merge pull request #10 from SWAT-engineering/feat/refactor-interface-… #65

Triggered via push December 10, 2024 13:02
Status Success
Total duration 11m 23s
Artifacts

build.yaml

on: push
checker-framework
22s
checker-framework
lint
18s
lint
Matrix: test
Fit to window
Zoom out
Zoom in

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, 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
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