Remove circle ci configuration from gh pages

We removed Circle CI from this repo, as we can do everything
from github actions. There is no point in keeping this
configuration here. Removing.
This commit is contained in:
Jean-Philippe Evrard
2020-12-07 16:37:43 +01:00
parent a59b47e75f
commit ed9e8f2b35
-16
View File
@@ -1,16 +0,0 @@
version: 2.1
jobs:
build:
machine: true
steps:
- run: "echo skip"
workflows:
version: 2
ignore:
jobs:
- build:
filters:
branches:
ignore:
- gh-pages