Skip to content

Fix GitHub Action Workflow - #5

Merged
rcannood merged 1 commit into
mainfrom
fix-wf
Jul 28, 2026
Merged

Fix GitHub Action Workflow#5
rcannood merged 1 commit into
mainfrom
fix-wf

Conversation

@rcannood

Copy link
Copy Markdown
Member

No description provided.

@rcannood

Copy link
Copy Markdown
Member Author

🔎 Website preview ready

Built from the results in this PR: https://c1e82f71-website.openproblems-bio.workers.dev

Changed benchmark pages:

  • (no benchmark pages detected as changed)

Updated automatically on each preview build.

@rcannood
rcannood merged commit 729f088 into main Jul 28, 2026
2 checks passed
@rcannood
rcannood deleted the fix-wf branch July 28, 2026 11:37
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.

1 participant