Skip to content
GitLab
Explore
Sign in
Register
STJr
SRB2
Merge requests
!1836
CircleCi: update buildbot config
Code
Review changes
Check out branch
Download
Patches
Plain diff
Alam Ed Arias
requested to merge
circleci
into
master
Oct 23, 2022
Overview
0
Commits
22
Pipelines
0
Changes
1
Expand
Update CircleCI to build with 4 vCPU and cache APT and ccache files
Merge request reports