Skip to content
Quint

chore(ci): Only run workflows pertaining to the part of the codebase that changed #623

Sign in to view logs

chore(ci): Only run workflows pertaining to the part of the codebase that changed

chore(ci): Only run workflows pertaining to the part of the codebase that changed #623

Triggered via pull request January 21, 2025 09:47
@romacromac
opened #789
romac/jobs-filter
Status Success
Total duration 16s
Artifacts –

quint.yml

on: pull_request
Detect changes
4s
Detect changes
Typecheck
0s
Typecheck
Test
0s
Test
Fit to window
Zoom out
Zoom in

Annotations

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