Skip to content
Quint

Clarify mutation-scope provenance ownership #753

Sign in to view logs

Clarify mutation-scope provenance ownership

Clarify mutation-scope provenance ownership #753

Triggered via pull request October 1, 2026 09:03
@davidabramdavidabram
opened #289
mutation-scope-provenance-ownership
Status Success
Total duration 15m 31s
Artifacts –

quint.yml

on: pull_request
Detect Quint changes
15s
Detect Quint changes
Quint checks
15m 5s
Quint checks
Quint gate
2s
Quint gate
Fit to window
Zoom out
Zoom in

Annotations

3 notices
Detect Quint changes
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Quint checks
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
Quint gate
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"