Commit Graph

164 Commits

Author SHA1 Message Date
Simon Michael
81d20ecaf8 ;tools: revert to ghc 9.8.2 for now
running these with ghc 9.10 is awkward
2024-12-03 09:13:14 -10:00
Simon Michael
645da4a74f ;pkg: bump to latest stackage snapshot 2024-12-02 17:13:28 -10:00
Simon Michael
a9a4fd2906 ;tools: push: github remote was renamed to origin (for jj) 2024-10-24 11:10:25 -10:00
Simon Michael
7c31ddfba2 ;tools: note gtree issue 2024-10-24 10:44:28 -10:00
Simon Michael
0cbb90cbaf ;tools: gtree: -u shows untracked files, -I adds ignored files 2024-10-10 06:51:30 -10:00
Simon Michael
45b862f84f ;dev: bump to latest stackage nightly 2024-09-28 08:39:06 -10:00
Simon Michael
483350c8cb ;tools: relnotes: more output, robustness 2024-09-09 14:04:43 -07:00
Simon Michael
08a356a7cb ;dev: pkg: bump to latest nightly stackage snapshot 2024-09-09 14:03:35 -07:00
Simon Michael
0d878415e9 ;pkg: stack: bump to latest nightly; bump various script snapshots 2024-07-12 12:45:00 +01:00
Simon Michael
3f5f99a1e9 ;tools: checkembeddedfiles: make it more robust 2024-05-29 14:45:04 -10:00
Simon Michael
5aed755b71 ;doc:,workflows: auto-generate github release notes 2024-05-19 09:55:02 -10:00
Simon Michael
7749483849 ;tools: relnotes.hs: generate/update release notes from changelogs 2024-04-22 15:58:08 -10:00
Simon Michael
7b76d87337 ;tools: helper for managing issue links in markdown. 2024-04-22 15:58:01 -10:00
Simon Michael
ee0c36dfde ;tools: bump snapshot/ghc versions 2024-03-02 10:06:35 -10:00
Simon Michael
805fa67a28 ;tools:buglist: improvements 2024-03-01 22:23:17 -10:00
Simon Michael
8f1ae401f4 dev: fix some partial head/tails, silence ghc 9.8's new warnings
Note the headErr/tailErr calls will print stack traces if they fail
(small ones: five lines, one of which is the useful location info),
which may or may not be best UX.
2024-02-28 15:58:21 -10:00
Simon Michael
5d90a89eda ;tools:buglist: prototype 2024-01-27 13:30:50 -10:00
Simon Michael
1f5a6fc758 ;tools: generatejournal: make runnable without compiling, with arguments 2023-12-15 19:35:18 -10:00
Simon Michael
8bfde51ae8 ;dev:ci: rename usual CI branch to "ci" 2023-10-18 14:02:59 +01:00
Simon Michael
a3c300b508 ;dev: make/shake/bake help titles 2023-06-14 23:54:29 -10:00
Simon Michael
cc265d906e ;dev:checkembeddedfiles: fix mac binaries workflow 2023-06-14 22:45:12 -10:00
Simon Michael
748e4e8e5d ;dev: comment 2023-06-06 20:35:22 -10:00
Simon Michael
7bbda90e2c ;dev:tools:checkembeddedfiles: fail when rg is not installed 2023-06-02 11:08:40 -10:00
Simon Michael
fc9908890d ;dev:tools: checkversions update 2023-06-02 10:22:47 -10:00
Simon Michael
a56d0393be ;dev:tools: checkversions 2023-06-02 09:31:36 -10:00
Simon Michael
40bb5a2c5c ;dev:tools: checkembeddedfiles 2023-06-02 07:49:18 -10:00
Simon Michael
502b80ad81 ;dev: push: ensure git's pager doesn't stop progress 2023-05-27 12:47:32 -10:00
Simon Michael
acc0160d7c ;dev: rename tools/release to bake 2023-03-16 15:54:39 -10:00
Simon Michael
eff29ac10d ;tools: push: refactor 2023-01-21 10:21:38 -10:00
Simon Michael
7a5676dde4 ;tools: push: select branch to push more robustly 2023-01-21 10:19:03 -10:00
Simon Michael
e07d290338 ;dev: tools: cleanup 2022-12-11 15:31:40 -10:00
Simon Michael
cf2c794c6e ;dev: tools/ciwatch: succeed if no runs are in progress 2022-12-11 13:07:20 -10:00
Simon Michael
c0b63c14e9 ;dev: tools/push improvements 2022-12-11 13:07:08 -10:00
Simon Michael
c50df8bee8 ;dev: tools/ciwatch fix 2022-12-11 13:00:53 -10:00
Simon Michael
b49968ee32 ;dev: extract tools/push 2022-12-11 11:49:27 -10:00
Simon Michael
76165f962d ;dev: tools/pushdocs 2022-12-11 11:04:25 -10:00
Simon Michael
4bd4f69c7e dev: tools/ciwatch 2022-12-11 11:04:10 -10:00
Simon Michael
688e392ce9 tools: gtree enhancement 2022-12-05 06:50:44 -10:00
Simon Michael
ad889065af tools: gtree 2022-12-04 17:47:48 -08:00
Simon Michael
8fddc1e528 dev: tools/release: update for new "github" remote name 2022-12-01 12:20:27 -08:00
Simon Michael
6a304968ff tools: release: use new binaries branch (and force a new build) 2022-06-05 00:03:39 +01:00
Simon Michael
b1c882ccdf tools: release: prep: more verbose progress output 2022-03-05 13:36:13 -10:00
Simon Michael
347adbed34 tools: release relfiles 2022-03-05 13:21:10 -10:00
Simon Michael
bf9e019bcb tools: commitlint: update/simplify 2022-02-07 11:58:29 -10:00
Simon Michael
cddc719bd1 tools: commitlint: allow a git "fixup! " prefix
(Allows git commit --fixup and magit c F to work)
2022-02-07 11:58:29 -10:00
Simon Michael
987e2751d9 tools: commitlint: update doc url 2022-02-03 16:27:32 -10:00
Simon Michael
20ab8abd8d ;tools: release: push current HEAD, not master 2022-01-06 08:23:57 -10:00
Simon Michael
07e84fde42 ci: doc improvements 2022-01-05 09:11:01 -10:00
Simon Michael
b71680dffd ;tools: release 2022-01-05 08:41:36 -10:00
Simon Michael
51fac9949f ;tools: changelog: doc 2022-01-01 16:07:02 -10:00