diff --git a/.github/workflows/verify.yml b/.github/workflows/verify.yml index 3cab9ee5e..c82f9fb3d 100644 --- a/.github/workflows/verify.yml +++ b/.github/workflows/verify.yml @@ -36,6 +36,9 @@ concurrency: jobs: setup: runs-on: ubuntu-latest + strategy: + matrix: + type: ["all", "normal", "huge"] steps: - uses: actions/checkout@v4 @@ -46,15 +49,19 @@ jobs: - name: oj-resolve uses: competitive-verifier/actions/oj-resolve@v2 + env: + VERIFY_EXCLUDE: ${{ matrix.type == 'huge' && 'src/test_cpverifier/' || (matrix.type == 'normal' && 'src/test_cpverifier_huge/' || 'src/tinplate/') }} with: output-path: verify_files.json include: | src/code/ src/doc_md/ src/test_cpverifier/ + src/test_cpverifier_huge/ exclude: | libs/ .github/ + $VERIFY_EXCLUDE config: .verify-helper/config.toml - name: parse-doxygen uses: competitive-verifier/actions/parse-doxygen@v2 @@ -65,9 +72,11 @@ jobs: uses: competitive-verifier/actions/upload-verify-artifact@v2 with: file: verify_files.json + artifact-name: ${{ runner.os }}-verify-files${{ matrix.type == 'all' && '' || matrix.type }}-json - name: Check bundled id: test-bundled + if: ${{ matrix.type == 'all' }} run: | echo "count=$(find .competitive-verifier/bundled/ -type f | wc -l)" >> $GITHUB_OUTPUT - name: Upload bundled @@ -84,8 +93,10 @@ jobs: env: SPLIT_SIZE: 16 strategy: + max-parallel: 16 matrix: # prettier-ignore + type: ["normal", "huge"] index: ["00", "01", "02", "03", "04", "05", "06", "07", "08", "09", "10", "11", "12", "13", "14", "15"] @@ -106,6 +117,8 @@ jobs: - name: Download verify_files.json uses: competitive-verifier/actions/download-verify-artifact@v2 + with: + artifact-name: ${{ runner.os }}-verify-files${{ matrix.type }}-json - name: Set up competitive-verifier uses: competitive-verifier/actions/setup@v2 @@ -162,7 +175,7 @@ jobs: - name: Upload result artifact uses: actions/upload-artifact@v4 with: - name: Result-${{ runner.os }}-${{ matrix.index }} + name: Result-${{ runner.os }}-${{ matrix.type }}-${{ matrix.index }} path: ${{runner.temp}}/result.json retention-days: 1 @@ -170,7 +183,7 @@ jobs: runs-on: ubuntu-latest needs: [verify] outputs: - upload-pages: ${{steps.upload-pages.outcome == 'success'}} + upload-pages: ${{ steps.upload-pages.outcome == 'success' }} steps: - uses: actions/checkout@v4 with: diff --git a/src/meta_test/library-checker-convolution/convolution_mod.large.cppmeta b/src/meta_test_huge/library-checker-convolution/convolution_mod_large.cppmeta similarity index 98% rename from src/meta_test/library-checker-convolution/convolution_mod.large.cppmeta rename to src/meta_test_huge/library-checker-convolution/convolution_mod_large.cppmeta index 1e416f3b0..1c30f044f 100644 --- a/src/meta_test/library-checker-convolution/convolution_mod.large.cppmeta +++ b/src/meta_test_huge/library-checker-convolution/convolution_mod_large.cppmeta @@ -1,4 +1,4 @@ -#define PROBLEM "https://judge.yosupo.jp/problem/convolution_mod" +#define PROBLEM "https://judge.yosupo.jp/problem/convolution_mod_large" #include "../../code/conv/conv_ntt_large.hpp" #include "../../code/io/fastio.hpp" diff --git a/src/test_cpverifier/library-checker-convolution/convolution_mod.large-ntt-s30.test.cpp b/src/test_cpverifier_huge/library-checker-convolution/convolution_mod_large.ntt-s30.test.cpp similarity index 98% rename from src/test_cpverifier/library-checker-convolution/convolution_mod.large-ntt-s30.test.cpp rename to src/test_cpverifier_huge/library-checker-convolution/convolution_mod_large.ntt-s30.test.cpp index 45e645877..53e7d7a14 100644 --- a/src/test_cpverifier/library-checker-convolution/convolution_mod.large-ntt-s30.test.cpp +++ b/src/test_cpverifier_huge/library-checker-convolution/convolution_mod_large.ntt-s30.test.cpp @@ -1,5 +1,5 @@ #define AUTO_GENERATED -#define PROBLEM "https://judge.yosupo.jp/problem/convolution_mod" +#define PROBLEM "https://judge.yosupo.jp/problem/convolution_mod_large" #include "../../code/conv/conv_ntt_large.hpp" #include "../../code/io/fastio.hpp" diff --git a/src/test_cpverifier/library-checker-convolution/convolution_mod.large-ntt-s63.test.cpp b/src/test_cpverifier_huge/library-checker-convolution/convolution_mod_large.ntt-s63.test.cpp similarity index 98% rename from src/test_cpverifier/library-checker-convolution/convolution_mod.large-ntt-s63.test.cpp rename to src/test_cpverifier_huge/library-checker-convolution/convolution_mod_large.ntt-s63.test.cpp index 83c583214..75e013d62 100644 --- a/src/test_cpverifier/library-checker-convolution/convolution_mod.large-ntt-s63.test.cpp +++ b/src/test_cpverifier_huge/library-checker-convolution/convolution_mod_large.ntt-s63.test.cpp @@ -1,5 +1,5 @@ #define AUTO_GENERATED -#define PROBLEM "https://judge.yosupo.jp/problem/convolution_mod" +#define PROBLEM "https://judge.yosupo.jp/problem/convolution_mod_large" #include "../../code/conv/conv_ntt_large.hpp" #include "../../code/io/fastio.hpp"