Skip to content

Actions: informalsystems/quint

Actions

Lint VSCode Extension

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint-vscode.yml
208 workflow runs
208 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[LSP] Fix issue on log file creation on Windows Lint VSCode Extension #159: Pull request #1672 opened by bugarela
May 27, 2025 19:35 2m 6s gabriela/lsp-windows-fix
gabriela/lsp-windows-fix
May 27, 2025 19:35 2m 6s
Make oneOf() more stubborn Lint VSCode Extension #158: Pull request #1670 synchronize by bugarela
May 27, 2025 14:23 15s gabriela/stubborn-oneOf
gabriela/stubborn-oneOf
May 27, 2025 14:23 15s
Make oneOf() more stubborn Lint VSCode Extension #157: Pull request #1670 synchronize by bugarela
May 27, 2025 11:54 14s gabriela/stubborn-oneOf
gabriela/stubborn-oneOf
May 27, 2025 11:54 14s
Make oneOf() more stubborn Lint VSCode Extension #156: Pull request #1670 opened by bugarela
May 26, 2025 19:02 3m 36s gabriela/stubborn-oneOf
gabriela/stubborn-oneOf
May 26, 2025 19:02 3m 36s
quint run: report information on trace length and speed Lint VSCode Extension #155: Pull request #1669 synchronize by bugarela
May 26, 2025 12:51 13s gabriela/improve-run-reporting
gabriela/improve-run-reporting
May 26, 2025 12:51 13s
quint run: report information on trace length and speed Lint VSCode Extension #154: Pull request #1669 opened by bugarela
May 26, 2025 12:38 13s gabriela/improve-run-reporting
gabriela/improve-run-reporting
May 26, 2025 12:38 13s
feat: Add support for multiple invariants in CLI commands Lint VSCode Extension #153: Pull request #1662 synchronize by jesicaMao
May 25, 2025 20:00 14s jesicaMao:feat/multiple-invariants-reporting
jesicaMao:feat/multiple-invariants-reporting
May 25, 2025 20:00 14s
Allow --verbosity to override default suppression by --out-itf (#1571) Lint VSCode Extension #152: Pull request #1664 synchronize by markopiers
May 23, 2025 16:08 16s markopiers:out-itf-should-not-supress-output
markopiers:out-itf-should-not-supress-output
May 23, 2025 16:08 16s
Allow --verbosity to override default suppression by --out-itf (#1571) Lint VSCode Extension #151: Pull request #1664 synchronize by markopiers
May 23, 2025 15:28 16s markopiers:out-itf-should-not-supress-output
markopiers:out-itf-should-not-supress-output
May 23, 2025 15:28 16s
Allow --verbosity to override default suppression by --out-itf (#1571) Lint VSCode Extension #150: Pull request #1664 synchronize by markopiers
May 23, 2025 14:58 18s markopiers:out-itf-should-not-supress-output
markopiers:out-itf-should-not-supress-output
May 23, 2025 14:58 18s
Allow --verbosity to override default suppression by --out-itf (#1571) Lint VSCode Extension #149: Pull request #1664 synchronize by markopiers
May 23, 2025 07:54 16s markopiers:out-itf-should-not-supress-output
markopiers:out-itf-should-not-supress-output
May 23, 2025 07:54 16s
Improve error messages for type application mismatches Lint VSCode Extension #148: Pull request #1668 opened by kalidatony
May 22, 2025 19:35 20s kalidatony:clearer-type-mismatch-errors
kalidatony:clearer-type-mismatch-errors
May 22, 2025 19:35 20s
Better type error is now shown when missing paranthesis Lint VSCode Extension #147: Pull request #1667 opened by nowak-token
May 22, 2025 18:56 16s nowak-token:better-typeError-when-missing-parathesis
nowak-token:better-typeError-when-missing-parathesis
May 22, 2025 18:56 16s
feat: Add support for multiple invariants in CLI commands Lint VSCode Extension #146: Pull request #1662 synchronize by jesicaMao
May 22, 2025 18:30 20s jesicaMao:feat/multiple-invariants-reporting
jesicaMao:feat/multiple-invariants-reporting
May 22, 2025 18:30 20s
Merge pull request #1666 from kilnhast/fix-duplicate-entry Lint VSCode Extension #145: Commit e4cb6c2 pushed by bugarela
May 22, 2025 18:21 2m 6s main
main
May 22, 2025 18:21 2m 6s
Fixed the duplicate entry for 'Action' in the modes table of the language manual Lint VSCode Extension #144: Pull request #1666 opened by kilnhast
May 22, 2025 15:31 15s kilnhast:fix-duplicate-entry
kilnhast:fix-duplicate-entry
May 22, 2025 15:31 15s
Allow --verbosity to override default suppression by --out-itf (#1571) Lint VSCode Extension #143: Pull request #1664 synchronize by bugarela
May 22, 2025 15:08 15s markopiers:out-itf-should-not-supress-output
markopiers:out-itf-should-not-supress-output
May 22, 2025 15:08 15s
feat: Add support for multiple invariants in CLI commands Lint VSCode Extension #142: Pull request #1662 synchronize by jesicaMao
May 21, 2025 17:33 18s jesicaMao:feat/multiple-invariants-reporting
jesicaMao:feat/multiple-invariants-reporting
May 21, 2025 17:33 18s
Allow --verbosity to override default suppression by --out-itf (#1571) Lint VSCode Extension #140: Pull request #1664 synchronize by markopiers
May 21, 2025 13:21 20s markopiers:out-itf-should-not-supress-output
markopiers:out-itf-should-not-supress-output
May 21, 2025 13:21 20s
Merge pull request #1665 from informalsystems/romac/fix-benchmark-wor… Lint VSCode Extension #138: Commit 21d9568 pushed by bugarela
May 21, 2025 12:33 2m 6s main
main
May 21, 2025 12:33 2m 6s
Fix permissions on benchmark workflow Lint VSCode Extension #137: Pull request #1665 synchronize by bugarela
May 21, 2025 12:23 17s romac/fix-benchmark-workflow
romac/fix-benchmark-workflow
May 21, 2025 12:23 17s
Merge pull request #1663 from tasin2610/fix-links Lint VSCode Extension #136: Commit 17bd88a pushed by bugarela
May 21, 2025 12:16 1m 59s main
main
May 21, 2025 12:16 1m 59s
Update link for kettle in REPL traces Lint VSCode Extension #135: Pull request #1663 synchronize by bugarela
May 21, 2025 12:15 14s tasin2610:fix-links
tasin2610:fix-links
May 21, 2025 12:15 14s
Merge pull request #1657 from jackcooper20/immediate-test-results Lint VSCode Extension #134: Commit 31db6d2 pushed by bugarela
May 21, 2025 12:14 1m 58s main
main
May 21, 2025 12:14 1m 58s
Fix permissions on benchmark workflow Lint VSCode Extension #133: Pull request #1665 synchronize by romac
May 21, 2025 11:58 14s romac/fix-benchmark-workflow
romac/fix-benchmark-workflow
May 21, 2025 11:58 14s