4545 hol_light_bytecode :
4646 name : AArch64 HOL-Light bytecode check
4747 runs-on : pqcp-arm64
48- if : github.repository_owner == 'pq-code-package' && !github.event.pull_request.head.repo.fork
48+ if : ${{ false && github.repository_owner == 'pq-code-package' && !github.event.pull_request.head.repo.fork }}
4949 steps :
5050 - uses : actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
5151 with :
6060 name : AArch64 HOL-Light interactive shell test
6161 runs-on : pqcp-arm64
6262 needs : [ hol_light_bytecode ]
63- if : github.repository_owner == 'pq-code-package' && !github.event.pull_request.head.repo.fork
63+ if : ${{ false && github.repository_owner == 'pq-code-package' && !github.event.pull_request.head.repo.fork }}
6464 steps :
6565 - uses : actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
6666 with :
@@ -111,7 +111,7 @@ jobs:
111111 needs : ["keccak_specs.ml"]
112112 name : AArch64 HOL Light proof for ${{ matrix.proof.name }}.S
113113 runs-on : pqcp-arm64
114- if : github.repository_owner == 'pq-code-package' && !github.event.pull_request.head.repo.fork
114+ if : ${{ false && github.repository_owner == 'pq-code-package' && !github.event.pull_request.head.repo.fork }}
115115 steps :
116116 - uses : actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
117117 with :
@@ -153,7 +153,7 @@ jobs:
153153 hol_light_bytecode_x86_64 :
154154 name : x86_64 HOL-Light bytecode check
155155 runs-on : pqcp-x64
156- if : github.repository_owner == 'pq-code-package' && !github.event.pull_request.head.repo.fork
156+ if : ${{ false && github.repository_owner == 'pq-code-package' && !github.event.pull_request.head.repo.fork }}
157157 steps :
158158 - uses : actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
159159 with :
@@ -168,7 +168,7 @@ jobs:
168168 name : x86_64 HOL-Light interactive shell test
169169 runs-on : pqcp-x64
170170 needs : [ hol_light_bytecode_x86_64 ]
171- if : github.repository_owner == 'pq-code-package' && !github.event.pull_request.head.repo.fork
171+ if : ${{ false && github.repository_owner == 'pq-code-package' && !github.event.pull_request.head.repo.fork }}
172172 steps :
173173 - uses : actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
174174 with :
@@ -231,7 +231,7 @@ jobs:
231231 needs : ["keccak_utils.ml", "keccak_spec.ml", "keccak_f1600_x4_avx2_constants.ml", "keccak_constants.ml"]
232232 name : x86_64 HOL Light proof for ${{ matrix.proof.name }}.S
233233 runs-on : pqcp-x64
234- if : github.repository_owner == 'pq-code-package' && !github.event.pull_request.head.repo.fork
234+ if : ${{ false && github.repository_owner == 'pq-code-package' && !github.event.pull_request.head.repo.fork }}
235235 steps :
236236 - uses : actions/checkout@de0fac2e4500dabe0009e67214ff5f5447ce83dd # v6.0.2
237237 with :
0 commit comments