Skip to content
build and run tests

Merge pull request #187 from goblint/pretty-state2 #805

Sign in to view logs

Merge pull request #187 from goblint/pretty-state2

Merge pull request #187 from goblint/pretty-state2 #805

Triggered via push July 30, 2025 14:27
@michael-schwarzmichael-schwarz
pushed 4b8b06e
develop
Status Success
Total duration 18m 8s
Artifacts –

tests.yml

on: push
Matrix: tests
Fit to window
Zoom out
Zoom in

Annotations

2 notices
tests (macos-latest, 4.14.x)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520
tests (macos-latest, 4.14.x)
The macos-latest label will migrate to macOS 15 beginning August 4, 2025. For more information see https://github.com/actions/runner-images/issues/12520