Skip to content

Actions: uclid-org/uclid

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
114 workflow runs
114 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Blockstatement ordering Uclid CI #643: Pull request #238 synchronize by polgreen
May 3, 2024 14:33 7m 44s blockstatement_ordering
blockstatement_ordering
May 3, 2024 14:33 7m 44s
Blockstatement ordering Uclid CI #642: Pull request #238 opened by polgreen
May 3, 2024 13:46 7m 41s blockstatement_ordering
blockstatement_ordering
May 3, 2024 13:46 7m 41s
ignore: trying to fix CI Uclid CI #641: Pull request #237 synchronize by polgreen
May 1, 2024 14:32 8m 29s adt2
adt2
May 1, 2024 14:32 8m 29s
ignore: trying to fix CI Uclid CI #640: Pull request #237 opened by polgreen
May 1, 2024 14:25 8m 8s adt2
adt2
May 1, 2024 14:25 8m 8s
creating new PR to try to fix CI on adt Uclid CI #639: Pull request #236 opened by polgreen
May 1, 2024 09:40 6m 28s adt2
adt2
May 1, 2024 09:40 6m 28s
fix CI Uclid CI #638: Commit 4b4b2a4 pushed by polgreen
April 29, 2024 21:31 9m 17s master
master
April 29, 2024 21:31 9m 17s
fix CI Uclid CI #637: Pull request #235 synchronize by polgreen
April 29, 2024 19:05 9m 25s tmp
tmp
April 29, 2024 19:05 9m 25s
fix CI Uclid CI #636: Pull request #235 synchronize by polgreen
April 29, 2024 18:40 9m 12s tmp
tmp
April 29, 2024 18:40 9m 12s
fix CI Uclid CI #635: Pull request #235 synchronize by polgreen
April 29, 2024 16:31 3m 31s tmp
tmp
April 29, 2024 16:31 3m 31s
fix CI Uclid CI #634: Pull request #235 synchronize by polgreen
April 29, 2024 16:29 3m 31s tmp
tmp
April 29, 2024 16:29 3m 31s
no change Uclid CI #633: Commit 27d6d9c pushed by polgreen
April 29, 2024 16:28 Failure tmp
tmp
April 29, 2024 16:28 Failure
Update setup-z3-macos.sh Uclid CI #632: Commit d7b190b pushed by polgreen
April 29, 2024 16:26 Failure tmp
tmp
April 29, 2024 16:26 Failure
Update test.yml Uclid CI #631: Commit 059d2d4 pushed by polgreen
April 29, 2024 16:15 Failure tmp
tmp
April 29, 2024 16:15 Failure
fix CI Uclid CI #630: Pull request #235 synchronize by polgreen
April 29, 2024 16:08 3m 22s tmp
tmp
April 29, 2024 16:08 3m 22s
fix CI Uclid CI #629: Pull request #235 synchronize by polgreen
April 29, 2024 16:06 3m 39s tmp
tmp
April 29, 2024 16:06 3m 39s
fix CI Uclid CI #628: Pull request #235 synchronize by polgreen
April 29, 2024 16:03 3m 41s tmp
tmp
April 29, 2024 16:03 3m 41s
fix CI Uclid CI #627: Pull request #235 opened by polgreen
April 29, 2024 15:50 3m 33s tmp
tmp
April 29, 2024 15:50 3m 33s
Adding support for Algebraic Datatypes Uclid CI #626: Pull request #234 opened by amarshah1
April 16, 2024 16:09 2m 48s amarshah1:adt
amarshah1:adt
April 16, 2024 16:09 2m 48s
Merge pull request #233 from uclid-org/adwait-importfix Uclid CI #625: Commit b508697 pushed by adwait
April 11, 2024 19:16 8m 14s master
master
April 11, 2024 19:16 8m 14s
Fix issue with SExpr parser Uclid CI #624: Pull request #233 opened by adwait
March 28, 2024 20:00 5m 8s adwait-importfix
adwait-importfix
March 28, 2024 20:00 5m 8s
Return original expr instead of throwing errors to past test Uclid CI #623: Commit 837bee8 pushed by polgreen
March 19, 2024 11:44 5m 24s master
master
March 19, 2024 11:44 5m 24s
Improve json cex printing Uclid CI #622: Pull request #232 opened by perry0513
March 18, 2024 23:38 7m 7s peiwei-cexjson
peiwei-cexjson
March 18, 2024 23:38 7m 7s
Add CI for smoke testing. Make helper function for smoke testing so t… Uclid CI #621: Commit 13bfea2 pushed by polgreen
January 15, 2024 17:00 7m 44s master
master
January 15, 2024 17:00 7m 44s
Smoke Testing Uclid CI #620: Pull request #211 synchronize by FedericoAureliano
January 12, 2024 22:33 7m 29s sanchezocegueda:master
sanchezocegueda:master
January 12, 2024 22:33 7m 29s
Smoke Testing Uclid CI #619: Pull request #211 synchronize by sanchezocegueda
November 21, 2023 03:16 7m 2s sanchezocegueda:master
sanchezocegueda:master
November 21, 2023 03:16 7m 2s