Skip to content

Actions: bitlap/smt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
172 workflow runs
172 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 scalafmt-core to 3.8.6 Auto approve #379: Pull request #352 opened by scala-steward
January 24, 2025 15:57 10s
January 24, 2025 15:57 10s
Update sbt-scalafmt to 2.5.4 (#350) autoupdate #521: Commit 441d00e pushed by mergify bot
January 18, 2025 15:29 24s master
master
January 18, 2025 15:29 24s
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 scalafmt-core to 3.8.5 Auto approve #378: Pull request #351 opened by scala-steward
January 18, 2025 15:27 12s
January 18, 2025 15:27 12s
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-scalafmt to 2.5.4 Auto approve #377: Pull request #350 opened by scala-steward
January 18, 2025 15:27 11s
January 18, 2025 15:27 11s
Update sbt-scoverage to 2.3.0 (#348) autoupdate #520: Commit 71bd5ff pushed by mergify bot
January 16, 2025 14:41 22s master
master
January 16, 2025 14:41 22s
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 sbt-scoverage to 2.3.0 Auto approve #376: Pull request #348 synchronize by scala-steward
January 16, 2025 14:39 11s
January 16, 2025 14:39 11s
Update scala-compiler, scala-library, ... to 2.13.16 Auto approve #375: Pull request #349 opened by scala-steward
January 16, 2025 14:39 12s
January 16, 2025 14:39 12s
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) autoupdate #519: Commit c9aed03 pushed by mergify bot
January 14, 2025 15:01 22s master
master
January 14, 2025 15:01 22s
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 sbt-scoverage to 2.3.0 Auto approve #374: Pull request #348 opened by scala-steward
January 14, 2025 14:59 12s
January 14, 2025 14:59 12s
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 scalafmt-core to 3.8.4 Auto approve #373: Pull request #347 opened by scala-steward
January 14, 2025 14:59 11s
January 14, 2025 14:59 11s
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-scalafmt to 2.5.3 Auto approve #372: Pull request #346 opened by scala-steward
January 14, 2025 14:59 14s
January 14, 2025 14:59 14s
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
Update sbt, scripted-plugin to 1.10.7 Auto approve #371: Pull request #345 opened by scala-steward
December 23, 2024 14:30 14s
December 23, 2024 14:30 14s