Skip to content

Feature/downloads page - #14

Open
FeralAI wants to merge 4 commits into
armada-os:mainfrom
FeralAI:feature/downloads-page
Open

FeralAI wants to merge 4 commits into
armada-os:mainfrom
FeralAI:feature/downloads-page

Conversation

@FeralAI

@FeralAI FeralAI commented Sep 18, 2026

Copy link
Copy Markdown
Contributor

Added a Downloads page that is generated from the Armada release feed. The page content is created via a mkdocs hook, and transforms the release markdown into something that renders nicely in mkdocs.

I've also added a workflow that fires every 30 minutes to check for new releases. It will cache the last release version found and only trigger the build if changed. Happy to adjust or remove that if we feel it's unnecessary. Just didn't want us to have to manually trigger a site build when we release, though we could easily do that with our release cadence right now.

image

@FeralAI
FeralAI requested a review from JPyke3 September 18, 2026 02:13

@JPyke3 JPyke3 left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Super solid work, implementation looks all good!

Some minor workflow fixes.

  • workflow_dispatch: probably will never work because if some if conditions
  • I suspect the cache is maybe not hitting correctly? Could be totally wrong as I only really referenced the GH docs.

Happy for you close the comments if you don't think applicable

Comment thread .github/workflows/ci.yml

jobs:
validate:
if: github.event_name == 'pull_request'

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
if: github.event_name == 'pull_request' || github.event_name == 'workflow_dispatch'

Comment thread .github/workflows/ci.yml
run: mkdocs build --strict

deploy:
if: github.event_name == 'push'

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
if: github.event_name == 'push' || github.event_name == 'workflow_dispatch'

Comment on lines +39 to +42
uses: actions/cache@v4
with:
path: .armada-release-tag
key: armada-release-tag

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Suggested change
uses: actions/cache@v4
with:
path: .armada-release-tag
key: armada-release-tag
uses: actions/cache@v4
with:
path: .armada-release-tag
key: armada-release-tag-${{ steps.latest.outputs.latest }}

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks like GHs doco says:

You cannot change the contents of an existing cache. Instead, you can create a new cache with a new key.

https://docs.github.com/en/actions/reference/workflows-and-actions/dependency-caching#cache-action-usage

Not sure if you've tested this one but I suspect the cache may never update without a unique key.

This is what I'd do to do this but you'll need to update the conditions down the line.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants