ci: make required ci always run (#3278)

This commit is contained in:
Jonathan Ho
2023-12-10 13:04:02 +00:00
committed by GitHub
parent 78300e59bb
commit c1fed5a163
2 changed files with 1 additions and 12 deletions
-2
View File
@@ -2,8 +2,6 @@ name: Library Checks
on:
pull_request:
paths-ignore:
- 'website/**'
push:
branches:
- main