Skip to content

Actions: uclid-org/uclid

Actions

Uclid CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
112 workflow runs
112 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update tutorial example: double is now a reserved word for float Uclid CI #618: Commit af3b470 pushed by polgreen
November 14, 2023 10:49 5m 16s master
master
November 14, 2023 10:49 5m 16s
Update tutorial example: double is now a reserved word for float Uclid CI #617: Pull request #229 opened by polgreen
November 14, 2023 10:39 6m 20s fix
fix
November 14, 2023 10:39 6m 20s
fix typo in readme Uclid CI #616: Commit 3bacfb8 pushed by polgreen
September 5, 2023 08:53 6m 24s master
master
September 5, 2023 08:53 6m 24s
Update installation instructions Uclid CI #615: Pull request #228 synchronize by polgreen
August 24, 2023 11:29 8m 16s update_install
update_install
August 24, 2023 11:29 8m 16s
Update installation instructions Uclid CI #614: Pull request #228 synchronize by polgreen
August 23, 2023 15:39 7m 52s update_install
update_install
August 23, 2023 15:39 7m 52s
Update installation instructions Uclid CI #613: Pull request #228 opened by polgreen
August 23, 2023 15:37 7m 31s update_install
update_install
August 23, 2023 15:37 7m 31s
make scripts for mac support m1 Uclid CI #612: Commit c169053 pushed by polgreen
August 23, 2023 12:18 7m 34s master
master
August 23, 2023 12:18 7m 34s
update Z3 version Uclid CI #611: Pull request #227 synchronize by polgreen
August 23, 2023 11:55 13m 30s updateZ3
updateZ3
August 23, 2023 11:55 13m 30s
update Z3 version Uclid CI #610: Pull request #227 synchronize by polgreen
August 22, 2023 09:38 7m 54s updateZ3
updateZ3
August 22, 2023 09:38 7m 54s
update Z3 version Uclid CI #609: Pull request #227 synchronize by polgreen
August 22, 2023 09:38 8m 13s updateZ3
updateZ3
August 22, 2023 09:38 8m 13s
update Z3 version Uclid CI #608: Pull request #227 synchronize by polgreen
August 22, 2023 09:37 10m 23s updateZ3
updateZ3
August 22, 2023 09:37 10m 23s
Mac m1 Uclid CI #607: Pull request #226 synchronize by KE7
August 11, 2023 02:19 8m 14s KE7:macM1
KE7:macM1
August 11, 2023 02:19 8m 14s
Smoke Testing Uclid CI #606: Pull request #211 synchronize by sanchezocegueda
August 9, 2023 19:30 10m 15s sanchezocegueda:master
sanchezocegueda:master
August 9, 2023 19:30 10m 15s
update Z3 version Uclid CI #605: Pull request #227 synchronize by polgreen
August 9, 2023 12:59 2m 29s updateZ3
updateZ3
August 9, 2023 12:59 2m 29s
update Z3 version Uclid CI #604: Pull request #227 synchronize by polgreen
August 9, 2023 12:57 1m 0s updateZ3
updateZ3
August 9, 2023 12:57 1m 0s
update Z3 version Uclid CI #603: Pull request #227 synchronize by polgreen
August 9, 2023 12:55 1m 15s updateZ3
updateZ3
August 9, 2023 12:55 1m 15s
update Z3 version Uclid CI #602: Pull request #227 opened by polgreen
August 9, 2023 12:49 54s updateZ3
updateZ3
August 9, 2023 12:49 54s
Mac m1 Uclid CI #601: Pull request #226 synchronize by KE7
August 4, 2023 16:05 4m 30s KE7:macM1
KE7:macM1
August 4, 2023 16:05 4m 30s
Mac m1 Uclid CI #600: Pull request #226 opened by KE7
August 4, 2023 15:43 4m 53s KE7:macM1
KE7:macM1
August 4, 2023 15:43 4m 53s
Update sbt-scoverage to 2.0.8 Uclid CI #599: Pull request #225 opened by DavidGregory084
August 2, 2023 12:42 18m 45s DavidGregory084:update/sbt-scoverage-2.0.8
DavidGregory084:update/sbt-scoverage-2.0.8
August 2, 2023 12:42 18m 45s
Update scalatest to 3.2.16 Uclid CI #598: Pull request #224 opened by DavidGregory084
August 2, 2023 12:41 17m 56s DavidGregory084:update/scalatest-3.2.16
DavidGregory084:update/scalatest-3.2.16
August 2, 2023 12:41 17m 56s
Update scalactic to 3.2.16 Uclid CI #597: Pull request #223 opened by DavidGregory084
August 2, 2023 12:41 16m 27s DavidGregory084:update/scalactic-3.2.16
DavidGregory084:update/scalactic-3.2.16
August 2, 2023 12:41 16m 27s
Update sbt to 1.9.3 Uclid CI #596: Pull request #222 opened by DavidGregory084
August 2, 2023 12:41 11m 9s DavidGregory084:update/sbt-1.9.3
DavidGregory084:update/sbt-1.9.3
August 2, 2023 12:41 11m 9s
Update scala-parser-combinators to 2.3.0 Uclid CI #595: Pull request #221 opened by DavidGregory084
August 2, 2023 12:40 13m 4s DavidGregory084:update/scala-parser-combinators-2.3.0
DavidGregory084:update/scala-parser-combinators-2.3.0
August 2, 2023 12:40 13m 4s
Update scala-library to 2.12.18 Uclid CI #594: Pull request #220 opened by DavidGregory084
August 2, 2023 12:40 11m 45s DavidGregory084:update/scala-library-2.12.18
DavidGregory084:update/scala-library-2.12.18
August 2, 2023 12:40 11m 45s