Skip to content

Actions: uclid-org/uclid

Actions

Uclid CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test.yml
78 workflow runs
78 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Blockstatement ordering Uclid CI #655: Pull request #238 synchronize by polgreen
May 7, 2024 16:27 7m 58s blockstatement_ordering
blockstatement_ordering
May 7, 2024 16:27 7m 58s
Blockstatement ordering Uclid CI #654: Pull request #238 synchronize by polgreen
May 7, 2024 12:37 9m 39s blockstatement_ordering
blockstatement_ordering
May 7, 2024 12:37 9m 39s
Blockstatement ordering Uclid CI #653: Pull request #238 synchronize by polgreen
May 7, 2024 12:34 7m 46s blockstatement_ordering
blockstatement_ordering
May 7, 2024 12:34 7m 46s
Blockstatement ordering Uclid CI #652: Pull request #238 synchronize by polgreen
May 7, 2024 12:29 7m 7s blockstatement_ordering
blockstatement_ordering
May 7, 2024 12:29 7m 7s
Blockstatement ordering Uclid CI #651: Pull request #238 synchronize by polgreen
May 7, 2024 12:19 3m 29s blockstatement_ordering
blockstatement_ordering
May 7, 2024 12:19 3m 29s
add documentation for TesterType as a comment above the case class Uclid CI #650: Commit 378e9bf pushed by polgreen
May 7, 2024 07:32 9m 11s master
master
May 7, 2024 07:32 9m 11s
Add support for Algebraic Data Types Uclid CI #649: Pull request #239 synchronize by FedericoAureliano
May 6, 2024 19:24 9m 20s adt
adt
May 6, 2024 19:24 9m 20s
Add support for Algebraic Data Types Uclid CI #648: Pull request #239 synchronize by FedericoAureliano
May 6, 2024 19:21 9m 45s adt
adt
May 6, 2024 19:21 9m 45s
Blockstatement ordering Uclid CI #647: Pull request #238 synchronize by polgreen
May 6, 2024 15:03 8m 36s blockstatement_ordering
blockstatement_ordering
May 6, 2024 15:03 8m 36s
Add support for Algebraic Data Types Uclid CI #646: Pull request #239 synchronize by FedericoAureliano
May 5, 2024 22:34 8m 41s adt
adt
May 5, 2024 22:34 8m 41s
Add support for Algebraic Data Types Uclid CI #645: Pull request #239 opened by FedericoAureliano
May 5, 2024 00:04 8m 43s adt
adt
May 5, 2024 00:04 8m 43s