summary refs log tree commit diff
path: root/src/tools/miri/ci
AgeCommit message (Expand)AuthorLines
2024-09-29skip old getrandom crate on SolarisRalf Jung-5/+5
2024-09-28make sure the new function is testedRalf Jung-4/+4
2024-09-25Auto merge of #3915 - RalfJung:target-json-test, r=RalfJungbors-2/+1
2024-09-25switch custom target JSON test to a less exotic targetRalf Jung-2/+1
2024-09-25enable pthread_cond_timedwait test on AndroidRalf Jung-1/+1
2024-09-25Android: Fixed tests for libc time APIYoh Deadfall-1/+1
2024-09-25disable AVR test since it doesn't workRalf Jung-1/+2
2024-09-25update BASIC test list: no longer test HashMap, add libc-mem instead of 'alig...Ralf Jung-5/+5
2024-09-15we can test more things on Solarish, and update its status in the READMERalf Jung-2/+2
2024-09-15test std::time APIs on FreeBSD and SolarishRalf Jung-4/+4
2024-09-15add Android pthread supportRalf Jung-1/+1
2024-09-15enable std::sync tests on SolarishRalf Jung-2/+2
2024-09-15pthread: add FreeBSD, remove PTHREAD_MUTEX_NORMAL_FLAG hackRalf Jung-2/+2
2024-09-13Auto merge of #3881 - RalfJung:miri-run, r=RalfJungbors-1/+1
2024-09-13./miri run: directly run binary instead of using 'cargo run'Ralf Jung-1/+1
2024-09-13smoke-test './miri run --dep'Ralf Jung-1/+3
2024-09-12enable all pthread tests on SolarishRalf Jung-2/+2
2024-08-17run TLS tests on SolarishRalf Jung-2/+2
2024-08-03Promote aarch64-apple-darwin to Tier 1Evelyn Harthbrooke-1/+1
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-03-02 13:01:27 +0000