1#!/bin/bash -e 2 3# Allows this script to be invoked from any directory: 4cd "$(dirname "$0")" 5 6python3 scripts/generate_ci_workflows.py 7