diff options
| author | Jiří Beneš | 2025-03-28 16:56:07 +0100 |
|---|---|---|
| committer | Jiří Beneš | 2025-03-28 16:56:07 +0100 |
| commit | c49e5ab729a90bb24fd1a70112ae007936aa72b4 (patch) | |
| tree | bbe9e0d2b0d4388726773d9f71222ea387d0fb98 /.github | |
| parent | 069dfd6cf2d99dcb4761991ce8e2218834cde08c (diff) | |
Remove GitHub Pages for now
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/deploy-pages.yml | 50 |
1 files changed, 0 insertions, 50 deletions
diff --git a/.github/workflows/deploy-pages.yml b/.github/workflows/deploy-pages.yml deleted file mode 100644 index 92d045c..0000000 --- a/.github/workflows/deploy-pages.yml +++ /dev/null @@ -1,50 +0,0 @@ -name: Deploy to GitHub Pages - -on: - push: - branches: [ "main" ] # Configure branch here - workflow_dispatch: # Allow manual trigger - -jobs: - build: - runs-on: ubuntu-latest - - steps: - - uses: actions/checkout@v4 - - uses: actions/setup-node@v4 - with: - node-version: '20.x' - - uses: actions/setup-java@v4 - with: - distribution: 'zulu' - java-version: '17' - - name: Install Effekt and Setup Environment - run: | - which java - java -version - echo "JAVA_HOME=$JAVA_HOME" - npm install -g @effekt-lang/effekt - - name: Build - id: build - run: | - export PATH="$JAVA_HOME/bin:$PATH" - effekt ${{ github.workspace }}/src/main.effekt --backend js-web --includes ${{ github.workspace }} - - name: Upload Artifact - id: deployment - uses: actions/upload-pages-artifact@v3 - with: - path: ${{ github.workspace }}/out/ - - deploy: - needs: build - runs-on: ubuntu-latest - permissions: - pages: write - id-token: write - environment: - name: github-pages - url: ${{ steps.deployment.outputs.page_url }} - steps: - - name: Deploy to GitHub Pages - id: deployment - uses: actions/deploy-pages@v4
\ No newline at end of file |