Skip to content

Actions: KeYProject/setup-smt

Actions

Lint Codebase

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
linter.yml
22 workflow runs
22 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update dependabot.yml to monthly schedule Lint Codebase #22: Commit 9c9ffa5 pushed by wadoon
March 3, 2025 23:30 2m 3s main
main
March 3, 2025 23:30 2m 3s
Bump the npm-development group with 7 updates Lint Codebase #21: Commit 04da39b pushed by wadoon
March 3, 2025 23:28 2m 8s main
main
March 3, 2025 23:28 2m 8s
Bump @rollup/rollup-linux-x64-gnu in the npm-production group Lint Codebase #20: Commit 74e898f pushed by wadoon
March 3, 2025 23:28 2m 9s main
main
March 3, 2025 23:28 2m 9s
Merge pull request #5 from KeYProject/dependabot/npm_and_yarn/github/… Lint Codebase #19: Commit c007b7f pushed by wadoon
March 3, 2025 23:28 2m 10s main
main
March 3, 2025 23:28 2m 10s
Bump @github/local-action from 2.6.3 to 3.0.0 Lint Codebase #18: Pull request #5 opened by dependabot bot
March 3, 2025 22:00 2m 4s dependabot/npm_and_yarn/github/local-action-3.0.0
dependabot/npm_and_yarn/github/local-action-3.0.0
March 3, 2025 22:00 2m 4s
Bump the npm-development group with 7 updates Lint Codebase #17: Pull request #3 opened by dependabot bot
March 3, 2025 22:00 2m 5s dependabot/npm_and_yarn/npm-development-e4b96966ae
dependabot/npm_and_yarn/npm-development-e4b96966ae
March 3, 2025 22:00 2m 5s
Bump @rollup/rollup-linux-x64-gnu from 4.34.8 to 4.34.9 in the npm-production group Lint Codebase #16: Pull request #4 opened by dependabot bot
March 3, 2025 22:00 2m 9s dependabot/npm_and_yarn/npm-production-f7b3fc241a
dependabot/npm_and_yarn/npm-production-f7b3fc241a
March 3, 2025 22:00 2m 9s
added cvc4 and princess, untested Lint Codebase #15: Commit 1526f81 pushed by wadoon
February 28, 2025 15:50 2m 3s main
main
February 28, 2025 15:50 2m 3s
typo Lint Codebase #14: Commit 69db12d pushed by wadoon
February 28, 2025 15:37 2m 5s main
main
February 28, 2025 15:37 2m 5s
v0.2.0 Lint Codebase #13: Commit 9434cbc pushed by wadoon
February 27, 2025 18:49 2m 8s main
main
February 27, 2025 18:49 2m 8s
v0.2.0 Lint Codebase #12: Commit 5a9d04d pushed by wadoon
February 27, 2025 16:34 2m 0s main
main
February 27, 2025 16:34 2m 0s
Bump the npm-development group with 2 updates Lint Codebase #11: Pull request #2 opened by dependabot bot
February 24, 2025 22:22 1m 53s dependabot/npm_and_yarn/npm-development-47836edad0
dependabot/npm_and_yarn/npm-development-47836edad0
February 24, 2025 22:22 1m 53s
v0.1.3 Lint Codebase #10: Commit c2ffbd5 pushed by wadoon
February 24, 2025 20:55 1m 50s main
main
February 24, 2025 20:55 1m 50s
v0.1.2 Lint Codebase #9: Commit 3dc7a3b pushed by wadoon
February 24, 2025 20:48 1m 52s main
main
February 24, 2025 20:48 1m 52s
v0.1.1 Lint Codebase #8: Commit a733d71 pushed by wadoon
February 24, 2025 20:45 1m 57s main
main
February 24, 2025 20:45 1m 57s
Merge pull request #1 from KeYProject/dependabot/npm_and_yarn/npm-dev… Lint Codebase #7: Commit b487513 pushed by wadoon
February 23, 2025 18:34 1m 50s main
main
February 23, 2025 18:34 1m 50s
Bump the npm-development group with 9 updates Lint Codebase #6: Pull request #1 synchronize by dependabot bot
February 23, 2025 18:32 1m 57s dependabot/npm_and_yarn/npm-development-0a38a5cdb8
dependabot/npm_and_yarn/npm-development-0a38a5cdb8
February 23, 2025 18:32 1m 57s
making everything a little better Lint Codebase #5: Commit c4b9703 pushed by wadoon
February 23, 2025 18:27 3m 13s main
main
February 23, 2025 18:27 3m 13s
Bump the npm-development group with 9 updates Lint Codebase #4: Pull request #1 synchronize by dependabot bot
February 23, 2025 17:50 2m 7s dependabot/npm_and_yarn/npm-development-0a38a5cdb8
dependabot/npm_and_yarn/npm-development-0a38a5cdb8
February 23, 2025 17:50 2m 7s
first release Lint Codebase #3: Commit c023e37 pushed by wadoon
February 23, 2025 17:48 2m 0s main
main
February 23, 2025 17:48 2m 0s
Bump the npm-development group with 9 updates Lint Codebase #2: Pull request #1 opened by dependabot bot
February 23, 2025 17:10 1m 56s dependabot/npm_and_yarn/npm-development-0a38a5cdb8
dependabot/npm_and_yarn/npm-development-0a38a5cdb8
February 23, 2025 17:10 1m 56s
Initial commit Lint Codebase #1: Commit c02a49e pushed by wadoon
February 23, 2025 17:08 1m 51s main
main
February 23, 2025 17:08 1m 51s