about summary refs log tree commit diff
path: root/src/tools/miri/ci
AgeCommit message (Expand)AuthorLines
2025-09-12make a basic hello world work on wasip2Ralf Jung-1/+1
2025-09-03no need to run GC_STRESS more than once for each OSRalf Jung-6/+4
2025-09-03re-balance CIRalf Jung-4/+5
2025-07-23CI: add windows-arm runnerRalf Jung-4/+8
2025-07-01re-balance CI jobsRalf Jung-4/+4
2025-06-29test on x86-32 and arm-32Ralf Jung-7/+16
2025-06-29also test on arm-64 linux hostsRalf Jung-5/+7
2025-05-23test some aarch64 windows targetsRalf Jung-1/+4
2025-05-23many-seeds tests have become a lot faster thanks to multithreadingRalf Jung-7/+5
2025-05-21run the full test suite under FreeBSDRalf Jung-2/+2
2025-05-21Implement FreeBSD syscall cpuset_getaffinity.LorrensP-2158466-2/+2
2025-05-19run tests on mips-unknown-linux-gnuRalf Jung-4/+5
2025-04-10run all 'thread' tests on FreeBSD, and also on 32bitRalf Jung-3/+3
2025-04-10feature: implement WAIT & WAKE operations of FreeBSD _umtx_op syscall for Fut...LorrensP-2158466-1/+1
2025-03-27run a few more concurrency tests on aarch64-linux-androidRalf Jung-1/+1
2025-02-24sanity-check for HOST_TARGETRalf Jung-1/+12
2025-01-28linker messages are no longer warnings by defaultRalf Jung-3/+1
2025-01-26prevent weird macOS linker errors from breaking the buildRalf Jung-1/+3
2025-01-12turns out Solarish targets support our entire test suiteRalf Jung-2/+3
2025-01-10Switched FreeBSD to pthread_setname_npYoh Deadfall-2/+2
2025-01-10disable threading tests on freebsd for nowRalf Jung-2/+2
2024-12-23remove --many-seeds from ./miri runRalf Jung-2/+2
2024-12-12./miri bench: add a flag to skip the install stepRalf Jung-2/+2
2024-12-12ci TEST_BENCH: show outputRalf Jung-1/+1
2024-11-26filesystem support for solarish.David Carlier-2/+2
2024-11-25Added epoll and eventfd for AndroidYoh Deadfall-1/+1
2024-11-23sysconf interception fix for solarish systems.David Carlier-1/+1
2024-11-22disable solaris on CI for nowRalf Jung-1/+1
2024-10-28Android: Added syscall supportYoh Deadfall-1/+1
2024-10-21Added support for prctl handling thread namesYoh Deadfall-1/+1
2024-10-10add libc-pipe test to CI for freebsd, solarishRalf Jung-4/+4
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
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-01-14 15:16:27 +0000