Update CI files (#1030)

Update CI files:
- add another apt repository for spec test on x86-32 as some packages
  cannot be downloaded with the Github default repository
- trigger the CI file when it is modified
This commit is contained in:
Wenyong Huang
2022-03-08 11:52:32 +08:00
committed by GitHub
parent 55ad4c7ec7
commit 60595d72e1
4 changed files with 15 additions and 1 deletions

View File

@ -11,6 +11,7 @@ on:
- "ci/**"
- "doc/**"
- "test-tools/**"
- ".github/workflows/compilation_on_windows.yml"
# will be triggered on push events
push:
paths-ignore:
@ -18,6 +19,7 @@ on:
- "ci/**"
- "doc/**"
- "test-tools/**"
- ".github/workflows/compilation_on_windows.yml"
# allow to be triggered manually
workflow_dispatch: