Skip to content

Actions: KeYProject/setup-smt

Actions

Continuous Integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
119 workflow runs
119 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump @actions/core from 1.11.1 to 2.0.1 Continuous Integration #119: Commit f09d76f pushed by wadoon
47s main
main
47s
Bump @actions/core from 1.11.1 to 2.0.1 Continuous Integration #118: Pull request #43 synchronize by dependabot bot
52s dependabot/npm_and_yarn/actions/core-2.0.1
dependabot/npm_and_yarn/actions/core-2.0.1
52s
Bump actions/upload-artifact from 5 to 6 Continuous Integration #117: Commit 848d833 pushed by wadoon
47s main
main
47s
Bump the npm-development group with 7 updates Continuous Integration #116: Commit 96f9167 pushed by wadoon
43s main
main
43s
Bump @rollup/rollup-linux-x64-gnu from 4.53.3 to 4.54.0 Continuous Integration #115: Commit 8d30377 pushed by wadoon
1m 9s main
main
1m 9s
Bump @github/local-action from 2.2.1 to 6.0.2 Continuous Integration #114: Commit 7c5da5b pushed by wadoon
41s main
main
41s
Bump @github/local-action from 2.2.1 to 6.0.2 Continuous Integration #113: Pull request #45 opened by dependabot bot
2m 14s dependabot/npm_and_yarn/github/local-action-6.0.2
dependabot/npm_and_yarn/github/local-action-6.0.2
2m 14s
Bump @rollup/rollup-linux-x64-gnu from 4.53.3 to 4.54.0 Continuous Integration #112: Pull request #44 opened by dependabot bot
2m 13s dependabot/npm_and_yarn/rollup/rollup-linux-x64-gnu-4.54.0
dependabot/npm_and_yarn/rollup/rollup-linux-x64-gnu-4.54.0
2m 13s
Bump @actions/core from 1.11.1 to 2.0.1 Continuous Integration #111: Pull request #43 opened by dependabot bot
1m 44s dependabot/npm_and_yarn/actions/core-2.0.1
dependabot/npm_and_yarn/actions/core-2.0.1
1m 44s
Bump the npm-development group with 7 updates Continuous Integration #110: Pull request #42 opened by dependabot bot
1m 2s dependabot/npm_and_yarn/npm-development-56dd7f4bb4
dependabot/npm_and_yarn/npm-development-56dd7f4bb4
1m 2s
Bump actions/upload-artifact from 5 to 6 Continuous Integration #109: Pull request #41 opened by dependabot bot
44s dependabot/github_actions/actions/upload-artifact-6
dependabot/github_actions/actions/upload-artifact-6
44s
v0.3.0 Continuous Integration #108: Commit ddc50db pushed by wadoon
47s main
main
47s
remove the missing z3-4.13.1 release from tests Continuous Integration #107: Commit dcfc408 pushed by wadoon
47s main
main
47s
smt can be disabled by "false" Continuous Integration #106: Commit 56045ef pushed by wadoon
50s main
main
50s
seperate tests, no cart. product required Continuous Integration #105: Commit 170e153 pushed by wadoon
40s main
main
40s
test a lot of z3/cvc versions Continuous Integration #104: Commit 6953ec7 pushed by wadoon
2m 48s main
main
2m 48s
repair z3 macos link Continuous Integration #103: Commit 7b266fb pushed by wadoon
28s main
main
28s
fix bin path Continuous Integration #102: Commit 8cc5382 pushed by wadoon
31s main
main
31s
fix url now in js Continuous Integration #101: Commit d3103ea pushed by wadoon
29s main
main
29s
fix url Continuous Integration #100: Commit 910b912 pushed by wadoon
17s main
main
17s
repair z3 macos link Continuous Integration #99: Commit 5d0dd52 pushed by wadoon
14s main
main
14s
debug output Continuous Integration #98: Commit 17cc4e5 pushed by wadoon
14s main
main
14s
fail-fast false Continuous Integration #97: Commit 061f8d7 pushed by wadoon
31s main
main
31s
test action under each os Continuous Integration #96: Commit 984fb93 pushed by wadoon
32s main
main
32s
fix tests by emptying them Continuous Integration #95: Commit 2f2637a pushed by wadoon
31s main
main
31s