2 patches for repository http://darcs.net/screened:
patch aab5b34c6362455c8dae9dcb772fab1b1ad8d4d2
Author: Ben Franksen <ben.franksen@online.de>
Date: Fri Nov 5 09:49:19 CET 2021
* ci: remove branching from release/trigger-ci
I found out that this interferes with caching: when you trigger CI on a
different branch, the caches from a previous run in different directory
aren't used. We now do everything on a single branch named 'master' to allow
sharing of caches.
patch 919d929c4ceda9460ed67dbfbf2f2ba3d4d22932
Author: Ben Franksen <ben.franksen@online.de>
Date: Fri Nov 5 10:17:10 CET 2021
* ci: more descriptive name for the git commit