Skip to content

#992: added design doc for script options #1460

#992: added design doc for script options

#992: added design doc for script options #1460

name: Check if submodules heads are ancestors of origin/master
on:
push:
branches:
- master
pull_request:
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- name: Init submodules
run: git submodule update --init --recursive
- name: Check if submodules heads are ancestors of origin/master
run: bash scripts/check_if_submodules_head_are_ancestors_of_origin_master.sh