Skip to content

Actions: model-checking/kani-vscode-extension

Actions

Run Unit Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
76 workflow runs
76 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump web-tree-sitter from 0.20.8 to 0.25.3 Run Unit Tests #199: Pull request #172 synchronize by dependabot bot
March 11, 2025 11:09 30s dependabot/npm_and_yarn/web-tree-sitter-0.25.3
dependabot/npm_and_yarn/web-tree-sitter-0.25.3
March 11, 2025 11:09 30s
Bump @typescript-eslint/eslint-plugin from 5.62.0 to 8.26.1 Run Unit Tests #198: Pull request #170 synchronize by dependabot bot
March 11, 2025 11:09 20s dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-8.26.1
dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-8.26.1
March 11, 2025 11:09 20s
Bump eslint-plugin-n from 15.7.0 to 17.16.2 Run Unit Tests #197: Pull request #171 synchronize by dependabot bot
March 11, 2025 11:09 21s dependabot/npm_and_yarn/eslint-plugin-n-17.16.2
dependabot/npm_and_yarn/eslint-plugin-n-17.16.2
March 11, 2025 11:09 21s
Update to use source based coverage instead of line based Run Unit Tests #196: Pull request #145 synchronize by tautschnig
March 11, 2025 11:06 36s carolynzech:add-coverage
carolynzech:add-coverage
March 11, 2025 11:06 36s
Bump web-tree-sitter from 0.20.8 to 0.25.3 Run Unit Tests #195: Pull request #172 opened by dependabot bot
March 11, 2025 00:44 27s dependabot/npm_and_yarn/web-tree-sitter-0.25.3
dependabot/npm_and_yarn/web-tree-sitter-0.25.3
March 11, 2025 00:44 27s
Bump eslint-plugin-n from 15.7.0 to 17.16.2 Run Unit Tests #194: Pull request #171 opened by dependabot bot
March 11, 2025 00:27 19s dependabot/npm_and_yarn/eslint-plugin-n-17.16.2
dependabot/npm_and_yarn/eslint-plugin-n-17.16.2
March 11, 2025 00:27 19s
Bump @typescript-eslint/eslint-plugin from 5.62.0 to 8.26.1 Run Unit Tests #193: Pull request #170 opened by dependabot bot
March 11, 2025 00:27 20s dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-8.26.1
dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-8.26.1
March 11, 2025 00:27 20s
Bump eslint-plugin-n from 15.7.0 to 17.16.1 Run Unit Tests #192: Pull request #169 opened by dependabot bot
March 3, 2025 23:47 20s dependabot/npm_and_yarn/eslint-plugin-n-17.16.1
dependabot/npm_and_yarn/eslint-plugin-n-17.16.1
March 3, 2025 23:47 20s
Bump @typescript-eslint/eslint-plugin from 5.62.0 to 8.26.0 Run Unit Tests #191: Pull request #168 opened by dependabot bot
March 3, 2025 23:46 23s dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-8.26.0
dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-8.26.0
March 3, 2025 23:46 23s
Bump web-tree-sitter from 0.20.8 to 0.25.2 Run Unit Tests #190: Pull request #167 opened by dependabot bot
February 25, 2025 00:15 30s dependabot/npm_and_yarn/web-tree-sitter-0.25.2
dependabot/npm_and_yarn/web-tree-sitter-0.25.2
February 25, 2025 00:15 30s
Bump @typescript-eslint/eslint-plugin from 5.62.0 to 8.25.0 Run Unit Tests #189: Pull request #166 opened by dependabot bot
February 25, 2025 00:15 20s dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-8.25.0
dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-8.25.0
February 25, 2025 00:15 20s
Bump @typescript-eslint/eslint-plugin from 5.62.0 to 8.24.1 Run Unit Tests #188: Pull request #165 opened by dependabot bot
February 17, 2025 23:31 22s dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-8.24.1
dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-8.24.1
February 17, 2025 23:31 22s
Bump eslint-plugin-n from 15.7.0 to 17.15.1 Run Unit Tests #187: Pull request #164 opened by dependabot bot
February 17, 2025 23:30 22s dependabot/npm_and_yarn/eslint-plugin-n-17.15.1
dependabot/npm_and_yarn/eslint-plugin-n-17.15.1
February 17, 2025 23:30 22s
Bump web-tree-sitter from 0.20.8 to 0.25.1 Run Unit Tests #186: Pull request #160 synchronize by dependabot bot
February 12, 2025 14:03 30s dependabot/npm_and_yarn/web-tree-sitter-0.25.1
dependabot/npm_and_yarn/web-tree-sitter-0.25.1
February 12, 2025 14:03 30s
Bump @typescript-eslint/eslint-plugin from 5.62.0 to 8.24.0 Run Unit Tests #185: Pull request #162 synchronize by dependabot bot
February 12, 2025 14:03 20s dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-8.24.0
dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-8.24.0
February 12, 2025 14:03 20s
Bump glob from 8.1.0 to 11.0.1 Run Unit Tests #184: Pull request #156 synchronize by dependabot bot
February 12, 2025 14:03 34s dependabot/npm_and_yarn/glob-11.0.1
dependabot/npm_and_yarn/glob-11.0.1
February 12, 2025 14:03 34s
Bump eslint-plugin-promise from 6.6.0 to 7.2.1 Run Unit Tests #183: Pull request #151 synchronize by dependabot bot
February 12, 2025 14:02 20s dependabot/npm_and_yarn/eslint-plugin-promise-7.2.1
dependabot/npm_and_yarn/eslint-plugin-promise-7.2.1
February 12, 2025 14:02 20s
Bump @typescript-eslint/eslint-plugin from 5.62.0 to 8.24.0 Run Unit Tests #182: Pull request #162 synchronize by dependabot bot
February 12, 2025 14:00 20s dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-8.24.0
dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-8.24.0
February 12, 2025 14:00 20s
Bump web-tree-sitter from 0.20.8 to 0.25.1 Run Unit Tests #181: Pull request #160 synchronize by dependabot bot
February 12, 2025 14:00 30s dependabot/npm_and_yarn/web-tree-sitter-0.25.1
dependabot/npm_and_yarn/web-tree-sitter-0.25.1
February 12, 2025 14:00 30s
Bump eslint-plugin-prettier from 4.2.1 to 5.2.3 Run Unit Tests #180: Pull request #161 synchronize by dependabot bot
February 12, 2025 14:00 49s dependabot/npm_and_yarn/eslint-plugin-prettier-5.2.3
dependabot/npm_and_yarn/eslint-plugin-prettier-5.2.3
February 12, 2025 14:00 49s
Bump glob from 8.1.0 to 11.0.1 Run Unit Tests #179: Pull request #156 synchronize by dependabot bot
February 12, 2025 14:00 29s dependabot/npm_and_yarn/glob-11.0.1
dependabot/npm_and_yarn/glob-11.0.1
February 12, 2025 14:00 29s
Bump eslint-plugin-promise from 6.6.0 to 7.2.1 Run Unit Tests #178: Pull request #151 synchronize by dependabot bot
February 12, 2025 14:00 20s dependabot/npm_and_yarn/eslint-plugin-promise-7.2.1
dependabot/npm_and_yarn/eslint-plugin-promise-7.2.1
February 12, 2025 14:00 20s
Bump esbuild from 0.24.2 to 0.25.0 Run Unit Tests #177: Pull request #163 opened by dependabot bot
February 12, 2025 13:45 49s dependabot/npm_and_yarn/esbuild-0.25.0
dependabot/npm_and_yarn/esbuild-0.25.0
February 12, 2025 13:45 49s
Bump @typescript-eslint/eslint-plugin from 5.62.0 to 8.24.0 Run Unit Tests #176: Pull request #162 opened by dependabot bot
February 10, 2025 23:10 19s dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-8.24.0
dependabot/npm_and_yarn/typescript-eslint/eslint-plugin-8.24.0
February 10, 2025 23:10 19s
Bump eslint-plugin-prettier from 4.2.1 to 5.2.3 Run Unit Tests #175: Pull request #161 opened by dependabot bot
February 10, 2025 23:09 38s dependabot/npm_and_yarn/eslint-plugin-prettier-5.2.3
dependabot/npm_and_yarn/eslint-plugin-prettier-5.2.3
February 10, 2025 23:09 38s