File tree 2 files changed +5
-1
lines changed
2 files changed +5
-1
lines changed Original file line number Diff line number Diff line change 7
7
push :
8
8
branches :
9
9
- main
10
+ - integration
10
11
jobs :
11
12
ci :
12
13
name : CI
@@ -19,11 +20,14 @@ jobs:
19
20
steps :
20
21
- uses : actions/checkout@v4
21
22
with :
23
+ # Re-enable when we put the simulator in the CI pipeline.
22
24
# lfs: "true"
23
25
# This makes sure that $GITHUB_WORKSPACE is the catkin workspace path
24
26
path : " src/mrover"
25
27
- name : Style Check
26
28
run : . /home/mrover/ros2_ws/src/mrover/venv/bin/activate && cd $GITHUB_WORKSPACE/src/mrover/ && ./style.sh
29
+ - name : Compiler Cache
30
+ uses :
hendrikmuhs/[email protected]
27
31
- name : Build
28
32
if : github.event.pull_request.draft == false
29
33
run : . /opt/ros/humble/setup.sh && . /home/mrover/ros2_ws/src/mrover/venv/bin/activate && cd $GITHUB_WORKSPACE/src/mrover/ && ./build.sh
Original file line number Diff line number Diff line change 64
64
# - neovim
65
65
# - sudo
66
66
- cmake
67
- # - ccache # Caches intermediate build files, speeds up compilation over time
67
+ - ccache # Caches intermediate build files, speeds up compilation over time
68
68
- ninja-build # Faster than make
69
69
# - tmux
70
70
# - htop
You can’t perform that action at this time.
0 commit comments