split ci from release

LPCIC · Jan 15, 2025 · 3ba06ac · 3ba06ac
1 parent d6e34f0
commit 3ba06ac
Show file tree

Hide file tree

Showing 2 changed files with 34 additions and 24 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -0,0 +1,33 @@
+# This is a basic workflow to help you get started with Actions
+
+name: CI
+
+# Controls when the action will run. Triggers the workflow on push or pull request
+# events but only for the master branch
+on:
+  push:
+    branches: [ master ]
+    tags: [ "v*.*.*" ]
+  pull_request:
+    branches: [ master ]
+jobs:
+
+  docker:
+    runs-on: ubuntu-latest  # container actions require GNU/Linux
+    strategy:
+      matrix:
+        image:
+          - 'coqorg/coq:dev'
+          - 'coqorg/coq:8.20.0'
+      fail-fast: false  # don't stop jobs if one fails
+    steps:
+      - uses: actions/checkout@v3
+      - uses: coq-community/docker-coq-action@v1
+        with:
+          opam_file: 'coq-elpi.opam'
+          custom_image: ${{ matrix.image }}
+          export: 'OPAMWITHTEST OPAMIGNORECONSTRAINTS OPAMVERBOSE'  # space-separated list of variables
+        env:
+          OPAMWITHTEST: 'true'
+          OPAMIGNORECONSTRAINTS: 'coq'
+          OPAMVERBOSE: '3'
diff --git a/.github/workflows/main.yml → .github/workflows/release.yml b/.github/workflows/main.yml → .github/workflows/release.yml
@@ -1,15 +1,12 @@
 # This is a basic workflow to help you get started with Actions
 
-name: CI
+name: RELEASE
 
 # Controls when the action will run. Triggers the workflow on push or pull request
 # events but only for the master branch
 on:
   push:
-    branches: [ master ]
     tags: [ "v*.*.*" ]
-  pull_request:
-    branches: [ master ]
   workflow_dispatch:
     inputs:
       release:
@@ -36,26 +33,6 @@ env:
 
 jobs:
 
-  docker:
-    runs-on: ubuntu-latest  # container actions require GNU/Linux
-    strategy:
-      matrix:
-        image:
-          - 'coqorg/coq:dev'
-          - 'coqorg/coq:8.20.0'
-      fail-fast: false  # don't stop jobs if one fails
-    steps:
-      - uses: actions/checkout@v3
-      - uses: coq-community/docker-coq-action@v1
-        with:
-          opam_file: 'coq-elpi.opam'
-          custom_image: ${{ matrix.image }}
-          export: 'OPAMWITHTEST OPAMIGNORECONSTRAINTS OPAMVERBOSE'  # space-separated list of variables
-        env:
-          OPAMWITHTEST: 'true'
-          OPAMIGNORECONSTRAINTS: 'coq'
-          OPAMVERBOSE: '3'
-
   release:
     runs-on: ubuntu-latest
     if: startsWith(github.ref, 'refs/tags/') || inputs.release