Joachim Wiberg
06bd352863
.github: fix missing quote
...
Signed-off-by: Joachim Wiberg <troglobit@gmail.com >
2023-01-07 17:59:47 +01:00
Joachim Wiberg
a918f7497a
.github: revise weekly check
...
For details, see https://stackoverflow.com/a/67527144/1708249
Signed-off-by: Joachim Wiberg <troglobit@gmail.com >
2023-01-07 17:56:42 +01:00
Joachim Wiberg
bfd1f36fdd
.github: spellcheck yaml
...
Signed-off-by: Joachim Wiberg <troglobit@gmail.com >
2023-01-07 17:26:08 +01:00
Joachim Wiberg
6fc702a560
.github: enable manual trigger as well
...
Signed-off-by: Joachim Wiberg <troglobit@gmail.com >
2023-01-07 17:24:45 +01:00
Joachim Wiberg
40dcc5541b
.github: split build in a regular build+test and weekly distcheck
...
This to save time during regular pushes and pull requests, the tests
run from distcheck take a long time, and they're not getting fewer.
Signed-off-by: Joachim Wiberg <troglobit@gmail.com >
2023-01-07 17:19:33 +01:00