Skip to content
Quint

Run codespell on CI #206

Sign in to view logs

Run codespell on CI

Run codespell on CI #206

Triggered via pull request January 3, 2024 13:41
@romacromac
synchronize #136
codespell
Status Success
Total duration 9m 2s
Artifacts –

quint.yml

on: pull_request
Typecheck
8m 50s
Typecheck
Test
3m 53s
Test
Fit to window
Zoom out
Zoom in