diff options
| author | cydparser <cydparser@gmail.com> | 2022-06-05 23:48:14 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-06 08:48:14 +0200 |
| commit | 727f24ccf6e3b367b4ff05777c64b7c9ca4debdb (patch) | |
| tree | 5ae1487be7ac771b0371ac1884cfba6edc0ac57f /resources/html/Ocean.std-theme | |
| parent | acf8bf078f154dd5707eef0d861960207a7af77b (diff) | |
Fix and improve CI (#1495)
* Pin GHC version before creating the freeze file
* Use newest action versions
* Improve caching
* Avoid unnecessarily reinstalling GHC
* Use GHC 9.2.2 for CI
Co-authored-by: Cyd Wise <cwise@tripshot.com>
Diffstat (limited to 'resources/html/Ocean.std-theme')
0 files changed, 0 insertions, 0 deletions