4 patches for repository http://darcs.net/screened:
patch 6ea877e7f36e6e093f30949a28eb24f003198c5a
Author: Ben Franksen <ben.franksen@online.de>
Date: Fri Nov 5 15:18:33 CET 2021
* ci: use only the default (latest) version of each OS
This makes the CI runs faster because we don't have to wait for runners to
become available.
patch 4f411fe15ea27c41a9cc64bfd0dded6e45ae8346
Author: Ben Franksen <ben.franksen@online.de>
Date: Fri Nov 5 15:36:43 CET 2021
* ci: fetch before commit
This works better with the recent change that makes us share a single
branch: rather than force-pushing our local branch, we now first fetch and
then set our HEAD to master. To completely re-initialize the git repo, pass
the argument "init" to the script.
patch e96d18f9f7ede0bf3b1da4ff2bad4bc9b67b6d6f
Author: Ben Franksen <ben.franksen@online.de>
Date: Fri Nov 5 21:23:58 CET 2021
* ci: allow empty commits
patch 5a53d445ac6bc060df48aa5bc56f3722dba524fc
Author: Ben Franksen <ben.franksen@online.de>
Date: Fri Nov 5 21:24:39 CET 2021
* ci: run tests concurrently (6 jobs)
I have observed that this makes the tests run faster, especially on macOS.
Attachments
|