Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
15 changes: 11 additions & 4 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -31,14 +31,21 @@ jobs:
steps:
- uses: actions/checkout@v3
- uses: actions/setup-python@v4
- name: install oj-verify
run: pip3 install -U online-judge-verify-helper
- name: Set up Rust (nightly)
run: |
rustup install nightly
rustup override set nightly
rustup component add --toolchain nightly rustfmt clippy
- name: use oj-verify
- name: install oj-verify submodule
run: |
git submodule init
git submodule update
cd verification-helper
pip install .
cd ..
# clear submodule afterwards to not run tests in verification-helper
git submodule deinit --all -f
- name: run tests
# regarging `--tle 2`: the oj-verify tool only allows testing in release mode
#
# regarding `--jobs 4`: github CI runs with 4 cores
Expand All @@ -53,4 +60,4 @@ jobs:
#
# since all tests are rerun on every commit anyways, there's no need for
# the .verify-helper/timestamps.remote.json file
run: oj-verify all --tle 2 --jobs 4 --timeout 21600
run: oj-verify all --tle 10 --jobs 4 --timeout 21600
3 changes: 3 additions & 0 deletions .gitmodules
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
[submodule "verification-helper"]
path = verification-helper
url = https://github.com/programming-team-code/verification-helper.git
1 change: 1 addition & 0 deletions verification-helper
Submodule verification-helper added at f99fc8