fee3125b3b
No longer rely on DigitalOcean to host the Docker container. Unfortunately we require a small dispatcher script that has access to a GitHub access token with scope repo in order to trigger the daemon workflow on GitHub Actions also for PRs. This script is hosted by myself for the time being until GitHub provides a tighter scope to trigger the workflow_dispatch event. |
||
|---|---|---|
| .. | ||
| appveyor | ||
| checksrc.pl | ||
| checksrc.sh | ||
| ossfuzz.sh | ||