Skip to content

Actions: runtimeverification/simbolik-vscode

Actions

Test

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
15 workflow runs
15 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump minimatch Test #15: Pull request #82 opened by dependabot bot
21s dependabot/npm_and_yarn/multi-acd8535d99
dependabot/npm_and_yarn/multi-acd8535d99
21s
Bump webpack from 5.103.0 to 5.105.0 Test #14: Pull request #81 opened by dependabot bot
21s dependabot/npm_and_yarn/webpack-5.105.0
dependabot/npm_and_yarn/webpack-5.105.0
21s
Bump lodash from 4.17.21 to 4.17.23 Test #13: Pull request #79 opened by dependabot bot
26s dependabot/npm_and_yarn/lodash-4.17.23
dependabot/npm_and_yarn/lodash-4.17.23
26s
Foundry Test Controller and Linter support Test #12: Pull request #78 synchronize by RaoulSchaffranek
26s raoul/foundry-integration
raoul/foundry-integration
26s
Foundry Test Controller and Linter support Test #11: Pull request #78 synchronize by RaoulSchaffranek
24s raoul/foundry-integration
raoul/foundry-integration
24s
Foundry Test Controller and Linter support Test #10: Pull request #78 synchronize by RaoulSchaffranek
37s raoul/foundry-integration
raoul/foundry-integration
37s
Bump esbuild from 0.20.2 to 0.25.0 Test #9: Pull request #31 synchronize by dependabot bot
23s dependabot/npm_and_yarn/esbuild-0.25.0
dependabot/npm_and_yarn/esbuild-0.25.0
23s
Foundry Test Controller and Linter support Test #8: Pull request #78 synchronize by RaoulSchaffranek
25s raoul/foundry-integration
raoul/foundry-integration
25s
Foundry Test Controller and Linter support Test #7: Pull request #78 synchronize by RaoulSchaffranek
26s raoul/foundry-integration
raoul/foundry-integration
26s
Foundry Test Controller and Linter support Test #6: Pull request #78 synchronize by RaoulSchaffranek
31s raoul/foundry-integration
raoul/foundry-integration
31s
Foundry Test Controller and Linter support Test #5: Pull request #78 synchronize by RaoulSchaffranek
21s raoul/foundry-integration
raoul/foundry-integration
21s
Foundry Test Controller and Linter support Test #4: Pull request #78 synchronize by RaoulSchaffranek
18s raoul/foundry-integration
raoul/foundry-integration
18s
Merge pull request #77 from runtimeverification/dev-env Test #3: Commit 345a829 pushed by yiyi-wang-rv
22s master
master
22s
Set up nix shell for dev env. Add husky git hooks to run gts check before git commit. Clean up source code files and remove any types. Test #2: Pull request #77 synchronize by yiyi-wang-rv
25s dev-env
dev-env
25s
Set up nix shell for dev env. Add husky git hooks to run gts check before git commit. Clean up source code files and remove any types. Test #1: Pull request #77 synchronize by yiyi-wang-rv
21s dev-env
dev-env
21s