Skip to content

Actions: bitlap/smt

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
86 workflow runs
86 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update scalafmt-core to 3.9.3 (#359) CI #173: Commit 816cddb pushed by mergify bot
March 7, 2025 15:30 2m 41s master
master
March 7, 2025 15:30 2m 41s
Update scalafmt-core to 3.9.3 CI #172: Pull request #359 opened by scala-steward
March 7, 2025 15:28 1m 19s scala-steward:update/scalafmt-core-3.9.3
scala-steward:update/scalafmt-core-3.9.3
March 7, 2025 15:28 1m 19s
Update sbt, scripted-plugin to 1.10.10 CI #171: Pull request #358 opened by scala-steward
March 5, 2025 14:49 2m 0s scala-steward:update/sbt-1.10.10
scala-steward:update/sbt-1.10.10
March 5, 2025 14:49 2m 0s
Update sbt, scripted-plugin to 1.10.8 CI #170: Pull request #357 opened by scala-steward
March 3, 2025 14:37 1m 36s scala-steward:update/sbt-1.10.8
scala-steward:update/sbt-1.10.8
March 3, 2025 14:37 1m 36s
Update scalafmt-core to 3.9.2 (#356) CI #169: Commit d35c407 pushed by mergify bot
March 1, 2025 14:23 2m 49s master
master
March 1, 2025 14:23 2m 49s
Update scalafmt-core to 3.9.2 CI #168: Pull request #356 opened by scala-steward
March 1, 2025 14:21 1m 27s scala-steward:update/scalafmt-core-3.9.2
scala-steward:update/scalafmt-core-3.9.2
March 1, 2025 14:21 1m 27s
Update scalafmt-core to 3.9.1 (#355) CI #167: Commit 1b9b711 pushed by mergify bot
February 23, 2025 14:28 1m 17s master
master
February 23, 2025 14:28 1m 17s
Update scalafmt-core to 3.9.1 CI #166: Pull request #355 opened by scala-steward
February 23, 2025 14:27 1m 31s scala-steward:update/scalafmt-core-3.9.1
scala-steward:update/scalafmt-core-3.9.1
February 23, 2025 14:27 1m 31s
Update sbt-scoverage to 2.3.1 (#354) CI #165: Commit 09802ba pushed by mergify bot
February 21, 2025 11:05 2m 53s master
master
February 21, 2025 11:05 2m 53s
Update sbt-scoverage to 2.3.1 CI #164: Pull request #354 opened by scala-steward
February 21, 2025 11:03 1m 41s scala-steward:update/sbt-scoverage-2.3.1
scala-steward:update/sbt-scoverage-2.3.1
February 21, 2025 11:03 1m 41s
Update scalafmt-core to 3.9.0 (#353) CI #163: Commit 8a50d76 pushed by mergify bot
February 17, 2025 14:59 3m 15s master
master
February 17, 2025 14:59 3m 15s
Update scalafmt-core to 3.9.0 CI #162: Pull request #353 opened by scala-steward
February 17, 2025 14:57 1m 58s scala-steward:update/scalafmt-core-3.9.0
scala-steward:update/scalafmt-core-3.9.0
February 17, 2025 14:57 1m 58s
Update scalafmt-core to 3.8.6 (#352) CI #161: Commit 253ed9c pushed by mergify bot
January 24, 2025 16:00 2m 46s master
master
January 24, 2025 16:00 2m 46s
Update scalafmt-core to 3.8.6 CI #160: Pull request #352 opened by scala-steward
January 24, 2025 15:57 2m 1s scala-steward:update/scalafmt-core-3.8.6
scala-steward:update/scalafmt-core-3.8.6
January 24, 2025 15:57 2m 1s
Update sbt-scalafmt to 2.5.4 (#350) CI #159: Commit 441d00e pushed by mergify bot
January 18, 2025 15:29 3m 0s master
master
January 18, 2025 15:29 3m 0s
Update scalafmt-core to 3.8.5 CI #158: Pull request #351 opened by scala-steward
January 18, 2025 15:27 1m 29s scala-steward:update/scalafmt-core-3.8.5
scala-steward:update/scalafmt-core-3.8.5
January 18, 2025 15:27 1m 29s
Update sbt-scalafmt to 2.5.4 CI #157: Pull request #350 opened by scala-steward
January 18, 2025 15:27 1m 38s scala-steward:update/sbt-scalafmt-2.5.4
scala-steward:update/sbt-scalafmt-2.5.4
January 18, 2025 15:27 1m 38s
Update sbt-scoverage to 2.3.0 (#348) CI #156: Commit 71bd5ff pushed by mergify bot
January 16, 2025 14:41 3m 0s master
master
January 16, 2025 14:41 3m 0s
Update sbt-scoverage to 2.3.0 CI #155: Pull request #348 synchronize by scala-steward
January 16, 2025 14:39 1m 38s scala-steward:update/sbt-scoverage-2.3.0
scala-steward:update/sbt-scoverage-2.3.0
January 16, 2025 14:39 1m 38s
Update scala-compiler, scala-library, ... to 2.13.16 CI #154: Pull request #349 opened by scala-steward
January 16, 2025 14:39 1m 32s scala-steward:update/scala-compiler-2.13.16
scala-steward:update/scala-compiler-2.13.16
January 16, 2025 14:39 1m 32s
Update sbt-scalafmt to 2.5.3 (#346) CI #153: Commit c9aed03 pushed by mergify bot
January 14, 2025 15:01 3m 14s master
master
January 14, 2025 15:01 3m 14s
Update sbt-scoverage to 2.3.0 CI #152: Pull request #348 opened by scala-steward
January 14, 2025 14:59 2m 53s scala-steward:update/sbt-scoverage-2.3.0
scala-steward:update/sbt-scoverage-2.3.0
January 14, 2025 14:59 2m 53s
Update scalafmt-core to 3.8.4 CI #151: Pull request #347 opened by scala-steward
January 14, 2025 14:59 1m 41s scala-steward:update/scalafmt-core-3.8.4
scala-steward:update/scalafmt-core-3.8.4
January 14, 2025 14:59 1m 41s
Update sbt-scalafmt to 2.5.3 CI #150: Pull request #346 opened by scala-steward
January 14, 2025 14:59 1m 56s scala-steward:update/sbt-scalafmt-2.5.3
scala-steward:update/sbt-scalafmt-2.5.3
January 14, 2025 14:59 1m 56s
Update sbt, scripted-plugin to 1.10.7 CI #149: Pull request #345 opened by scala-steward
December 23, 2024 14:30 1m 38s scala-steward:update/sbt-1.10.7
scala-steward:update/sbt-1.10.7
December 23, 2024 14:30 1m 38s