Check for empty PR

Workflow runs for Check for empty PR

• fix: include non-optional version in VersionedTextDocumentIdentifier json

  completed successfully:
  Check for empty PR#9769:Pull request#16237synchronizebythorimur
  thorimur:lsp-optional-version-null

  Nov 8, 20261m 12s
  More actions for workflow run 9769

• perf: check declarations in the kernel in parallel

  completed successfully:
  Check for empty PR#9768:Pull request#16343openedbyKha
  parallel-kernel-checks

  Nov 8, 20261m 8s
  More actions for workflow run 9768

• feat: make Std.WP.Assertion an opt-in class

  completed successfully:
  Check for empty PR#9767:Pull request#16342openedbysgraf812
  sg/assertion-opt-in

  Nov 7, 20261m 5s
  More actions for workflow run 9767

• Check for empty PR

  completed successfully:
  Check for empty PR#9766:Merge group checks requested
  Nov 7, 20261m 6s
  More actions for workflow run 9766

• fix: classify negative literals in grind by their syntactic type

  completed successfully:
  Check for empty PR#9765:Pull request#16341openedbyleodemoura
  grind-16286

  Nov 7, 202659s
  More actions for workflow run 9765

• fix: finish reports the thresholds of its own configuration

  completed successfully:
  Check for empty PR#9764:Pull request#16340openedbysgraf812
  sgraf812:sg/grind-finish-threshold-config

  Nov 7, 20261m 23s
  More actions for workflow run 9764

• Check for empty PR

  completed successfully:
  Check for empty PR#9763:Merge group checks requested
  Nov 7, 202659s
  More actions for workflow run 9763

• perf: derive Repr, BEq and Hashable once per mutual block

  completed successfully:
  Check for empty PR#9762:Pull request#16339synchronizebyKha
  derive-repr-mutual-once

  Nov 7, 20261m 29s
  More actions for workflow run 9762

• perf: derive Repr, BEq and Hashable once per mutual block

  completed successfully:
  Check for empty PR#9761:Pull request#16339synchronizebyKha
  derive-repr-mutual-once

  Nov 7, 20261m 25s
  More actions for workflow run 9761

• perf: derive Repr, BEq and Hashable once per mutual block

  completed successfully:
  Check for empty PR#9760:Pull request#16339synchronizebyKha
  derive-repr-mutual-once

  Nov 7, 20261m 31s
  More actions for workflow run 9760

• perf: derive Repr, BEq and Hashable once per mutual block

  completed successfully:
  Check for empty PR#9759:Pull request#16339synchronizebyKha
  derive-repr-mutual-once

  Nov 7, 20261m 26s
  More actions for workflow run 9759

• perf: derive Repr, BEq and Hashable once per mutual block

  completed successfully:
  Check for empty PR#9758:Pull request#16339synchronizebyKha
  derive-repr-mutual-once

  Nov 7, 20261m 26s
  More actions for workflow run 9758

• perf: derive Repr, BEq and Hashable once per mutual block

  completed successfully:
  Check for empty PR#9757:Pull request#16339synchronizebyKha
  derive-repr-mutual-once

  Nov 7, 20261m 27s
  More actions for workflow run 9757

• perf: derive Repr, BEq and Hashable once per mutual block

  completed successfully:
  Check for empty PR#9756:Pull request#16339openedbyKha
  derive-repr-mutual-once

  Nov 7, 20261m 32s
  More actions for workflow run 9756

• perf: intern parentDecl strings when decoding ModuleRefs from JSON

  completed successfully:
  Check for empty PR#9755:Pull request#16338openedbykmehltretter82
  kmehltretter82:perf-intern-ilean-parentdecl

  Nov 7, 20261m 19s
  More actions for workflow run 9755

• fix: add expected type hints to Sym rules modified by preprocessing

  completed successfully:
  Check for empty PR#9754:Pull request#16140synchronizebykmehltretter82
  kmehltretter82:fix-sym-thm-expected-prop-hint

  Nov 7, 20261m 15s
  More actions for workflow run 9754

• fix: language server hardening

  completed successfully:
  Check for empty PR#9753:Pull request#16337openedbymhuisi
  mhuisi:push-nvlnrvxylnql

  Nov 7, 20261m 40s
  More actions for workflow run 9753

• perf: import simp sets and instances from per-module olean data

  completed successfully:
  Check for empty PR#9752:Pull request#15923synchronizebyKha
  lazy-simp-discrtree

  Nov 7, 20261m 33s
  More actions for workflow run 9752

• perf: import simp sets and instances from per-module olean data

  completed successfully:
  Check for empty PR#9751:Pull request#15923synchronizebyKha
  lazy-simp-discrtree

  Nov 7, 20261m 6s
  More actions for workflow run 9751

• perf: import simp sets and instances from per-module olean data

  completed successfully:
  Check for empty PR#9750:Pull request#15923synchronizebyKha
  lazy-simp-discrtree

  Nov 7, 202657s
  More actions for workflow run 9750

• perf: make Except.bind and OptionT.bind abbreviations for lazy-delta reduction

  completed successfully:
  Check for empty PR#9749:Pull request#16336openedbyarthur-adjedj
  arthur-adjedj:abbrev_bind

  Nov 7, 20261m 13s
  More actions for workflow run 9749

• feat: eta-expand partial recursor apps for structures/K-like types

  completed successfully:
  Check for empty PR#9748:Pull request#15374synchronizebyarthur-adjedj
  arthur-adjedj:eta-expand-partial-recursors

  Nov 7, 20261m 18s
  More actions for workflow run 9748

• perf: faster isProof major in reduceRec

  completed successfully:
  Check for empty PR#9747:Pull request#16232synchronizebyarthur-adjedj
  arthur-adjedj:16108

  Nov 7, 20261m 10s
  More actions for workflow run 9747

• feat: eta-expand partial recursor apps for structures/K-like types

  completed successfully:
  Check for empty PR#9746:Pull request#15374synchronizebyarthur-adjedj
  arthur-adjedj:eta-expand-partial-recursors

  Nov 7, 20261m 12s
  More actions for workflow run 9746

• perf: faster isProof major in reduceRec

  completed successfully:
  Check for empty PR#9745:Pull request#16232synchronizebyarthur-adjedj
  arthur-adjedj:16108

  Nov 7, 20261m 4s
  More actions for workflow run 9745