Skip to content

Update CI setup #30

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 1 commit into from
Jun 19, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 7 additions & 0 deletions .github/dependabot.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
# https://docs.github.com/github/administering-a-repository/configuration-options-for-dependency-updates
version: 2
updates:
- package-ecosystem: "github-actions"
directory: "/" # Location of package manifests
schedule:
interval: "weekly"
16 changes: 3 additions & 13 deletions .github/workflows/Deploy.yml
Original file line number Diff line number Diff line change
Expand Up @@ -49,24 +49,14 @@ jobs:
runs-on: ubuntu-latest
permissions: write-all
steps:
- uses: actions/checkout@v3
- uses: julia-actions/cache@v1
- uses: tlienart/xranklin-build-action@v3.8
- uses: actions/checkout@v4
- uses: julia-actions/cache@v2
- uses: tlienart/xranklin-build-action@v5.0.1
with:
# NOTE: this is the Xranklin branch the site is built with
BRANCH: "dev"
# NOTE: this is the base URL prefix (landing page at /$BASE_URL_PREFIX/)
BASE_URL_PREFIX: ""
# Whether to deploy the website or not. Can do only for PRs opened
# from the same repository.
DEPLOY: ${{ needs.options.outputs.deploy }}
# Directory where to deploy the website.
PREVIEW: ${{ needs.options.outputs.preview }}

# ===================================================================
# DON'T CHANGE THE FOLLOWING UNLESS YOU HAVE GOOD REASONS TO
# >> amounts to build(clear=true) when commit message contains [clear]
CLEAR_CACHE: ${{ contains(github.event.head_commit.message, '[clear]') }}
# >> change the digit at the end if, for some reason, you believe
# that the cache used by the github action has an issue
CACHE_KEY: "franklin-cache"
2 changes: 1 addition & 1 deletion .github/workflows/PreviewCleanup.yml
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ jobs:
runs-on: ubuntu-latest
steps:
- name: Checkout gh-pages branch
uses: actions/checkout@v3
uses: actions/checkout@v4
with:
ref: gh-pages
- name: Delete preview and history + push changes
Expand Down
Loading