1 patch for repository http://darcs.net/screened:
patch e35f50943146937cf8f9dcfb30a6d02604ed83b9
Author: Ben Franksen <ben.franksen@online.de>
Date: Sat Nov 14 18:07:32 CET 2020
* add CI support using github actions
For the moment this is manually triggered using ./release/trigger-ci. This
script takes the basename of the current directory as the git branch name,
makes sure we are inside a darcs repo, and then creates an automatic commit
on that branch (creating it if necessary), then force-pushes that branch to
the github repo, which will trigger the CI run. If a .git does not exist
yet, it will be created, which means your branch will be reset to this
snapshot as the first and only version. The configuration of the job to run
is in .github/workflows/build-and-test.yml. Windows tests are currently
disable because they run into errors I have no idea how to fix.
Attachments
|