chore: actually trigger workflow on push because github refuses to ru…

…n it
timescale · Jan 17, 2025 · 25fba04 · 25fba04
1 parent fc442dc
commit 25fba04
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -1,6 +1,6 @@
 name: CI
 
-on: [pull_request, workflow_dispatch]
+on: [pull_request, workflow_dispatch, push]
 permissions:
   contents: read
 

diff --git a/projects/extension/justfile b/projects/extension/justfile
@@ -80,6 +80,9 @@ lint:
 format-py:
 	@./build.py format-py
 
+check-requirements:
+    @./build.py check-requirements
+
 docker-build:
 	@PG_MAJOR={{PG_MAJOR}} ./build.py docker-build