Github CI: run also on repository pushes

Reviewed-by: Richard Levitte <levitte@openssl.org> (Merged from openssl#13686)
open-quantum-safe · Dec 17, 2020 · 4159ebc · 4159ebc
1 parent a2e145f
commit 4159ebc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,6 +1,6 @@
 name: GitHub CI
 
-on: [pull_request]
+on: [pull_request, push]
 
 # for some reason, this does not work:
 # variables: