about summary refs log tree commit diff
path: root/src/tools/miri/ci
AgeCommit message (Expand)AuthorLines
2024-07-04Run tests for all specified targetsKonstantinos Andrikopoulos-1/+3
2024-05-26solarish platform add supports for available-parallelism.David Carlier-2/+2
2024-05-23solaris add suport for threadname.David Carlier-2/+2
2024-05-22solaris/illumos localtime_r / clock_getime support enabled.David Carlier-2/+2
2024-05-19various small nitsRalf Jung-1/+1
2024-05-19test wasm32-wasip2 instead of the deprecated wasm32-wasi targetRalf Jung-1/+1
2024-05-19make basic things work on AndroidRalf Jung-5/+6
2024-05-16alloc now works on wasi (and some formatting)Ralf Jung-8/+7
2024-05-12further illumos/solaris support.David Carlier-2/+2
2024-05-09make MIRI_TEST_TARGET entirely an internal thingRalf Jung-32/+35
2024-05-08Update CI script for the miri-script test changesRoss Smyth-2/+2
2024-05-06organize libc tests into a proper folder, and run some of them on WindowsRalf Jung-4/+4
2024-05-05solaris support start.David Carlier-2/+1
2024-05-05move randomness tests into a single file and share the getrandom implementati...Ralf Jung-4/+4
2024-05-05move things out of libc-misc that have a better home; make libc-misc work on ...Ralf Jung-2/+2
2024-05-05unix/thread: properly use pthread_t for thread IDsRalf Jung-1/+1
2024-05-05illumos support.David Carlier-0/+3
2024-05-04freebsd: test std threadname and fs APIsRalf Jung-5/+7
2024-05-04move some minimal targets over to the macOS runner, to even out CI timesRalf Jung-10/+8
2024-05-04show time taken in run_tests_minimalRalf Jung-2/+2
2024-05-04speed up Windows runner: don't run GC_STRESS testRalf Jung-2/+2
2024-05-04remove a hack that is no longer neededRalf Jung-9/+0
2024-05-04make many-seeds a mode of ./miri run rather than a separate commandRalf Jung-7/+6
2024-04-25Auto merge of #3514 - RalfJung:hyperfine, r=RalfJungbors-2/+2
2024-04-25CI: run benches with hyperfine rather than bashRalf Jung-2/+2
2024-04-25run many-seeds tests at least a few times on all tier 1 targetsRalf Jung-7/+11
2024-03-31experiment with macOS M1 runnersRalf Jung-2/+3
2024-03-31move './miri check' for features to the style check jobRalf Jung-8/+3
2024-03-31show the time that the main CI steps takeRalf Jung-6/+6
2024-03-31also control the cargo-miri env var test separatelyRalf Jung-9/+12
2024-03-31windows ci: run many-seeds test less oftenRalf Jung-1/+2
2024-03-31bash: use variable expansion that properly distinguishes null vs non-existingRalf Jung-9/+9
2024-03-31ci: separetely control which host-only tests are run whereRalf Jung-21/+33
2024-03-30Auto merge of #3434 - RalfJung:stacked-borrows-cache-consistency, r=RalfJungbors-5/+12
2024-03-30cotrol stacked borrows consistency check with its own feature flagRalf Jung-5/+12
2024-03-30move tests away from the slow Windows builderRalf Jung-2/+2
2024-03-30run GC stress test only for host testsRalf Jung-2/+2
2024-03-24Auto merge of #3402 - RalfJung:miri-script, r=RalfJungbors-1/+10
2024-03-24desperate hack: hard-code bash path on WindowsRalf Jung-1/+10
2024-03-24try to fix many-seeds tests on WindowsRalf Jung-1/+2
2024-03-13Improve sysroots notificationBen Kimock-2/+5
2024-03-04Use cargo miri clean in build-all-targets.shBen Kimock-1/+1
2024-01-30add num_cpus testDavid Carlier-2/+3
2024-01-24refactor extern static handlingRalf Jung-3/+2
2024-01-24disable freeBSD tests for nowRalf Jung-2/+3
2024-01-07Check if tier 2 targets build in the nightly cron jobBen Kimock-0/+187
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-26 23:43:28 +0000