Skip to content

Actions: KeYProject/setup-smt

Actions

Lint Codebase

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
linter.yml
137 workflow runs
137 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Bump @github/local-action from 5.2.0 to 7.0.1 Lint Codebase #159: Pull request #63 opened by dependabot Bot
6m 12s dependabot/npm_and_yarn/github/local-action-7.0.1
dependabot/npm_and_yarn/github/local-action-7.0.1
6m 12s
Bump typescript from 5.9.3 to 6.0.3 Lint Codebase #158: Pull request #62 opened by dependabot Bot
3m 28s dependabot/npm_and_yarn/typescript-6.0.3
dependabot/npm_and_yarn/typescript-6.0.3
3m 28s
Bump the npm-production group with 2 updates Lint Codebase #157: Pull request #61 opened by dependabot Bot
2m 2s dependabot/npm_and_yarn/npm-production-3e9e860ebf
dependabot/npm_and_yarn/npm-production-3e9e860ebf
2m 2s
Bump the npm-development group with 3 updates Lint Codebase #156: Pull request #60 opened by dependabot Bot
2m 2s dependabot/npm_and_yarn/npm-development-8b7a97078a
dependabot/npm_and_yarn/npm-development-8b7a97078a
2m 2s
add node types to config Lint Codebase #155: Commit 959867c pushed by wadoon
2m 7s main
main
2m 7s
dependency update Lint Codebase #154: Commit f4ecc2e pushed by wadoon
2m 1s main
main
2m 1s
dependency update Lint Codebase #153: Commit b7765f4 pushed by wadoon
1m 25s main
main
1m 25s
Bump the npm-development group with 7 updates Lint Codebase #152: Commit 66dde08 pushed by wadoon
1m 15s main
main
1m 15s
Bump the npm-development group with 7 updates Lint Codebase #151: Pull request #59 opened by dependabot Bot
1m 24s dependabot/npm_and_yarn/npm-development-24d95d9df6
dependabot/npm_and_yarn/npm-development-24d95d9df6
1m 24s
Bump the npm-development group with 11 updates Lint Codebase #150: Commit 824bce1 pushed by wadoon
1m 12s main
main
1m 12s
Bump the npm-development group with 11 updates Lint Codebase #149: Pull request #56 synchronize by dependabot Bot
1m 25s dependabot/npm_and_yarn/npm-development-ca249a1766
dependabot/npm_and_yarn/npm-development-ca249a1766
1m 25s
Bump @rollup/rollup-linux-x64-gnu from 4.59.0 to 4.60.1 Lint Codebase #148: Commit 3a09f8e pushed by wadoon
1m 34s main
main
1m 34s
Bump typescript from 5.9.3 to 6.0.2 Lint Codebase #147: Commit 09569bb pushed by wadoon
1m 29s main
main
1m 29s
Bump typescript from 5.9.3 to 6.0.2 Lint Codebase #146: Pull request #58 opened by dependabot Bot
1m 21s dependabot/npm_and_yarn/typescript-6.0.2
dependabot/npm_and_yarn/typescript-6.0.2
1m 21s
Bump @rollup/rollup-linux-x64-gnu from 4.59.0 to 4.60.1 Lint Codebase #145: Pull request #57 opened by dependabot Bot
1m 26s dependabot/npm_and_yarn/rollup/rollup-linux-x64-gnu-4.60.1
dependabot/npm_and_yarn/rollup/rollup-linux-x64-gnu-4.60.1
1m 26s
Bump the npm-development group with 11 updates Lint Codebase #144: Pull request #56 opened by dependabot Bot
1m 28s dependabot/npm_and_yarn/npm-development-ca249a1766
dependabot/npm_and_yarn/npm-development-ca249a1766
1m 28s
Bump the npm-development group across 1 directory with 7 updates Lint Codebase #143: Commit f0ac7ed pushed by wadoon
1m 32s main
main
1m 32s
Bump the npm-development group across 1 directory with 7 updates Lint Codebase #142: Pull request #55 opened by dependabot Bot
1m 34s dependabot/npm_and_yarn/npm-development-47b99635fc
dependabot/npm_and_yarn/npm-development-47b99635fc
1m 34s
Bump actions/upload-artifact from 6 to 7 Lint Codebase #141: Commit e723c15 pushed by wadoon
1m 26s main
main
1m 26s
Bump eslint from 9.39.2 to 10.0.2 Lint Codebase #140: Commit 68c5212 pushed by wadoon
1m 29s main
main
1m 29s
Bump @rollup/rollup-linux-x64-gnu from 4.57.1 to 4.59.0 Lint Codebase #139: Commit 5a01e9c pushed by wadoon
2m 32s main
main
2m 32s
Bump @rollup/rollup-linux-x64-gnu from 4.57.1 to 4.59.0 Lint Codebase #138: Pull request #54 opened by dependabot Bot
2m 25s dependabot/npm_and_yarn/rollup/rollup-linux-x64-gnu-4.59.0
dependabot/npm_and_yarn/rollup/rollup-linux-x64-gnu-4.59.0
2m 25s
Bump eslint from 9.39.2 to 10.0.2 Lint Codebase #137: Pull request #53 opened by dependabot Bot
1m 26s dependabot/npm_and_yarn/eslint-10.0.2
dependabot/npm_and_yarn/eslint-10.0.2
1m 26s
Bump the npm-development group with 6 updates Lint Codebase #136: Pull request #52 opened by dependabot Bot
2m 37s dependabot/npm_and_yarn/npm-development-bba250fefd
dependabot/npm_and_yarn/npm-development-bba250fefd
2m 37s
Bump actions/upload-artifact from 6 to 7 Lint Codebase #135: Pull request #51 opened by dependabot Bot
2m 29s dependabot/github_actions/actions/upload-artifact-7
dependabot/github_actions/actions/upload-artifact-7
2m 29s