File tree 2 files changed +2
-14
lines changed 2 files changed +2
-14
lines changed Original file line number Diff line number Diff line change @@ -260,8 +260,8 @@ jobs:
260
260
uses : actions/checkout@v4
261
261
- name : " Select toolchain"
262
262
uses : dtolnay/rust-toolchain@stable
263
- - name : " Run test script "
264
- run : ./contrib/run_task.sh schemars
263
+ - name : " Run schemars test "
264
+ run : cd hashes/extended_tests/ schemars && cargo test
265
265
266
266
Kani :
267
267
name : Kani codegen - stable toolchain
Original file line number Diff line number Diff line change @@ -100,11 +100,6 @@ main() {
100
100
do_asan
101
101
;;
102
102
103
- schemars)
104
- # hashes crate only.
105
- do_schemars
106
- ;;
107
-
108
103
* )
109
104
err " Error: unknown task $task "
110
105
;;
@@ -264,13 +259,6 @@ do_bench() {
264
259
done
265
260
}
266
261
267
- # This is only relevant for hashes.
268
- do_schemars () {
269
- pushd " $REPO_DIR /hashes/extended_tests/schemars" > /dev/null
270
- cargo test
271
- popd > /dev/null
272
- }
273
-
274
262
# Note we do not use the recent lock file or `--locked` when running the wasm tests.
275
263
do_wasm () {
276
264
pushd " $REPO_DIR /hashes" > /dev/null
You can’t perform that action at this time.
0 commit comments