Switched CI provider from CircleCI to GitHub Actions - #1798

Merged

david-yz-liu merged 13 commits into

switch-to-github-actions

Sep 4, 2026

Commits on Sep 3, 2026

Switched CI provider from CircleCI to GitHub Actions
david-yz-liu
committed
82bd1bc

Commits on Sep 4, 2026

Updated CI actions versions
david-yz-liu
committed
6a2ed22
Removed unnecessary remote addition
david-yz-liu
committed
02688b4
Fixed HOME variable for stack commands
david-yz-liu
committed
ba14619
Added STACK_ALLOW_DIFFERENT_USER: 'true'
david-yz-liu
committed
427ff83
Added retries to imagemagick download
david-yz-liu
committed
b07a66f
Added --allow-different-user command
david-yz-liu
committed
1ce98e4
Fixed git dubious ownership issue and added upstream remote for lint-staged check
david-yz-liu
committed
2a0fe08
Updated magick binary download
david-yz-liu
committed
44514bf
Updated pull request template to mention coveralls
david-yz-liu
committed
f11f2cc
Updated GitHub Actions to use pnpm/setup action
david-yz-liu
committed
6003ec6
Added cache: true to use of pnpm/setup
david-yz-liu
committed
31acfe9
Ensure pnpm/setup uses v2.1.0
david-yz-liu
committed
913f383