Skip to content

Commit

Permalink
[CI] Changed push event trigger for gh-pages
Browse files Browse the repository at this point in the history
Signed-off-by: Esteban Martinena <orensbruli@gmail.com>
  • Loading branch information
orensbruli committed Dec 8, 2022
1 parent 9fbf4f6 commit f4c39e2
Showing 1 changed file with 7 additions and 5 deletions.
12 changes: 7 additions & 5 deletions .github/workflows/gh-pages.yaml
Original file line number Diff line number Diff line change
@@ -1,12 +1,14 @@
name: github pages
on:
pull_request:
push:
branches: [ master ]
branches:
- main
jobs:
deploy:
runs-on: ubuntu-20.04
runs-on: ubuntu-latest
container:
image: docker://ros:foxy-ros-base-focal
image: rostooling/setup-ros-docker:ubuntu-jammy-latest
steps:
- name: download-deps
run: |
Expand All @@ -29,12 +31,12 @@ jobs:
run: |
cd rmf_ws
rosdep update
rosdep install --from-paths src --ignore-src --rosdistro foxy -yr
rosdep install --from-paths src --ignore-src --rosdistro humble -yr
- name: build
shell: bash
run: |
cd rmf_ws
source /opt/ros/foxy/setup.bash
source /opt/ros/humble/setup.bash
colcon build --cmake-args -DCMAKE_BUILD_TYPE=Release
- name: gen_docs
shell: bash
Expand Down

0 comments on commit f4c39e2

Please sign in to comment.