Skip to content

Actions: ucsd-progsys/liquidhaskell

Actions

hlint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
hlint.yml
554 workflow runs
554 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix unsafe data constructor refinements hlint #1274: Pull request #2470 synchronize by AlecsFerra
January 14, 2025 17:15 36s AlecsFerra:develop
AlecsFerra:develop
January 14, 2025 17:15 36s
Fix unsafe data constructor refinements hlint #1273: Pull request #2470 synchronize by AlecsFerra
January 14, 2025 15:45 36s AlecsFerra:develop
AlecsFerra:develop
January 14, 2025 15:45 36s
Fix unsafe data constructor refinements hlint #1272: Pull request #2470 synchronize by AlecsFerra
January 14, 2025 13:57 34s AlecsFerra:develop
AlecsFerra:develop
January 14, 2025 13:57 34s
Fix unsafe data constructor refinements hlint #1271: Pull request #2470 synchronize by AlecsFerra
January 14, 2025 13:46 29s AlecsFerra:develop
AlecsFerra:develop
January 14, 2025 13:46 29s
Resolve type constructors in qualifiers via LHNames hlint #1270: Pull request #2472 synchronize by facundominguez
January 13, 2025 23:34 35s fd/qualifiers-renaming2
fd/qualifiers-renaming2
January 13, 2025 23:34 35s
Resolve type constructors in qualifiers via LHNames hlint #1269: Pull request #2472 opened by facundominguez
January 13, 2025 23:31 31s fd/qualifiers-renaming2
fd/qualifiers-renaming2
January 13, 2025 23:31 31s
Fix unsafe data constructor refinements hlint #1268: Pull request #2470 synchronize by AlecsFerra
January 10, 2025 23:12 31s AlecsFerra:develop
AlecsFerra:develop
January 10, 2025 23:12 31s
Fix unsafe data constructor refinements hlint #1267: Pull request #2470 synchronize by AlecsFerra
January 10, 2025 23:02 29s AlecsFerra:develop
AlecsFerra:develop
January 10, 2025 23:02 29s
Merge pull request #2469 from ucsd-progsys/fd/lmap-cleanups hlint #1266: Commit 1e5781e pushed by facundominguez
January 10, 2025 11:32 36s develop
develop
January 10, 2025 11:32 36s
Fix unsafe data constructor refinements hlint #1265: Pull request #2470 opened by AlecsFerra
January 10, 2025 10:30 33s AlecsFerra:develop
AlecsFerra:develop
January 10, 2025 10:30 33s
Initialize the logic map in resolveLHNames hlint #1264: Pull request #2469 opened by facundominguez
January 10, 2025 01:07 32s fd/lmap-cleanups
fd/lmap-cleanups
January 10, 2025 01:07 32s
Merge pull request #2463 from clayrat/local-define-logic hlint #1263: Commit d13f9d3 pushed by facundominguez
January 9, 2025 14:55 34s develop
develop
January 9, 2025 14:55 34s
Allow local logical aliases (defines) hlint #1262: Pull request #2463 synchronize by clayrat
January 9, 2025 14:13 32s clayrat:local-define-logic
clayrat:local-define-logic
January 9, 2025 14:13 32s
Merge pull request #2468 from ucsd-progsys/issue-728 hlint #1261: Commit 80be93f pushed by ranjitjhala
December 23, 2024 04:57 28s develop
develop
December 23, 2024 04:57 28s
Test issue728 branch of fixpoint hlint #1260: Pull request #2468 synchronize by ranjitjhala
December 20, 2024 18:38 30s issue-728
issue-728
December 20, 2024 18:38 30s
Allow local logical aliases (defines) hlint #1259: Pull request #2463 synchronize by clayrat
December 19, 2024 15:28 40s clayrat:local-define-logic
clayrat:local-define-logic
December 19, 2024 15:28 40s
Test issue728 branch of fixpoint hlint #1258: Pull request #2468 synchronize by ranjitjhala
December 19, 2024 00:40 31s issue-728
issue-728
December 19, 2024 00:40 31s
Test issue728 branch of fixpoint hlint #1257: Pull request #2468 opened by ranjitjhala
December 19, 2024 00:01 32s issue-728
issue-728
December 19, 2024 00:01 32s
Allow local logical aliases (defines) hlint #1256: Pull request #2463 synchronize by clayrat
December 18, 2024 19:58 36s clayrat:local-define-logic
clayrat:local-define-logic
December 18, 2024 19:58 36s
Allow local logical aliases (defines) hlint #1255: Pull request #2463 synchronize by clayrat
December 18, 2024 15:43 34s clayrat:local-define-logic
clayrat:local-define-logic
December 18, 2024 15:43 34s
Allow local logical aliases (defines) hlint #1254: Pull request #2463 synchronize by clayrat
December 18, 2024 14:17 29s clayrat:local-define-logic
clayrat:local-define-logic
December 18, 2024 14:17 29s
Allow local logical aliases (defines) hlint #1253: Pull request #2463 synchronize by clayrat
December 18, 2024 13:44 31s clayrat:local-define-logic
clayrat:local-define-logic
December 18, 2024 13:44 31s
Update GHC 9.8 backport to latest develop hlint #1252: Pull request #2467 opened by gergoerdi
December 18, 2024 06:55 35s gergoerdi:ghc-9.8-backport
gergoerdi:ghc-9.8-backport
December 18, 2024 06:55 35s
Allow local logical aliases (defines) hlint #1251: Pull request #2463 synchronize by clayrat
December 17, 2024 14:41 42s clayrat:local-define-logic
clayrat:local-define-logic
December 17, 2024 14:41 42s
Allow local logical aliases (defines) hlint #1250: Pull request #2463 synchronize by clayrat
December 17, 2024 14:08 38s clayrat:local-define-logic
clayrat:local-define-logic
December 17, 2024 14:08 38s