Skip to content

ci: drop the archs input of the CTActions CI workflow - #197

Merged
ocots merged 1 commit into
mainfrom
ci/drop-archs
Oct 19, 2026
Merged

ocots merged 1 commit into
mainfrom
ci/drop-archs

Conversation

@ocots

@ocots ocots commented Oct 19, 2026

Copy link
Copy Markdown
Member

Prepares for control-toolbox/CTActions#111, which removes the archs input (native Julia architecture of the runner is used). Merge together with, or after, that PR: GitHub rejects unknown inputs. The value passed was x64, the native architecture of this runner, so nothing changes.

Generated with Devin

Generated with [Devin](https://devin.ai)

Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
@github-actions

Copy link
Copy Markdown
Contributor

✅ Benchmark and Documentation Complete

The automated workflow has completed successfully! 🎉

✅ Completed Tasks

  • 📊 Benchmarks: none executed and results saved to your branch
  • 📚 Documentation: Documentation updated successfully
  • 🔄 Integration: All changes integrated properly

📖 Documentation Preview

📋 Results

  • 🎯 Benchmark results have been committed to your feature branch
  • 📚 Documentation has been regenerated with the latest benchmark data

🔗 Links


🤖 This notification was automatically generated 2026-10-19 17:56:15 (UTC-2)

@ocots
ocots marked this pull request as ready for review October 19, 2026 20:57
@ocots
ocots merged commit 0a45972 into main Oct 19, 2026
12 checks passed
@ocots
ocots deleted the ci/drop-archs branch October 19, 2026 20:57
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