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 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
Merge pull request #241 from uclid-org/adwait-adtfix Uclid CI #668: Commit d0f0c10 pushed by adwait
May 10, 2024 22:44 9m 2s master
master
May 10, 2024 22:44 9m 2s
Blockstatement ordering Uclid CI #667: Pull request #238 synchronize by polgreen
May 9, 2024 19:47 11m 25s blockstatement_ordering
blockstatement_ordering
May 9, 2024 19:47 11m 25s
Blockstatement ordering Uclid CI #666: Pull request #238 synchronize by polgreen
May 9, 2024 13:46 7m 41s blockstatement_ordering
blockstatement_ordering
May 9, 2024 13:46 7m 41s
Blockstatement ordering Uclid CI #665: Pull request #238 synchronize by polgreen
May 9, 2024 12:29 8m 30s blockstatement_ordering
blockstatement_ordering
May 9, 2024 12:29 8m 30s
Blockstatement ordering Uclid CI #664: Pull request #238 synchronize by polgreen
May 9, 2024 12:21 9m 5s blockstatement_ordering
blockstatement_ordering
May 9, 2024 12:21 9m 5s
Blockstatement ordering Uclid CI #663: Pull request #238 synchronize by polgreen
May 9, 2024 11:34 8m 23s blockstatement_ordering
blockstatement_ordering
May 9, 2024 11:34 8m 23s
Blockstatement ordering Uclid CI #662: Pull request #238 synchronize by polgreen
May 9, 2024 10:57 7m 4s blockstatement_ordering
blockstatement_ordering
May 9, 2024 10:57 7m 4s
Fix Type Checking + Type Declaration Bugs with ADTs Uclid CI #661: Pull request #243 opened by FedericoAureliano
May 9, 2024 07:14 8m 43s fix-242
fix-242
May 9, 2024 07:14 8m 43s
Fix dependency issue with generateDatatypes Uclid CI #660: Pull request #241 opened by adwait
May 8, 2024 23:32 8m 32s adwait-adtfix
adwait-adtfix
May 8, 2024 23:32 8m 32s
Blockstatement ordering Uclid CI #659: Pull request #238 synchronize by polgreen
May 8, 2024 16:06 8m 3s blockstatement_ordering
blockstatement_ordering
May 8, 2024 16:06 8m 3s
Blockstatement ordering Uclid CI #658: Pull request #238 synchronize by polgreen
May 8, 2024 11:08 7m 9s blockstatement_ordering
blockstatement_ordering
May 8, 2024 11:08 7m 9s
Blockstatement ordering Uclid CI #657: Pull request #238 synchronize by polgreen
May 8, 2024 11:03 8m 28s blockstatement_ordering
blockstatement_ordering
May 8, 2024 11:03 8m 28s
Blockstatement ordering Uclid CI #656: Pull request #238 synchronize by polgreen
May 7, 2024 16:31 8m 18s blockstatement_ordering
blockstatement_ordering
May 7, 2024 16:31 8m 18s