Proofs

Workflow runs for Proofs

• Fail a '..' after a missing /dev/bus/usb name

  completed successfully:
  Proofs#612:Pull request#444openedbyjotpalch
  jotpalch:pr-dotdot-absent-bus

  Oct 16, 202614s
  More actions for workflow run 612

• Merge pull request #443 from sysprog21/fix

  completed successfully:
  Proofs#611:Commitb5e3fe8pushedbyjserv
  main

  Oct 16, 202648m 44s
  More actions for workflow run 611

• Find the stale-pid test's registry by its members

  completed successfully:
  Proofs#610:Pull request#443synchronizebyjserv
  fix

  Oct 16, 202612s
  More actions for workflow run 610

• Find the stale-pid test's registry by its members

  completed successfully:
  Proofs#609:Pull request#443synchronizebyjserv
  fix

  Oct 16, 202612s
  More actions for workflow run 609

• Find the stale-pid test's registry by its members

  completed successfully:
  Proofs#608:Pull request#443openedbyjserv
  fix

  Oct 16, 202615s
  More actions for workflow run 608

• Assert each syscall flag set and clear, and fix what it finds

  completed successfully:
  Proofs#607:Pull request#421synchronizebyxalestar
  xalestar:flag-matrix

  Oct 16, 20268m 24s
  More actions for workflow run 607

• Assert each syscall flag set and clear, and fix what it finds

  completed successfully:
  Proofs#606:Pull request#421synchronizebyxalestar
  xalestar:flag-matrix

  Oct 16, 20265m 52s
  More actions for workflow run 606

• Merge pull request #439 from jotpalch/pr-a0-node-dotdot

  completed successfully:
  Proofs#605:Commitc05b805pushedbyjserv
  main

  Oct 16, 202642m 35s
  More actions for workflow run 605

• Merge pull request #434 from xalestar/futex-lock-pi-waiters

  cancelled:
  Proofs#604:Commitfe4a202pushedbyjserv
  main

  Oct 16, 202610m 17s
  More actions for workflow run 604

• Merge pull request #432 from xalestar/fix-402-sigurg

  completed successfully:
  Proofs#603:Commit183a2f3pushedbyjserv
  main

  Oct 16, 202625m 40s
  More actions for workflow run 603

• Stop folding '..' across a usbfs node

  completed successfully:
  Proofs#602:Pull request#439synchronizebyjotpalch
  jotpalch:pr-a0-node-dotdot

  Oct 16, 202616s
  More actions for workflow run 602

• Assert each syscall flag set and clear, and fix what it finds

  completed successfully:
  Proofs#601:Pull request#421synchronizebyxalestar
  xalestar:flag-matrix

  Oct 15, 20266m 49s
  More actions for workflow run 601

• Assert each syscall flag set and clear, and fix what it finds

  completed successfully:
  Proofs#600:Pull request#421synchronizebyxalestar
  xalestar:flag-matrix

  Oct 15, 202623m 27s
  More actions for workflow run 600

• Set FUTEX_WAITERS under the bucket lock in LOCK_PI

  completed successfully:
  Proofs#599:Pull request#434synchronizebyxalestar
  xalestar:futex-lock-pi-waiters

  Oct 15, 202620m 50s
  More actions for workflow run 599

• Keep rlimits in guest state and enforce them

  completed successfully:
  Proofs#598:Pull request#435synchronizebyxalestar
  xalestar:guest-rlimits

  Oct 15, 202628m 11s
  More actions for workflow run 598

• Stop a listen backlog of 1 losing SIGURG

  completed successfully:
  Proofs#597:Pull request#432synchronizebyxalestar
  xalestar:fix-402-sigurg

  Oct 15, 202615s
  More actions for workflow run 597

• Stop folding '..' across a usbfs node

  completed successfully:
  Proofs#596:Pull request#439openedbyjotpalch
  jotpalch:pr-a0-node-dotdot

  Oct 15, 202615s
  More actions for workflow run 596

• Stop a listen backlog of 1 losing SIGURG

  completed successfully:
  Proofs#595:Pull request#432synchronizebyxalestar
  xalestar:fix-402-sigurg

  Oct 14, 20261m 38s
  More actions for workflow run 595

• Stop a listen backlog of 1 losing SIGURG

  cancelled:
  Proofs#594:Pull request#432synchronizebyxalestar
  xalestar:fix-402-sigurg

  Oct 14, 202617m 43s
  More actions for workflow run 594

• Stop a listen backlog of 1 losing SIGURG

  cancelled:
  Proofs#593:Pull request#432synchronizebyxalestar
  xalestar:fix-402-sigurg

  Oct 14, 20267m 29s
  More actions for workflow run 593

• Assert each syscall flag set and clear, and fix what it finds

  completed successfully:
  Proofs#592:Pull request#421synchronizebyxalestar
  xalestar:flag-matrix

  Oct 13, 20265m 31s
  More actions for workflow run 592

• Add workload through leveraging OCI images to run on CI

  completed successfully:
  Proofs#591:Pull request#438synchronizebyhenrybear327
  henrybear327:oci/runtime-lanes

  Oct 13, 202615s
  More actions for workflow run 591

• Keep rlimits in guest state and enforce them

  completed successfully:
  Proofs#590:Pull request#435synchronizebyxalestar
  xalestar:guest-rlimits

  Oct 13, 202627m 0s
  More actions for workflow run 590

• Keep rlimits in guest state and enforce them

  cancelled:
  Proofs#589:Pull request#435synchronizebyxalestar
  xalestar:guest-rlimits

  Oct 13, 20269s
  More actions for workflow run 589

• Keep rlimits in guest state and enforce them

  completed successfully:
  Proofs#588:Pull request#435synchronizebyxalestar
  xalestar:guest-rlimits

  Oct 13, 202627m 1s
  More actions for workflow run 588