Remove PULP CI configuration

We don't support this CI configuration any more.
This commit is contained in:
Philipp Wagner 2019-04-08 13:43:28 +01:00
parent 8813f57624
commit 148604265e
2 changed files with 0 additions and 12 deletions

View file

@ -1,9 +0,0 @@
dummy_test_to_trigger_pulpino_ci:
stage: test
script:
- ci/dummy.csh
trigger_build:
stage: deploy
script:
- "curl -X POST -F token=d80b010cbbb5f0143e0aed386e3202 -F ref=master https://iis-git.ee.ethz.ch/api/v4/projects/72/trigger/pipeline"

View file

@ -1,3 +0,0 @@
#!/bin/tcsh
echo "New commit triggers PULPino CI"