Skip to content

Actions: bitlap/smt

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
161 workflow runs
161 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update sbt to 1.9.8 (#309)
autoupdate #495: Commit cdc77d6 pushed by mergify bot
January 12, 2024 22:27 16s master
January 12, 2024 22:27 16s
Update sbt to 1.9.8
Auto approve #332: Pull request #309 opened by scala-steward
January 12, 2024 22:25 13s
January 12, 2024 22:25 13s
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
January 12, 2024 22:25 1m 48s
Update README.md
autoupdate #494: Commit 35e95fa pushed by jxnu-liguobin
December 22, 2023 01:43 17s master
December 22, 2023 01:43 17s
Update README.md
CI #85: Commit 35e95fa pushed by jxnu-liguobin
December 22, 2023 01:43 3m 57s master
December 22, 2023 01:43 3m 57s
Update scalafmt-core to 3.7.17 (#308)
autoupdate #493: Commit 2cbbff4 pushed by mergify bot
November 17, 2023 19:45 18s master
November 17, 2023 19:45 18s
Update scalafmt-core to 3.7.17 (#308)
CI #84: Commit 2cbbff4 pushed by mergify bot
November 17, 2023 19:45 3m 54s master
November 17, 2023 19:45 3m 54s
Update scalafmt-core to 3.7.17
Auto approve #331: Pull request #308 opened by scala-steward
November 17, 2023 19:43 12s
November 17, 2023 19:43 12s
Fix README.md
CI #82: Commit c5b20cb pushed by jxnu-liguobin
November 13, 2023 13:36 4m 38s master
November 13, 2023 13:36 4m 38s
Fix README.md
autoupdate #492: Commit c5b20cb pushed by jxnu-liguobin
November 13, 2023 13:36 23s master
November 13, 2023 13:36 23s
Update scalafmt-core to 3.7.16
Auto approve #330: Pull request #307 opened by scala-steward
November 11, 2023 18:15 13s
November 11, 2023 18:15 13s
Update scalafmt-core to 3.7.15 (#306)
CI #80: Commit 4a554b8 pushed by mergify bot
October 24, 2023 20:42 5m 40s master
October 24, 2023 20:42 5m 40s
Update scalafmt-core to 3.7.15 (#306)
autoupdate #491: Commit 4a554b8 pushed by mergify bot
October 24, 2023 20:42 27s master
October 24, 2023 20:42 27s
Update scalafmt-core to 3.7.15
Auto approve #329: Pull request #306 opened by scala-steward
October 24, 2023 20:39 14s
October 24, 2023 20:39 14s
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
October 24, 2023 20:38 4m 12s
Update sbt to 1.9.7
Auto approve #328: Pull request #305 opened by scala-steward
October 24, 2023 20:38 14s
October 24, 2023 20:38 14s
add project status
CI #77: Commit ceb875f pushed by jxnu-liguobin
October 18, 2023 01:36 5m 27s master
October 18, 2023 01:36 5m 27s
add project status
autoupdate #490: Commit ceb875f pushed by jxnu-liguobin
October 18, 2023 01:36 21s master
October 18, 2023 01:36 21s
Bump actions/checkout from 3 to 4
Auto approve #327: Pull request #304 opened by dependabot bot
October 1, 2023 04:57 14s
October 1, 2023 04:57 14s
Update .mergify.yml
CI #75: Commit 57b87e2 pushed by jxnu-liguobin
September 21, 2023 12:12 5m 30s master
September 21, 2023 12:12 5m 30s