Remove old comment

This commit is contained in:
Jeremy 2023-07-29 00:07:03 -04:00
parent 651782343e
commit 7e800e3bab
No known key found for this signature in database
GPG Key ID: 19AA8270105E8EB4

View File

@ -4,10 +4,6 @@ on:
push:
pull_request:
# Awful hackery: github.event.workflow_run.head_sha is defined on push, github.event.pull_request.base.sha is defined on
# pull
jobs:
test-linux-fetchcontent:
runs-on: ubuntu-22.04