diff --git a/dev/generate_makefile_targets_table.py b/dev/generate_makefile_targets_table.py index 866305a..d1a6b1e 100644 --- a/dev/generate_makefile_targets_table.py +++ b/dev/generate_makefile_targets_table.py @@ -1,3 +1,4 @@ +import re import subprocess from textwrap import dedent from typing import NamedTuple @@ -34,6 +35,10 @@ def main(): f"|{'-'*(max_target_len + 2)}|{'-'*(max_description_len + 2):{max_description_len}s}|" ) for t in makefile_targets: + # In GitHub Actions, we get superfluous targets like `make[1]`, so ignore those + if re.search(r"make\[[0-9]+]", t.target): + continue + target_str = f"`{t.target}`" cog.outl( f"| {target_str:{max_target_len}s} | {t.description:{max_description_len}s} |"