Skip to content

refactor: use create_justification in the quint specification as in the informal spec #1264

refactor: use create_justification in the quint specification as in the informal spec

refactor: use create_justification in the quint specification as in the informal spec #1264

Triggered via pull request January 22, 2025 15:14
Status Success
Total duration 24s
Artifacts

secrets_scanner.yaml

on: pull_request
TruffleHog
11s
TruffleHog
Fit to window
Zoom out
Zoom in

Annotations

1 warning
TruffleHog
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636