Skip to content

Actions: informalsystems/quint

Actions

Lint Evaluator

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint-evaluator.yml
182 workflow runs
182 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: Add support for multiple invariants in CLI commands Lint Evaluator #164: Pull request #1662 synchronize by bugarela
May 30, 2025 20:24 14s jesicaMao:feat/multiple-invariants-reporting
jesicaMao:feat/multiple-invariants-reporting
May 30, 2025 20:24 14s
feat: Add support for multiple invariants in CLI commands Lint Evaluator #163: Pull request #1662 synchronize by bugarela
May 30, 2025 20:05 14s jesicaMao:feat/multiple-invariants-reporting
jesicaMao:feat/multiple-invariants-reporting
May 30, 2025 20:05 14s
feat: Add support for multiple invariants in CLI commands Lint Evaluator #162: Pull request #1662 synchronize by bugarela
May 30, 2025 20:03 16s jesicaMao:feat/multiple-invariants-reporting
jesicaMao:feat/multiple-invariants-reporting
May 30, 2025 20:03 16s
Improve error messages for type application mismatches Lint Evaluator #160: Pull request #1668 synchronize by kalidatony
May 30, 2025 08:58 14s kalidatony:clearer-type-mismatch-errors
kalidatony:clearer-type-mismatch-errors
May 30, 2025 08:58 14s
Merge pull request #1664 from markopiers/out-itf-should-not-supress-o… Lint Evaluator #157: Commit 332a5e3 pushed by bugarela
May 29, 2025 20:06 1m 1s main
main
May 29, 2025 20:06 1m 1s
Allow --verbosity to override default suppression by --out-itf (#1571) Lint Evaluator #156: Pull request #1664 synchronize by bugarela
May 29, 2025 19:56 14s markopiers:out-itf-should-not-supress-output
markopiers:out-itf-should-not-supress-output
May 29, 2025 19:56 14s
Allow --verbosity to override default suppression by --out-itf (#1571) Lint Evaluator #155: Pull request #1664 synchronize by bugarela
May 29, 2025 19:54 15s markopiers:out-itf-should-not-supress-output
markopiers:out-itf-should-not-supress-output
May 29, 2025 19:54 15s
Feat: rust evaluator quint test Lint Evaluator #154: Pull request #1678 synchronize by haljet-chain
May 29, 2025 18:43 52s haljet-chain:feat/1634-rust-evaluator-quint-test
haljet-chain:feat/1634-rust-evaluator-quint-test
May 29, 2025 18:43 52s
Allow --verbosity to override default suppression by --out-itf (#1571) Lint Evaluator #151: Pull request #1664 synchronize by markopiers
May 29, 2025 14:46 15s markopiers:out-itf-should-not-supress-output
markopiers:out-itf-should-not-supress-output
May 29, 2025 14:46 15s
Improve error messages for type application mismatches Lint Evaluator #150: Pull request #1668 synchronize by kalidatony
May 29, 2025 12:03 15s kalidatony:clearer-type-mismatch-errors
kalidatony:clearer-type-mismatch-errors
May 29, 2025 12:03 15s
Allow --verbosity to override default suppression by --out-itf (#1571) Lint Evaluator #149: Pull request #1664 synchronize by markopiers
May 29, 2025 09:42 11s markopiers:out-itf-should-not-supress-output
markopiers:out-itf-should-not-supress-output
May 29, 2025 09:42 11s
Merge pull request #1675 from informalsystems/rano/fix-bash-on-windows Lint Evaluator #147: Commit 11605b6 pushed by bugarela
May 28, 2025 18:43 46s main
main
May 28, 2025 18:43 46s
fix: release binary script Lint Evaluator #146: Pull request #1675 opened by rnbguy
May 28, 2025 18:38 14s rano/fix-bash-on-windows
rano/fix-bash-on-windows
May 28, 2025 18:38 14s
Merge pull request #1674 from informalsystems/release/0.25.0 Lint Evaluator #145: Commit 1e3ce16 pushed by bugarela
May 28, 2025 17:38 46s main
main
May 28, 2025 17:38 46s
Release v0.25.0 Lint Evaluator #144: Pull request #1674 opened by bugarela
May 28, 2025 17:20 14s release/0.25.0
release/0.25.0
May 28, 2025 17:20 14s
Merge pull request #1670 from informalsystems/gabriela/stubborn-oneOf Lint Evaluator #143: Commit d2864a8 pushed by bugarela
May 28, 2025 14:55 56s main
main
May 28, 2025 14:55 56s
Make oneOf() more stubborn Lint Evaluator #142: Pull request #1670 synchronize by bugarela
May 28, 2025 14:47 15s gabriela/stubborn-oneOf
gabriela/stubborn-oneOf
May 28, 2025 14:47 15s
Merge pull request #1669 from informalsystems/gabriela/improve-run-re… Lint Evaluator #141: Commit b2aa9a9 pushed by bugarela
May 28, 2025 13:35 58s main
main
May 28, 2025 13:35 58s
Make oneOf() more stubborn Lint Evaluator #140: Pull request #1670 synchronize by bugarela
May 28, 2025 13:32 19s gabriela/stubborn-oneOf
gabriela/stubborn-oneOf
May 28, 2025 13:32 19s
quint run: report information on trace length and speed Lint Evaluator #139: Pull request #1669 synchronize by bugarela
May 28, 2025 13:28 33s gabriela/improve-run-reporting
gabriela/improve-run-reporting
May 28, 2025 13:28 33s
feat: Add support for multiple invariants in CLI commands Lint Evaluator #138: Pull request #1662 synchronize by jesicaMao
May 28, 2025 05:04 16s jesicaMao:feat/multiple-invariants-reporting
jesicaMao:feat/multiple-invariants-reporting
May 28, 2025 05:04 16s
Merge pull request #1673 from informalsystems/vscode-release/0.15.1 Lint Evaluator #137: Commit a3ceb73 pushed by bugarela
May 27, 2025 20:05 1m 1s main
main
May 27, 2025 20:05 1m 1s
VSCode Release v0.15.1 Lint Evaluator #136: Pull request #1673 opened by bugarela
May 27, 2025 19:55 14s vscode-release/0.15.1
vscode-release/0.15.1
May 27, 2025 19:55 14s
Merge pull request #1672 from informalsystems/gabriela/lsp-windows-fix Lint Evaluator #135: Commit 1349d2b pushed by bugarela
May 27, 2025 19:50 55s main
main
May 27, 2025 19:50 55s
[LSP] Fix issue on log file creation on Windows Lint Evaluator #134: Pull request #1672 synchronize by bugarela
May 27, 2025 19:36 20s gabriela/lsp-windows-fix
gabriela/lsp-windows-fix
May 27, 2025 19:36 20s