diff options
| author | Fabian Mastenbroek <mail.fabianm@gmail.com> | 2023-01-09 22:04:46 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-09 22:04:46 +0100 |
| commit | b68af696cc6a10df356dee6b347d1b607707035a (patch) | |
| tree | 54f52705ee9c6d56e7c190be70a74a7eb4a54f5b /.github/workflows/pages.yml | |
| parent | 3542350909b1213240e5097a1793a7c0733f6196 (diff) | |
| parent | 8d94287bdc5af03485ed85fee1aab7809dc53566 (diff) | |
merge: Update GitHub Actions workflows (#123)
This pull request updates the GitHub Actions workflows used in the OpenDC repository,
addressing (impending) deprecations, broken caching and publishing steps.
## Implementation Notes :hammer_and_pick:
* Fix GH Actions workflow for publishing Docker images
* Enable Gradle caching on master branch
* Pin version of GitHub Actions runner images
* Publish to Maven Central in publish workflow
* Upload distributions after CI build
Diffstat (limited to '.github/workflows/pages.yml')
| -rw-r--r-- | .github/workflows/pages.yml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml index cfc91f8e..cb628832 100644 --- a/.github/workflows/pages.yml +++ b/.github/workflows/pages.yml @@ -14,7 +14,7 @@ jobs: defaults: run: working-directory: site - runs-on: ubuntu-latest + runs-on: ubuntu-22.04 steps: - name: Checkout uses: actions/checkout@v3 @@ -50,7 +50,7 @@ jobs: environment: name: github-pages url: ${{ steps.deployment.outputs.page_url }} - runs-on: ubuntu-latest + runs-on: ubuntu-22.04 steps: - name: Deploy to GitHub Pages id: deployment |