diff options
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/build.yml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml index ab0bf9cb5..270aaf034 100644 --- a/.github/workflows/build.yml +++ b/.github/workflows/build.yml @@ -2,9 +2,6 @@ # posts them to GitHub, if applicable. This leverages the fact that the # workflow token has appropriate permissions to do so, and attempts to # leverage the GitHub workflow caches. -# -# This workflow also generates the build badge that is referred to by -# the main README. name: "Build" "on": push: |