search

ucsd-progsys / liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types
BSD 3-Clause "New" or "Revised" License
132 stars 60 forks source link

Move from `haskell/actions` to `haskell-actions` #676

Closed philderbeast closed 7 months ago

philderbeast commented 7 months ago

The github actions we use have moved from haskell/actions to haskell-actions.

[!IMPORTANT] This repository has been archived by the owner on Jan 5, 2024. It is now read-only.

Haskell GitHub Actions

A Collection of GitHub actions for interacting with Haskell.

NOTE: This repository is winding down.

DEPRECATED action Replaced by
haskell/actions/setup haskell-actions/setup
haskell/actions/hlint-setup haskell-actions/hlint-setup
haskell/actions/hlint-run haskell-actions/hlint-run

See the individual action directory for details on usage and examples.