Skip to content

Actions: ucsd-progsys/liquidhaskell

Actions

hlint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hlint.yml
609 workflow runs
609 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Persist name resolution for field names hlint #1238: Pull request #2466 synchronize by facundominguez
December 13, 2024 11:41 30s fd/resolve-field-names
fd/resolve-field-names
December 13, 2024 11:41 30s
Persist name resolution for field names hlint #1237: Pull request #2466 synchronize by facundominguez
December 12, 2024 20:11 32s fd/resolve-field-names
fd/resolve-field-names
December 12, 2024 20:11 32s
Persist name resolution for field names hlint #1236: Pull request #2466 synchronize by facundominguez
December 12, 2024 19:36 30s fd/resolve-field-names
fd/resolve-field-names
December 12, 2024 19:36 30s
Persist name resolution for field names hlint #1235: Pull request #2466 opened by facundominguez
December 12, 2024 19:33 30s fd/resolve-field-names
fd/resolve-field-names
December 12, 2024 19:33 30s
Merge pull request #2464 from ucsd-progsys/fd/lhname-measure-names3 hlint #1234: Commit 5eaba17 pushed by facundominguez
December 12, 2024 16:34 32s develop
develop
December 12, 2024 16:34 32s
Support for lambdas :) hlint #1233: Pull request #2465 opened by AlecsFerra
December 12, 2024 15:45 32s AlecsFerra:develop
AlecsFerra:develop
December 12, 2024 15:45 32s
Simplify representation of measure names hlint #1232: Pull request #2464 synchronize by facundominguez
December 12, 2024 15:39 34s fd/lhname-measure-names3
fd/lhname-measure-names3
December 12, 2024 15:39 34s
Simplify representation of measure names hlint #1231: Pull request #2464 synchronize by facundominguez
December 12, 2024 15:38 31s fd/lhname-measure-names3
fd/lhname-measure-names3
December 12, 2024 15:38 31s
Simplify representation of measure names hlint #1230: Pull request #2464 opened by facundominguez
December 12, 2024 01:43 33s fd/lhname-measure-names3
fd/lhname-measure-names3
December 12, 2024 01:43 33s
Allow local logical aliases (defines) hlint #1229: Pull request #2463 synchronize by clayrat
December 11, 2024 12:12 36s clayrat:local-define-logic
clayrat:local-define-logic
December 11, 2024 12:12 36s
Allow local logical aliases (defines) hlint #1228: Pull request #2463 opened by clayrat
December 11, 2024 12:01 32s clayrat:local-define-logic
clayrat:local-define-logic
December 11, 2024 12:01 32s
Merge pull request #2462 from ucsd-progsys/fd/name-resolution-wiredin hlint #1227: Commit a766d9f pushed by facundominguez
December 11, 2024 11:27 31s develop
develop
December 11, 2024 11:27 31s
Bless wired-in names as handled hlint #1226: Pull request #2462 opened by facundominguez
December 10, 2024 19:52 31s fd/name-resolution-wiredin
fd/name-resolution-wiredin
December 10, 2024 19:52 31s
Merge pull request #2461 from ucsd-progsys/fd/name-resolution-class-m… hlint #1225: Commit 5dbe580 pushed by facundominguez
December 10, 2024 14:36 31s develop
develop
December 10, 2024 14:36 31s
Persist name resolution for class measures hlint #1224: Pull request #2461 synchronize by facundominguez
December 9, 2024 17:04 31s fd/name-resolution-class-measures
fd/name-resolution-class-measures
December 9, 2024 17:04 31s
Persist name resolution for class measures hlint #1223: Pull request #2461 opened by facundominguez
December 9, 2024 16:58 31s fd/name-resolution-class-measures
fd/name-resolution-class-measures
December 9, 2024 16:58 31s
Merge pull request #2458 from ucsd-progsys/fd/measure-conflicts hlint #1222: Commit 8407040 pushed by facundominguez
December 5, 2024 18:53 29s develop
develop
December 5, 2024 18:53 29s
Give precedence to export local measures over imported measures hlint #1221: Pull request #2458 synchronize by facundominguez
December 5, 2024 18:53 34s fd/measure-conflicts
fd/measure-conflicts
December 5, 2024 18:53 34s
Give precedence to export local measures over imported measures hlint #1220: Pull request #2458 synchronize by facundominguez
December 5, 2024 18:52 35s fd/measure-conflicts
fd/measure-conflicts
December 5, 2024 18:52 35s
Give precedence to export local measures over imported measures hlint #1219: Pull request #2458 synchronize by facundominguez
December 4, 2024 19:39 34s fd/measure-conflicts
fd/measure-conflicts
December 4, 2024 19:39 34s
Give precedence to export local measures over imported measures hlint #1218: Pull request #2458 opened by facundominguez
December 4, 2024 18:58 1m 49s fd/measure-conflicts
fd/measure-conflicts
December 4, 2024 18:58 1m 49s
Merge pull request #2456 from ucsd-progsys/fd/measure-name-resolution hlint #1217: Commit 99404d7 pushed by facundominguez
December 4, 2024 12:26 37s develop
develop
December 4, 2024 12:26 37s
Persist name resolution for measure names hlint #1216: Pull request #2456 synchronize by facundominguez
December 3, 2024 20:51 29s fd/measure-name-resolution
fd/measure-name-resolution
December 3, 2024 20:51 29s
Persist name resolution for measure names hlint #1215: Pull request #2456 synchronize by facundominguez
December 3, 2024 20:38 29s fd/measure-name-resolution
fd/measure-name-resolution
December 3, 2024 20:38 29s
Persist name resolution for measure names hlint #1214: Pull request #2456 synchronize by facundominguez
December 3, 2024 20:30 31s fd/measure-name-resolution
fd/measure-name-resolution
December 3, 2024 20:30 31s