Add GitHub Actions workflow for release and create README file

heia-fr · Dec 18, 2024 · 93c44b2 · 93c44b2
1 parent 02e1f81
commit 93c44b2
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 0 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -0,0 +1,18 @@
+name: release
+
+on:
+  push:
+    tags: ['*']
+
+jobs:
+  release:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - run: mkdir -p dist
+      - run: zip -r dist/boilerplate.zip .devcontainer .startup.sh
+      - uses: softprops/action-gh-release@v2
+        id: release
+        if: startsWith(github.ref, 'refs/tags/')
+        with:
+          files: dist/*.zip
diff --git a/README.md b/README.md
@@ -0,0 +1 @@
+# Compiler Construction Lecture - Development Environment
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		# Compiler Construction Lecture - Development Environment