cog
ci: replace aqua tool downloads with dedicated GitHub Actions
#2712

Merged

ci: replace aqua tool downloads with dedicated GitHub Actions #2712

tempusfrangit merged 3 commits into main from ci/replace-aqua-with-actions

ci: replace aqua tool downloads with dedicated GitHub Actions

3ec502d8

tempusfrangit requested a review 42 days ago

Merge branch 'main' into ci/replace-aqua-with-actions

5b274204

tempusfrangit requested a review from

michaeldwan 42 days ago

tempusfrangit requested a review from

markphelps 42 days ago

michaeldwan dismissed these changes on 2026-02-10

docs: document CI tool dependency management

61afb5f1

tempusfrangit dismissed their stale review via 61afb5f1 42 days ago

tempusfrangit requested a review from

michaeldwan 42 days ago

tempusfrangit enabled auto-merge (squash) 42 days ago

michaeldwan approved these changes on 2026-02-10

tempusfrangit merged cfde5cf1 into main 42 days ago

tempusfrangit deleted the ci/replace-aqua-with-actions branch 42 days ago

Reviewers

michaeldwan

markphelps

Assignees

No one assigned

Labels

None yet

Milestone

No milestone