Albert Krewinkel 405a31c3fd CI: remove cabal command prefix. ...

This was required for older cabal-install versions, but these are no
longer supported.

2022-07-12 14:25:50 +02:00

..

ISSUE_TEMPLATE

Make parts of the bug report templates HTML comments.

2021-06-11 13:29:21 -07:00

workflows

CI: remove cabal command prefix.

2022-07-12 14:25:50 +02:00

dependabot.yml

Included githubactions in the dependabot config (#7985)

2022-03-24 13:25:58 -07:00

FUNDING.yml

Add @tarleb to .github/FUNDING.yml since he is on sponsors now.

2020-01-10 08:03:33 -08:00