Check stdlib_flags.h modifications

Workflow runs for Check stdlib_flags.h modifications

• fix: generate ctorIdx without an unsafe implementation

  completed successfully:
  Check stdlib_flags.h modifications#17233:Pull request#16324openedbyvincentqb
  Nov 6, 20269s
  More actions for workflow run 17233

• perf: stop awaiting each socket write in the HTTP server

  completed successfully:
  Check stdlib_flags.h modifications#17232:Pull request#16322openedbyalgebraic-dev
  Nov 6, 20267s
  More actions for workflow run 17232

• perf: stop awaiting each socket write in the HTTP server

  completed successfully:
  Check stdlib_flags.h modifications#17231:Pull request#16322labeledbyalgebraic-dev
  Nov 6, 20267s
  More actions for workflow run 17231

• perf: optimize instantiateForall

  completed successfully:
  Check stdlib_flags.h modifications#17230:Pull request#16321openedbyRob23oba
  Nov 6, 20268s
  More actions for workflow run 17230

• fix: keep findOLean's root cache valid across withImportModules

  completed successfully:
  Check stdlib_flags.h modifications#17229:Pull request#16320labeledbyKha
  Nov 6, 20268s
  More actions for workflow run 17229

• fix: keep findOLean's root cache valid across withImportModules

  completed successfully:
  Check stdlib_flags.h modifications#17228:Pull request#16320openedbyKha
  Nov 6, 20267s
  More actions for workflow run 17228

• fix: correct HTTP/1.1 parsing, framing and connection handling

  completed successfully:
  Check stdlib_flags.h modifications#17227:Pull request#16282synchronizebyalgebraic-dev
  Nov 6, 20268s
  More actions for workflow run 17227

• fix: correct HTTP/1.1 parsing, framing and connection handling

  completed successfully:
  Check stdlib_flags.h modifications#17226:Pull request#16282synchronizebyalgebraic-dev
  Nov 6, 202630s
  More actions for workflow run 17226

• feat: improve semantic highlighting

  completed successfully:
  Check stdlib_flags.h modifications#17225:Pull request#16151synchronizebyRIvance
  Nov 6, 20262m 37s
  More actions for workflow run 17225

• fix: cbv discharges overlap hypotheses of match equations

  completed successfully:
  Check stdlib_flags.h modifications#17224:Pull request#16316labeledbyleodemoura
  Nov 6, 202632s
  More actions for workflow run 17224

• fix: make lia and Nat offset simproc proofs cheap to check in the kernel

  completed successfully:
  Check stdlib_flags.h modifications#17223:Pull request#16319labeledbyleodemoura
  Nov 6, 20262m 17s
  More actions for workflow run 17223

• fix: make lia and Nat offset simproc proofs cheap to check in the kernel

  completed successfully:
  Check stdlib_flags.h modifications#17222:Pull request#16319openedbyleodemoura
  Nov 6, 20261m 54s
  More actions for workflow run 17222

• fix: correct HTTP/1.1 parsing, framing and connection handling

  completed successfully:
  Check stdlib_flags.h modifications#17221:Pull request#16282synchronizebyalgebraic-dev
  Nov 6, 20261m 6s
  More actions for workflow run 17221

• fix: cbv discharges overlap hypotheses of match equations

  completed successfully:
  Check stdlib_flags.h modifications#17220:Pull request#16316openedbywkrozowski
  Nov 6, 202610s
  More actions for workflow run 17220

• feat: use the documentation modifier for docstring semantic tokens

  completed successfully:
  Check stdlib_flags.h modifications#17219:Pull request#16314labeledbydavid-christiansen
  Nov 6, 20267s
  More actions for workflow run 17219

• feat: use the documentation modifier for docstring semantic tokens

  completed successfully:
  Check stdlib_flags.h modifications#17218:Pull request#16314openedbydavid-christiansen
  Nov 6, 20269s
  More actions for workflow run 17218

• fix: vcgen builds maximally shared terms

  completed successfully:
  Check stdlib_flags.h modifications#17217:Pull request#16310synchronizebysgraf812
  Nov 6, 20269s
  More actions for workflow run 17217

• fix: vcgen builds maximally shared terms

  completed successfully:
  Check stdlib_flags.h modifications#17216:Pull request#16310labeledbysgraf812
  Nov 6, 20267s
  More actions for workflow run 17216

• feat: vcgen destructures binders by @[vcgen_rintro] rules

  completed successfully:
  Check stdlib_flags.h modifications#17215:Pull request#16291synchronizebysgraf812
  Nov 6, 20266s
  More actions for workflow run 17215

• chore: bump olean header version and merge olean formats

  completed successfully:
  Check stdlib_flags.h modifications#17214:Pull request#16214synchronizebynomeata
  Nov 6, 20267s
  More actions for workflow run 17214

• feat: vcgen destructures binders by @[vcgen_rintro] rules

  completed successfully:
  Check stdlib_flags.h modifications#17213:Pull request#16291labeledbysgraf812
  Nov 6, 20267s
  More actions for workflow run 17213

• fix: vcgen builds maximally shared terms

  completed successfully:
  Check stdlib_flags.h modifications#17212:Pull request#16310synchronizebysgraf812
  Nov 6, 202610s
  More actions for workflow run 17212

• fix: vcgen builds maximally shared terms

  completed successfully:
  Check stdlib_flags.h modifications#17211:Pull request#16310openedbysgraf812
  Nov 6, 20266s
  More actions for workflow run 17211

• feat: vcgen destructures binders by @[vcgen_rintro] rules

  completed successfully:
  Check stdlib_flags.h modifications#17210:Pull request#16291synchronizebysgraf812
  Nov 6, 20268s
  More actions for workflow run 17210

• test: check Sym invariants in the vcgen tests

  completed successfully:
  Check stdlib_flags.h modifications#17209:Pull request#16308openedbysgraf812
  Nov 6, 20269s
  More actions for workflow run 17209