Wen Kokke
|
f331b37077
|
Cache ~/.ghcup.
|
2021-09-02 13:57:57 +01:00 |
|
Wen Kokke
|
9780deb997
|
Attempt to split up stack build.
|
2021-09-02 13:52:44 +01:00 |
|
Wen Kokke
|
f62da73cd4
|
Operation timed out. Restarting workflow in parts.
|
2021-09-02 13:40:53 +01:00 |
|
Wen Kokke
|
6cf717b152
|
Remove cache operations for Haskell, since they're included in haskell/actions/setup.
|
2021-09-01 21:19:25 +01:00 |
|
Wen Kokke
|
70c9a61de9
|
Changed cache id to match site builder name.
|
2021-09-01 21:17:01 +01:00 |
|
Wen Kokke
|
b100c017c6
|
Cache site builder separately.
|
2021-09-01 21:16:38 +01:00 |
|
Wen Kokke
|
19eca137ae
|
Abbreviated task ids.
|
2021-09-01 21:01:07 +01:00 |
|
Wen Kokke
|
c8d5f77c0e
|
Added key for cache-htmlproofer.
|
2021-09-01 20:56:20 +01:00 |
|
Wen Kokke
|
115547830d
|
Minor changes.
|
2021-09-01 20:46:42 +01:00 |
|
Wen Kokke
|
b612ae8a39
|
Minor updates to workflow.
|
2021-09-01 20:43:54 +01:00 |
|
Wen Kokke
|
638cbcdd00
|
Add Agda version to matrix.
|
2021-09-01 20:20:35 +01:00 |
|
Wen Kokke
|
ab6ee861d8
|
Ensure Makefile is loud.
|
2021-09-01 20:16:43 +01:00 |
|
Wen Kokke
|
53847909eb
|
Cache .cabal, .ghc, and .ghcup.
|
2021-09-01 20:06:09 +01:00 |
|
Wen Kokke
|
d697a4f322
|
Edited makefile and workflow to use system GHC.
|
2021-09-01 20:02:55 +01:00 |
|
Wen Kokke
|
a40bd03d35
|
Switch workflow back to macOS.
|
2021-09-01 19:50:38 +01:00 |
|
Wen Kokke
|
ac07fbf973
|
Switch workflow to Ubuntu.
|
2021-09-01 19:48:54 +01:00 |
|
Wen Kokke
|
20a928f74e
|
Wrote a more comprehensive Build action.
|
2021-09-01 19:42:29 +01:00 |
|
Wen Kokke
|
701b21bf49
|
Woops. Moved workflow into .github/workflows.
|
2021-09-01 19:20:30 +01:00 |
|