Skip to content

Actions: uclid-org/uclid

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
88 workflow runs
88 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
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
Blockstatement ordering Uclid CI #644: Pull request #238 synchronize by polgreen
May 3, 2024 15:21 7m 34s blockstatement_ordering
blockstatement_ordering
May 3, 2024 15:21 7m 34s
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