Merge pull request #345 from afuetterer/github-actions

ci: update ci run conditions
pangaea-data-publisher · Aug 21, 2023 · 32db0b2 · 32db0b2
2 parents 5204d12 + 46ae0a9
commit 32db0b2
Showing 1 changed file with 16 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,6 +1,20 @@
-name: fuji-server-main
+name: CI
 
-on: [push, pull_request]
+on:
+  push:
+    branches: [master]
+  pull_request:
+
+concurrency:
+  group: ci-${{ github.head_ref }}
+  cancel-in-progress: true
+
+env:
+  PYTHONUNBUFFERED: 1
+  FORCE_COLOR: 1 # colored output by pytest etc.
+
+permissions:
+  contents: read
 
 jobs: