diff options
| author | Marc Hoersken <info@marc-hoersken.de> | 2020-03-24 18:24:52 +0100 |
|---|---|---|
| committer | Marc Hoersken <info@marc-hoersken.de> | 2020-03-24 18:25:21 +0100 |
| commit | 7e8a1a087528cb265bae5c9fe346489871b5daa2 (patch) | |
| tree | 6f5dc368121d934e516bfb204969862b3038c0e9 /docs/cmdline-opts/header.d | |
| parent | fd7afa7d3926cc79000edd2ef1c60275ab5a3587 (diff) | |
CI: remove default Ubuntu build from GitHub Actions
We are already running a very similar Ubuntu build on Travis CI.
The macOS variant of this default build is kept on Github Actions.
Diffstat (limited to 'docs/cmdline-opts/header.d')
0 files changed, 0 insertions, 0 deletions