Skip to content

Actions: uclid-org/uclid

Actions

Uclid CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
114 workflow runs
114 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #254 from uclid-org/fix-253 Uclid CI #693: Commit 86f2248 pushed by FedericoAureliano
July 17, 2024 20:17 5m 17s master
master
July 17, 2024 20:17 5m 17s
Fix data type hashing; fix 253 Uclid CI #692: Pull request #254 synchronize by FedericoAureliano
July 17, 2024 16:49 5m 12s fix-253
fix-253
July 17, 2024 16:49 5m 12s
Fix data type hashing; fix 253 Uclid CI #691: Pull request #254 synchronize by FedericoAureliano
July 17, 2024 16:44 2m 46s fix-253
fix-253
July 17, 2024 16:44 2m 46s
Merge pull request #256 from uclid-org/fix-255 Uclid CI #690: Commit 289628e pushed by FedericoAureliano
July 17, 2024 16:42 4m 43s master
master
July 17, 2024 16:42 4m 43s
add test to CI and remove control block to avoid needless solver call Uclid CI #689: Commit f4fae77 pushed by polgreen
July 17, 2024 16:34 10m 26s master
master
July 17, 2024 16:34 10m 26s
Rewrite Polymorphic Select for Quantifiers and Other Vars Too Uclid CI #688: Pull request #259 opened by FedericoAureliano
July 17, 2024 16:01 10m 24s fix-249-take-2
fix-249-take-2
July 17, 2024 16:01 10m 24s
add correct parser spec Uclid CI #687: Commit 3f1a8b1 pushed by polgreen
July 4, 2024 15:41 5m 20s master
master
July 4, 2024 15:41 5m 20s
update IsRewritable in RewritePolymorphicSelect to handle functions; … Uclid CI #686: Commit d506959 pushed by polgreen
July 4, 2024 15:41 5m 7s master
master
July 4, 2024 15:41 5m 7s
Fix For Issue #249 Uclid CI #685: Pull request #252 synchronize by polgreen
July 4, 2024 15:16 9m 8s fix-249
fix-249
July 4, 2024 15:16 9m 8s
revert to macOS 13 Uclid CI #684: Commit be53fa4 pushed by polgreen
July 4, 2024 15:13 10m 28s master
master
July 4, 2024 15:13 10m 28s
fix CI for mac Uclid CI #683: Pull request #257 synchronize by polgreen
July 4, 2024 15:02 9m 23s fix_ci
fix_ci
July 4, 2024 15:02 9m 23s
fix CI for mac Uclid CI #682: Pull request #257 opened by polgreen
July 4, 2024 14:51 10m 11s fix_ci
fix_ci
July 4, 2024 14:51 10m 11s
Fix For Issue #249 Uclid CI #681: Pull request #252 synchronize by polgreen
July 4, 2024 14:43 5m 34s fix-249
fix-249
July 4, 2024 14:43 5m 34s
Fix For Issue #250 Uclid CI #680: Pull request #251 synchronize by FedericoAureliano
July 4, 2024 05:51 3m 33s fix-250
fix-250
July 4, 2024 05:51 3m 33s
Fix For Issue #250 Uclid CI #679: Pull request #251 synchronize by FedericoAureliano
July 4, 2024 05:42 2m 40s fix-250
fix-250
July 4, 2024 05:42 2m 40s
Declare types in the correct order Uclid CI #678: Pull request #256 opened by FedericoAureliano
July 4, 2024 05:39 3m 41s fix-255
fix-255
July 4, 2024 05:39 3m 41s
Fix data type hashing; fix 253 Uclid CI #677: Pull request #254 synchronize by FedericoAureliano
July 4, 2024 05:02 3m 26s fix-253
fix-253
July 4, 2024 05:02 3m 26s
Fix data type hashing; fix 253 Uclid CI #676: Pull request #254 synchronize by FedericoAureliano
July 4, 2024 05:00 2m 52s fix-253
fix-253
July 4, 2024 05:00 2m 52s
Fix data type hashing; fix 253 Uclid CI #675: Pull request #254 opened by FedericoAureliano
July 4, 2024 04:59 3m 57s fix-253
fix-253
July 4, 2024 04:59 3m 57s
Fix For Issue #249 Uclid CI #674: Pull request #252 opened by FedericoAureliano
June 30, 2024 22:47 3m 42s fix-249
fix-249
June 30, 2024 22:47 3m 42s
Fix For Issue #250 Uclid CI #673: Pull request #251 opened by FedericoAureliano
June 29, 2024 21:11 33s fix-250
fix-250
June 29, 2024 21:11 33s
Merge pull request #247 from uclid-org/adt.constructionordering Uclid CI #672: Commit 6f3f8da pushed by adwait
May 11, 2024 05:10 8m 32s master
master
May 11, 2024 05:10 8m 32s
Fix minor bug in ADT datatype declaration field ordering Uclid CI #671: Pull request #247 opened by adwait
May 11, 2024 01:23 8m 41s adt.constructionordering
adt.constructionordering
May 11, 2024 01:23 8m 41s
Merge pull request #243 from uclid-org/fix-242 Uclid CI #670: Commit a4c5f77 pushed by adwait
May 11, 2024 00:26 9m 29s master
master
May 11, 2024 00:26 9m 29s
Fix Type Checking + Type Declaration Bugs with ADTs Uclid CI #669: Pull request #243 synchronize by adwait
May 11, 2024 00:15 8m 30s fix-242
fix-242
May 11, 2024 00:15 8m 30s