tree 42c5356553cb36bfb69286993431afda133e64ea
parent 8f96da9f5d5eff988554c1aae1784627c4bf6754
author Gustavo Niemeyer <gustavo@niemeyer.net> 1653129201 +0100
committer Gustavo Niemeyer <gustavo@niemeyer.net> 1653129201 +0100

github: drop broken semgrep workflow