Simon Michael
1c3dd50e5b
ci: sync push/pull, check both with GHC 8.6 to satisfy master
2022-03-26 09:26:53 -10:00
Simon Michael
8ad7dc41b0
ci: push: cleanup, don't run a second time in master
2022-03-26 09:02:46 -10:00
Simon Michael
59c70d9369
ci: push: cleanup
2022-03-26 08:51:23 -10:00
Simon Michael
e61216ac24
ci: push: also run on pushes to "simon" branch
2022-03-26 08:37:31 -10:00
Simon Michael
7a781b04e5
fix: ci: restore stack.yaml as a regular file to fix CI
...
Github actions `hashFiles()` may not like symlinks, see comment in
push.yml.
2022-03-25 20:59:28 -10:00
Simon Michael
fb834777a6
;fix: doc: update help/help-feedback links ( #1807 )
2022-01-15 08:53:48 -10:00
Simon Michael
1faef08c30
;ci: linux: drop unused release steps
2022-01-06 08:23:59 -10:00
Simon Michael
ab098fae99
ci: win: fix shell mismatch
2022-01-06 08:23:57 -10:00
Simon Michael
c0ac770bd7
ci: win: fix skipping of all steps, part 2
2022-01-06 08:23:57 -10:00
Simon Michael
29fb63384e
ci: win, mac: fix skipping of all steps
2022-01-06 08:23:57 -10:00
Simon Michael
56e015c409
ci: push, pull: clarify, robustify? commitlint step
2022-01-06 06:33:29 -10:00
Simon Michael
0a8835ada2
ci: win, mac: don't commitlint, let push/pull cover that
2022-01-06 06:33:25 -10:00
Simon Michael
07e84fde42
ci: doc improvements
2022-01-05 09:11:01 -10:00
Simon Michael
9888bf043c
ci: mac, windows: don't short circuit, update docs
2022-01-05 08:56:17 -10:00
Simon Michael
16124eba14
dev: move commitlint to tools, keeping bin/ for user tools
2021-12-10 16:52:19 -10:00
Simon Michael
0c6575ee8a
ci: more consistent workflow names
2021-12-10 10:40:40 -10:00
Simon Michael
e9594a93d4
ci: linux-x64: drop "static" from artifact/binary names
2021-12-09 16:00:59 -10:00
Simon Michael
91780ceb9a
ci: linux-x64: try ghc 8.10.4 -> 9.0.1
2021-12-09 15:58:47 -10:00
Simon Michael
9e24cca793
ci: rename linux workflows, branches
...
workflow linux-static-x64.yml is now linux-x64.yml
and its branch ci-linux-static is now ci-linux-x64
workflow linux-static-arm32v7.yml is now linux-arm32v7.yml
and its branch ci-linux-static-arm32 is now ci-linux-arm32v7
2021-12-09 15:38:26 -10:00
Simon Michael
6c852a8252
;ci: linux-static-x64: do a full clone to fix --version output
2021-12-02 00:39:11 -10:00
Simon Michael
8c25581dd5
ci: linux: rename to pull, don't run on push
2021-12-01 21:47:14 -10:00
Simon Michael
f0f830e06c
ci: linux: move docs to readme
2021-12-01 21:17:35 -10:00
Simon Michael
a3c71d2fad
ci: mac, windows: build on any push to these branches
2021-12-01 21:10:44 -10:00
Simon Michael
65ca30ef58
ci: dummy changes to force building
2021-12-01 18:48:53 -10:00
Simon Michael
5f55758ca4
fix: ci: when we can't figure out recent commits, don't check
2021-11-22 16:37:32 -10:00
Simon Michael
ee276afc56
ci: fall back on checking last 5 commit messages, instead of 20
...
This will allow CI status to recover faster when a bad commit message
is accidentally merged. In some cases (eg force pushes of PRs with
more than 5 commits) not all commit messages will be checked at all
times.
2021-11-14 15:49:04 -10:00
toonn
9ff5ac1288
; PR-template: Change comment syntax
...
The # syntax for comments results in all the lines being rendered as
separate headers because it's markdown syntax for titles. I believe the
markdown custom is to use `<!-- HTML comments -->`.
[ci skip]
2021-10-08 09:11:10 -10:00
toonn
1e4b5203a3
; PR-template: Update dev docs URL
...
The URL in the PR template redirects to a general contributing guide,
which is useful, but it's hard to see the trees for the forest when just
looking for PR and commit guidelines.
[ci skip]
2021-10-08 09:11:10 -10:00
Simon Michael
6f96d21a3e
ci: fix windows, make bash requirement explicit
2021-08-29 08:10:09 -10:00
Simon Michael
07eb3a9086
ci: tweak
2021-08-19 08:55:44 -10:00
Simon Michael
cf95fc7abf
ci: tweak
2021-08-18 21:47:40 -10:00
Simon Michael
90612c1444
ci: tweak
2021-08-18 18:05:02 -10:00
Simon Michael
818e098b04
ci: handle another PR failure case; more debug output
...
"Skip remaining CI steps" now also handles git log failure, continuing on instead of failing. Getting pretty gnarly.
2021-08-18 17:39:46 -10:00
Simon Michael
df6667232f
ci: if git log fails, don't skip steps and succeed
...
Eg git log fails after force-push to a PR right now.
2021-08-17 22:05:29 -10:00
Simon Michael
40c1f09b80
;ci: push: notes
2021-07-27 23:07:30 -10:00
Simon Michael
a291f5d33b
ci: push/linux/mac/windows: fix ; conditional step execution
2021-07-20 23:24:18 -10:00
Simon Michael
a54716778d
ci: windows: fix bash-specific steps
2021-07-20 23:06:34 -10:00
Simon Michael
88c6d47e32
ci: linux/mac/windows: skip steps if message begins with ;
2021-07-20 23:01:57 -10:00
Simon Michael
4641db4604
;ci: push: tweak output
2021-07-20 22:57:55 -10:00
Simon Michael
2c7e3136e0
;ci: push: skip most steps if commit message begins with ;
2021-07-20 22:51:51 -10:00
Simon Michael
41d432c30a
ci: mac: use ghc 9.0
2021-07-20 20:38:39 -10:00
Simon Michael
14e1efc843
stack: 9.0: rename yaml file, making 9.0 the default
2021-07-20 20:38:39 -10:00
Simon Michael
82b74ec41e
ci: commitlint: when range is invalid (eg force push), check last 20
...
This is imperfect but better than nothing, and should avoid spurious
failures on force pushes to PRs.
2021-07-13 12:35:48 -10:00
Simon Michael
01f9c70545
ci: run commitlint to check commits ( #1602 )
...
As first step in our main "check" workflows (push, linux, mac,
windows), check all the commit messages with commitlint.
These workflows can be triggered in various ways:
pull requests, pushes, manually, or scheduled.
For (each push to) a pull request, all commits currently in the PR
branch are checked.
For a regular push, all the pushed commits are checked, usually.
Subcases: push to master, push to other branch, force push;
I think at least the first two work, I don't care to spend more time
on it.
For a manual run, it seemed to check the same commits as a push (which
push ? Not sure how this works).
For a scheduled run - we'll see.
2021-07-10 23:26:11 -10:00
Simon Michael
8b1650c6af
;ci: rename the static linux things
2021-07-05 13:24:55 -10:00
Simon Michael
8d237869db
;ci: release: fix action-gh-release not running ?
2021-07-03 14:59:18 -10:00
Simon Michael
d2fd039460
;ci: let all workflows be triggered manually
...
For when the intended triggers fail.
2021-07-03 14:51:51 -10:00
Simon Michael
bd4dcc2a0a
;ci: release: fix tag patterns
2021-07-03 14:41:34 -10:00
Simon Michael
741662ac97
;ci: release: try out the softprops release action
2021-07-03 14:12:33 -10:00
Simon Michael
9ffed51f54
;ci: tweak new workflow names slightly
2021-06-30 18:15:01 -10:00
