CI

Workflow runs for CI

• CI

  completed successfully:
  CI#15733:Merge group checks requested
  Nov 13, 202629m 34s
  More actions for workflow run 15733

• Automatic Rustup

  completed successfully:
  CI#15732:Pull request#5622synchronizebyRalfJung
  rustup-2026-11-13

  Nov 13, 202625m 28s
  More actions for workflow run 15732

• Automatic Rustup

  failed:
  CI#15731:Pull request#5622openedbyworkflows-miri[bot]Bot
  rustup-2026-11-13

  Nov 13, 202624m 24s
  More actions for workflow run 15731

• CI

  failed:
  CI#15730:Scheduled
  master

  Nov 13, 202616m 21s
  More actions for workflow run 15730

• x86 rcp/rsqrt: treat denormal inputs as zero, flush tiny rcp results

  completed successfully:
  CI#15729:Pull request#5621openedbyprogramskillforverification
  programskillforverification:fix-rcp-rsqrt-denormal

  Nov 12, 202625m 5s
  More actions for workflow run 15729

• Automatic Rustup

  completed successfully:
  CI#15728:Pull request#5620synchronizebyRalfJung
  rustup-2026-11-12

  Nov 12, 202629m 37s
  More actions for workflow run 15728

• Implement unlinkat to support fs::remove_dir_all

  completed successfully:
  CI#15727:Pull request#5414synchronizebyprogramskillforverification
  programskillforverification:unix-unlinkat

  Nov 12, 202627m 19s
  More actions for workflow run 15727

• Implement unlinkat to support fs::remove_dir_all

  completed successfully:
  CI#15726:Pull request#5414synchronizebyprogramskillforverification
  programskillforverification:unix-unlinkat

  Nov 12, 202625m 55s
  More actions for workflow run 15726

• Automatic Rustup

  failed:
  CI#15725:Pull request#5620openedbyworkflows-miri[bot]Bot
  rustup-2026-11-12

  Nov 12, 202626m 7s
  More actions for workflow run 15725

• CI

  failed:
  CI#15724:Scheduled
  master

  Nov 12, 202624m 51s
  More actions for workflow run 15724

• Add libc direct tests for pthread_atfork and sched_yield

  completed successfully:
  CI#15723:Pull request#5616openedbymehmettoplu-rs
  mehmettoplu-rs:test-sched-yield-pthread-atfork

  Nov 11, 202625m 12s
  More actions for workflow run 15723

• Implement unlinkat to support fs::remove_dir_all

  failed:
  CI#15722:Pull request#5414synchronizebyprogramskillforverification
  programskillforverification:unix-unlinkat

  Nov 11, 202624m 6s
  More actions for workflow run 15722

• Track pthread_attr_t stack size and make pthread_create fail for huge stacks

  failed:
  CI#15721:Pull request#5601synchronizebyprogramskillforverification
  programskillforverification:pthread-attr-stacksize

  Nov 11, 202624m 52s
  More actions for workflow run 15721

• CI

  completed successfully:
  CI#15720:Merge group checks requested
  Nov 11, 202626m 11s
  More actions for workflow run 15720

• Add libc direct tests for unlink and symlink

  completed successfully:
  CI#15719:Pull request#5584synchronizebyRalfJung
  mehmettoplu-rs:test-unlink-symlink

  Nov 11, 202624m 21s
  More actions for workflow run 15719

• Add support for non-blocking I/O operations on UDP sockets

  completed successfully:
  CI#15718:Pull request#5507synchronizebyWhySoBad
  WhySoBad:udp-non-blocking-io

  Nov 11, 202630m 12s
  More actions for workflow run 15718

• CI

  failed:
  CI#15717:Merge group checks requested
  Nov 11, 202628m 55s
  More actions for workflow run 15717

• Add libc direct tests for unlink and symlink

  completed successfully:
  CI#15716:Pull request#5584synchronizebyRalfJung
  mehmettoplu-rs:test-unlink-symlink

  Nov 11, 202625m 42s
  More actions for workflow run 15716

• Add support for non-blocking I/O operations on UDP sockets

  failed:
  CI#15715:Pull request#5507synchronizebyWhySoBad
  WhySoBad:udp-non-blocking-io

  Nov 11, 202625m 39s
  More actions for workflow run 15715

• Add support for non-blocking I/O operations on UDP sockets

  failed:
  CI#15714:Pull request#5507synchronizebyWhySoBad
  WhySoBad:udp-non-blocking-io

  Nov 11, 202629m 35s
  More actions for workflow run 15714

• CI

  completed successfully:
  CI#15713:Merge group checks requested
  Nov 11, 202625m 53s
  More actions for workflow run 15713

• Automatic Rustup

  completed successfully:
  CI#15712:Pull request#5614synchronizebyRalfJung
  rustup-2026-11-11

  Nov 11, 202625m 4s
  More actions for workflow run 15712

• CI

  completed successfully:
  CI#15711:Merge group checks requested
  Nov 11, 202626m 33s
  More actions for workflow run 15711

• Automatic Rustup

  failed:
  CI#15710:Pull request#5614openedbyworkflows-miri[bot]Bot
  rustup-2026-11-11

  Nov 11, 202624m 13s
  More actions for workflow run 15710

• CI

  failed:
  CI#15709:Scheduled
  master

  Nov 11, 202630m 3s
  More actions for workflow run 15709