Repository navigation

AGTMETRICS-340: Migrate CI from CircleCI to GitHub Actions - #309

Merged

vickenty merged 5 commits into

carlosroman/AGTMETRICS-340-migrate-away-from-circleci

May 8, 2026

Merged

AGTMETRICS-340: Migrate CI from CircleCI to GitHub Actions#309
vickenty merged 5 commits into
masterfrom
carlosroman/AGTMETRICS-340-migrate-away-from-circleci

Commits on May 1, 2026
- Migrate CI from CircleCI to GitHub Actions
  
  carlosroman
  and
  claude
  committed
  b6258ca
- Pin GitHub Actions to full commit SHAs
  
  carlosroman
  and
  claude
  committed
  a773b23
Commits on May 8, 2026
- Drop build support for Java 1.7 and 1.8
  vickenty
  committed
  6d1c318
- Remove redundant build steps
  vickenty
  committed
  3bcf2f4
- Bump per-profile java versions
  vickenty
  committed
  40a8f60