Commit Graph

1952 Commits

Author SHA1 Message Date
784942ca58
Update submodule 2023-02-24 20:03:25 +08:00
75de2a7bc1
Merge branch 'ghcup-0.1.19.2' 2023-02-24 20:03:14 +08:00
ea6c8d338c
Bump ghcup in bootstrap script 2023-02-24 19:52:50 +08:00
ae625b181c
Improve pull_release_artifacts 2023-02-24 19:52:41 +08:00
89ae54a083
Set release date 2023-02-24 00:00:29 +08:00
1bd73591ba
Update data/metadata 2023-02-23 23:58:16 +08:00
f709f6e714
Update ChangeLog 2023-02-23 23:56:46 +08:00
3d7e07c371
Merge branch 'issue-796' 2023-02-23 23:52:38 +08:00
8bf17379ac
Fix windows bootstrap, fixes #796 2023-02-23 23:41:25 +08:00
4b1225ad71
Merge branch 'issue-797' 2023-02-23 23:15:48 +08:00
d628848af6
Silence hlint 2023-02-23 23:15:08 +08:00
48381be001
Bump GHC 9.2.5 to 9.2.6 2023-02-23 23:07:46 +08:00
b547324253
Smarter variants for 'listDirectory', fixing #797 2023-02-23 21:47:50 +08:00
2b1599c234
Fix windows golden file 2023-02-23 20:57:40 +08:00
7ac8989dfc
Bump to 0.1.19.2 2023-02-21 23:01:08 +08:00
cd6666ed30
Merge branch 'latest-prerelease' 2023-02-21 23:00:47 +08:00
5b7478438a
Merge branch 'issue-787' 2023-02-21 23:00:31 +08:00
4a830d9fb7
Fix regression in JFS support, fixes #787 2023-02-21 22:48:22 +08:00
785fb895b4
Implement 'latest-prerelease' tag wrt #788 2023-02-21 22:22:11 +08:00
75e801e9e6
Merge branch 'ghcup-0.1.19.1' 2023-02-20 00:03:26 +08:00
6ffd5328a4
Improve sftp-symlink-artifacts.sh 2023-02-20 00:01:11 +08:00
ed509e482b
Improve pull_release_artifacts 2023-02-19 23:58:25 +08:00
420323f43b
Update bootstrap script to 0.1.19.1 2023-02-19 23:58:07 +08:00
432962792c
Update ghcup-metadata 2023-02-19 22:56:33 +08:00
cb193f6069
Update ChangeLog for 0.1.19.1 2023-02-19 22:55:47 +08:00
2f268b6a25
Bump GHCup version 2023-02-19 22:44:28 +08:00
580606af14
Merge remote-tracking branch 'origin/pr/773' 2023-02-19 22:42:08 +08:00
faa1c3992b
Merge branch 'issue-762' 2023-02-19 22:41:27 +08:00
d17efef853
Merge branch 'issue-784' 2023-02-19 21:38:41 +08:00
179d4dd493
Fixup 2023-02-19 19:33:01 +08:00
e03c5ee4a1
Don't fail on setModificationTime, fixes #784
Related:

* https://github.com/actions/runner-images/issues/7061
* https://github.com/actions/runner-images/pull/7068
2023-02-19 19:24:45 +08:00
e57a8abd3d
Merge branch 'issue-751' 2023-02-19 19:23:48 +08:00
5fa10390a3
Fix CI 2023-02-19 19:15:09 +08:00
e1e6f579d5
Use debian:10 rather 2023-02-19 18:48:42 +08:00
72f8e53344
Fix CI 2023-02-19 17:32:28 +08:00
9c464ec9fc
Don't fail if the duplicate is the last element 2023-02-19 17:25:14 +08:00
1c9b296a5e
Merge remote-tracking branch 'origin/pr/782' 2023-02-18 19:44:25 +08:00
Bryan Richter
275522584e
Remove deprecated www 2023-02-17 13:30:29 +02:00
Bryan Richter
804520c4bb
Remove duplicate js/css includes 2023-02-17 12:56:51 +02:00
Bryan Richter
9d25581f3c
Use favicon from gitlab.haskell.org
The current .png is presumably the wrong shape and looks flattened.

Plus, mkdocs complained that 'site_favicon' was an unrecognised
configuration name, so I used the method described in the docs instead:

https://www.mkdocs.org/user-guide/customizing-your-theme/#using-the-theme_dir
2023-02-17 12:55:27 +02:00
Bryan Richter
e798037d80
Simplify removal of next/prev buttons
As documented on how to override template blocks:

https://www.mkdocs.org/user-guide/customizing-your-theme/#overriding-template-blocks

This is a big diff. I tested it by generating docs before and after the
change, and they were functionally identical.
2023-02-17 12:53:28 +02:00
Bryan Richter
2afe5858cb
Remove unused/missing javascript 2023-02-17 10:44:34 +02:00
f575dcdad6
Improve usability on 'ghcup config add-release-channel'
Fixes #751 (or so I hope).
2023-02-12 19:58:08 +08:00
6cf9967e7c
Work around missing libtinfo.so.6 2023-02-12 18:41:40 +08:00
15a75d790a
Build arm binaries in bionic images, fixes #762 2023-02-12 17:16:32 +08:00
988672ea75
Build arm images for bionic as well wrh #762 2023-02-12 17:16:27 +08:00
6d3e8d65e1
Make readDirEntPortable more robust 2023-02-11 18:51:34 +08:00
895e4b3f18
Merge branch 'issue-775' 2023-02-11 18:38:39 +08:00
20f0505120
Don't implicitly smuggle in config options
Fixes #775
2023-02-09 00:04:53 +08:00
31e83cac5e
Don't configure meta-mode = Strict in bootstrap 2023-02-08 22:42:17 +08:00