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