5 Commits

Include renames

Author	SHA1	Message	Date
Wolfgang Walther	3b497a5db4	ci: Remove useless cache- prefix for cache names ... This just makes the name longer than needed.	2024-02-26 22:06:01 +01:00
renovate[bot]andWolfgang Walther	873ac6221e	chore(deps): pin dependencies	2024-02-24 21:15:38 +01:00
Wolfgang WaltherandWolfgang Walther	9314dede2d	ci: Build with GHC 9.8.2	2024-02-24 13:37:24 +01:00
Wolfgang WaltherandWolfgang Walther	19423b0c0a	ci: Only run PR workflows when files have changed	2024-02-22 20:12:18 +01:00
Wolfgang WaltherandWolfgang Walther	e9abb64fc0	ci: Split Build workflow from CI workflow	2024-02-22 20:12:18 +01:00