Skip to content

Commit ed0bcf9

Browse files
committed
github: miri_dev_log reduce time to run
remove tokio current-thread runtime
1 parent c7df7f5 commit ed0bcf9

File tree

1 file changed

+0
-10
lines changed

1 file changed

+0
-10
lines changed

.github/workflows/miri_dev_log.yml

Lines changed: 0 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -32,13 +32,3 @@ jobs:
3232
with:
3333
name: crossfire_miri_tokio_multithread
3434
path: /tmp/crossfire_miri.log
35-
36-
- name: Run miri tests with log (tokio current thread)
37-
run: cd test-suite; NIGHTLY_VERSION=nightly-2025-12-01 SINGLE_THREAD_RUNTIME=1 scripts/miri.sh --features trace_log,tokio
38-
39-
- name: collect log
40-
if: ${{ failure() }}
41-
uses: actions/upload-artifact@v4
42-
with:
43-
name: crossfire_miri
44-
path: /tmp/crossfire_miri.log

0 commit comments

Comments
 (0)