From 9cc5a62a508aaa37d125a2f6a17eeed78659609e Mon Sep 17 00:00:00 2001 From: Paul T Date: Tue, 9 Jul 2024 17:07:33 -0400 Subject: [PATCH] ci: run ci on pull requests --- .github/workflows/build-documentation.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/build-documentation.yml b/.github/workflows/build-documentation.yml index fce725f..9193e47 100644 --- a/.github/workflows/build-documentation.yml +++ b/.github/workflows/build-documentation.yml @@ -1,5 +1,5 @@ name: Build documentation -on: [push, workflow_dispatch] +on: [push, workflow_dispatch, pull_request] jobs: build_pdf: runs-on: ubuntu-latest