Skip to content

Actions: uclid-org/uclid

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
112 workflow runs
112 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update json4s-jackson to 4.0.6 Uclid CI #593: Pull request #219 opened by DavidGregory084
August 2, 2023 12:40 12m 14s DavidGregory084:update/json4s-jackson-4.0.6
DavidGregory084:update/json4s-jackson-4.0.6
August 2, 2023 12:40 12m 14s
Update scala-logging to 3.9.5 Uclid CI #592: Pull request #218 opened by DavidGregory084
August 2, 2023 12:39 12m 56s DavidGregory084:update/scala-logging-3.9.5
DavidGregory084:update/scala-logging-3.9.5
August 2, 2023 12:39 12m 56s
Update sbteclipse-plugin to 6.0.0 Uclid CI #591: Pull request #217 opened by DavidGregory084
August 2, 2023 12:39 5m 54s DavidGregory084:update/sbteclipse-plugin-6.0.0
DavidGregory084:update/sbteclipse-plugin-6.0.0
August 2, 2023 12:39 5m 54s
Update sbt-native-packager to 1.3.25 Uclid CI #590: Pull request #216 opened by DavidGregory084
August 2, 2023 12:39 6m 40s DavidGregory084:update/sbt-native-packager-1.3.25
DavidGregory084:update/sbt-native-packager-1.3.25
August 2, 2023 12:39 6m 40s
Update scopt to 4.1.0 Uclid CI #589: Pull request #215 opened by DavidGregory084
August 2, 2023 12:39 6m 33s DavidGregory084:update/scopt-4.1.0
DavidGregory084:update/scopt-4.1.0
August 2, 2023 12:39 6m 33s
Update sbt-assembly to 0.15.0 Uclid CI #588: Pull request #214 opened by DavidGregory084
August 2, 2023 12:39 6m 31s DavidGregory084:update/sbt-assembly-0.15.0
DavidGregory084:update/sbt-assembly-0.15.0
August 2, 2023 12:39 6m 31s
Update logback-classic to 1.2.12 Uclid CI #587: Pull request #213 opened by DavidGregory084
August 2, 2023 12:38 5m 59s DavidGregory084:update/logback-classic-1.2.12
DavidGregory084:update/logback-classic-1.2.12
August 2, 2023 12:38 5m 59s
rewrite the tester Uclid CI #586: Commit 83f8fae pushed by polgreen
July 31, 2023 07:27 7m 4s master
master
July 31, 2023 07:27 7m 4s
Fix up assert bugs in init block Uclid CI #585: Pull request #210 synchronize by lichye
July 28, 2023 18:01 8m 1s lichye:master
lichye:master
July 28, 2023 18:01 8m 1s
Fix up assert bugs in init block Uclid CI #584: Pull request #210 synchronize by lichye
July 28, 2023 17:58 6m 30s lichye:master
lichye:master
July 28, 2023 17:58 6m 30s
Added function boilerplate for expr and stmts Uclid CI #583: Pull request #212 synchronize by AnirudhChaudhary
July 28, 2023 05:35 2m 33s AnirudhChaudhary:master
AnirudhChaudhary:master
July 28, 2023 05:35 2m 33s
Added function boilerplate for expr and stmts Uclid CI #582: Pull request #212 opened by AnirudhChaudhary
July 28, 2023 05:30 4m 21s AnirudhChaudhary:master
AnirudhChaudhary:master
July 28, 2023 05:30 4m 21s