Skip to content

Actions: bitlap/smt

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
80 workflow runs
80 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update scala-compiler, scala-library, ... to 2.13.13 CI #99: Pull request #316 opened by scala-steward
February 29, 2024 17:55 3m 50s scala-steward:update/scala-compiler-2.13.13
scala-steward:update/scala-compiler-2.13.13
February 29, 2024 17:55 3m 50s
Update scala-compiler, scala-library, ... to 2.12.19 CI #98: Pull request #315 opened by scala-steward
February 29, 2024 17:55 3m 50s scala-steward:update/scala-compiler-2.12.19
scala-steward:update/scala-compiler-2.12.19
February 29, 2024 17:55 3m 50s
Update h2 to 2.2.224 (#303) CI #97: Commit 0936e9c pushed by mergify bot
February 27, 2024 21:42 5m 56s master
master
February 27, 2024 21:42 5m 56s
Update h2 to 2.2.224 CI #96: Pull request #303 synchronize by scala-steward
February 27, 2024 21:38 3m 56s scala-steward:update/h2-2.2.224
scala-steward:update/h2-2.2.224
February 27, 2024 21:38 3m 56s
Update sbt-scoverage to 2.0.11 (#314) CI #95: Commit 94c6b96 pushed by mergify bot
February 25, 2024 19:03 5m 45s master
master
February 25, 2024 19:03 5m 45s
Update sbt-scoverage to 2.0.11 CI #94: Pull request #314 opened by scala-steward
February 25, 2024 18:59 3m 39s scala-steward:update/sbt-scoverage-2.0.11
scala-steward:update/sbt-scoverage-2.0.11
February 25, 2024 18:59 3m 39s
Update sbt to 1.9.9 (#313) CI #93: Commit 606c429 pushed by mergify bot
February 23, 2024 19:12 6m 27s master
master
February 23, 2024 19:12 6m 27s
Update sbt to 1.9.9 CI #92: Pull request #313 opened by scala-steward
February 23, 2024 19:08 4m 5s scala-steward:update/sbt-1.9.9
scala-steward:update/sbt-1.9.9
February 23, 2024 19:08 4m 5s
Update scalafmt-core to 3.8.0 (#310) CI #91: Commit 0d094f4 pushed by mergify bot
February 19, 2024 22:08 6m 11s master
master
February 19, 2024 22:08 6m 11s
Update sbt-scoverage to 2.0.10 CI #90: Pull request #312 opened by scala-steward
February 19, 2024 22:04 3m 47s scala-steward:update/sbt-scoverage-2.0.10
scala-steward:update/sbt-scoverage-2.0.10
February 19, 2024 22:04 3m 47s
Update scalatest to 3.2.18 CI #89: Pull request #311 opened by scala-steward
February 19, 2024 22:04 4m 0s scala-steward:update/scalatest-3.2.18
scala-steward:update/scalatest-3.2.18
February 19, 2024 22:04 4m 0s
Update scalafmt-core to 3.8.0 CI #88: Pull request #310 opened by scala-steward
February 19, 2024 22:03 3m 59s scala-steward:update/scalafmt-core-3.8.0
scala-steward:update/scalafmt-core-3.8.0
February 19, 2024 22:03 3m 59s
Update sbt to 1.9.8 (#309) CI #87: Commit cdc77d6 pushed by mergify bot
January 12, 2024 22:27 4m 7s master
master
January 12, 2024 22:27 4m 7s
Update sbt to 1.9.8 CI #86: Pull request #309 opened by scala-steward
January 12, 2024 22:25 1m 48s scala-steward:update/sbt-1.9.8
scala-steward:update/sbt-1.9.8
January 12, 2024 22:25 1m 48s
Update README.md CI #85: Commit 35e95fa pushed by jxnu-liguobin
December 22, 2023 01:43 3m 57s master
master
December 22, 2023 01:43 3m 57s
Update scalafmt-core to 3.7.17 (#308) CI #84: Commit 2cbbff4 pushed by mergify bot
November 17, 2023 19:45 3m 54s master
master
November 17, 2023 19:45 3m 54s
Update scalafmt-core to 3.7.17 CI #83: Pull request #308 opened by scala-steward
November 17, 2023 19:43 1m 21s scala-steward:update/scalafmt-core-3.7.17
scala-steward:update/scalafmt-core-3.7.17
November 17, 2023 19:43 1m 21s
Fix README.md CI #82: Commit c5b20cb pushed by jxnu-liguobin
November 13, 2023 13:36 4m 38s master
master
November 13, 2023 13:36 4m 38s
Update scalafmt-core to 3.7.16 CI #81: Pull request #307 opened by scala-steward
November 11, 2023 18:15 2m 32s scala-steward:update/scalafmt-core-3.7.16
scala-steward:update/scalafmt-core-3.7.16
November 11, 2023 18:15 2m 32s
Update scalafmt-core to 3.7.15 (#306) CI #80: Commit 4a554b8 pushed by mergify bot
October 24, 2023 20:42 5m 40s master
master
October 24, 2023 20:42 5m 40s
Update scalafmt-core to 3.7.15 CI #79: Pull request #306 opened by scala-steward
October 24, 2023 20:39 2m 13s scala-steward:update/scalafmt-core-3.7.15
scala-steward:update/scalafmt-core-3.7.15
October 24, 2023 20:39 2m 13s
Update sbt to 1.9.7 CI #78: Pull request #305 opened by scala-steward
October 24, 2023 20:38 4m 12s scala-steward:update/sbt-1.9.7
scala-steward:update/sbt-1.9.7
October 24, 2023 20:38 4m 12s
add project status CI #77: Commit ceb875f pushed by jxnu-liguobin
October 18, 2023 01:36 5m 27s master
master
October 18, 2023 01:36 5m 27s
Bump actions/checkout from 3 to 4 CI #76: Pull request #304 opened by dependabot bot
October 1, 2023 04:57 2m 53s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
October 1, 2023 04:57 2m 53s
Update .mergify.yml CI #75: Commit 57b87e2 pushed by jxnu-liguobin
September 21, 2023 12:12 5m 30s master
master
September 21, 2023 12:12 5m 30s