Skip to content

Actions: uclid-org/uclid

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
86 workflow runs
86 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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