Pullrequest CI

Workflow runs for Pullrequest CI

• Add GHC-88333

  failed:
  Pullrequest CI#484:Pull request#511synchronizebyMauScheff
  MauScheff:main

  Oct 15, 20261m 7s
  More actions for workflow run 484

• Improve documentation for GHC-01239

  completed successfully:
  Pullrequest CI#483:Pull request#576openedbyamalloy
  amalloy:patch-1

  Jan 29, 202618m 51s
  More actions for workflow run 483

• Add another example for GHC-58481

  completed successfully:
  Pullrequest CI#482:Pull request#575openedbyBodigrim
  another-example-of-GHC-58481

  Jan 11, 202616m 54s
  More actions for workflow run 482

• Add another example for GHC-39999

  completed successfully:
  Pullrequest CI#481:Pull request#564openedbyBodigrim
  another-example-of-GHC-39999

  Jan 7, 202622m 32s
  More actions for workflow run 481

• Add subsumption example to GHC-83865

  completed successfully:
  Pullrequest CI#480:Pull request#562synchronizebynoughtmare
  subsumption

  Oct 6, 202525m 1s
  More actions for workflow run 480

• Add subsumption example to GHC-83865

  completed successfully:
  Pullrequest CI#479:Pull request#562openedbynoughtmare
  subsumption

  Oct 6, 202525m 45s
  More actions for workflow run 479