Use GitHub Actions for CI

2020-12-07 12:25:08 +01:00
parent f5492ca35d
commit 6fb521f80a
9 changed files with 90 additions and 65 deletions
--- a/config/code_ocean.yml.ci
+++ b/config/code_ocean.yml.ci
@ -0,0 +1,9 @@
+test:
+  flowr:
+    enabled: false
+  code_pilot:
+    enabled: false
+  codeharbor:
+    url: http://test.url
+  codeocean_events:
+    enabled: false