Update GitHub action

ehmicky · Nov 26, 2022 · 8d06351 · 8d06351
1 parent 2a71df6
commit 8d06351
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/.github/workflows/workflow.yml b/.github/workflows/workflow.yml
@@ -1,8 +1,5 @@
 name: Build
 on: [push, pull_request]
-env:
-  # TODO: add real tests
-  COVERAGE: 'false'
 jobs:
   combinations:
     # git push --tags does not create any commits so should not trigger a new