.github/workflows/dispatch.yaml

Workflow runs for .github/workflows/dispatch.yaml

• .github/workflows/dispatch.yaml

  completed successfully:
  .github/workflows/dispatch.yaml#947:Merge group checks requested
  Oct 15, 20261h 24m 51s
  More actions for workflow run 947

• Nicer inferred and displayed record types

  completed successfully:
  .github/workflows/dispatch.yaml#946:Pull request#6305openedbypchiusano
  wildcard-cleanup

  Oct 15, 20267s
  More actions for workflow run 946

• proofs

  completed successfully:
  .github/workflows/dispatch.yaml#945:Commit92509f1pushedbypchiusano
  wildcard-cleanup

  Oct 15, 202622s
  More actions for workflow run 945

• fixup transcripts

  failed:
  .github/workflows/dispatch.yaml#944:Commit4b8c5eapushedbypchiusano
  wildcard-cleanup

  Oct 15, 202614s
  More actions for workflow run 944

• FFI: allow passing C function pointers as arguments

  completed successfully:
  .github/workflows/dispatch.yaml#943:Pull request#6304synchronizebyBaccata
  Baccata:cp/ffi-funptr-arg

  Oct 14, 202622s
  More actions for workflow run 943

• FFI: allow passing C function pointers as arguments

  failed:
  .github/workflows/dispatch.yaml#942:Pull request#6304synchronizebyBaccata
  Baccata:cp/ffi-funptr-arg

  Oct 14, 202621s
  More actions for workflow run 942

• FFI: allow passing C function pointers as arguments

  requires action with the application:
  .github/workflows/dispatch.yaml#941:Pull request#6304synchronizebyBaccata
  Baccata:cp/ffi-funptr-arg

  Oct 14, 2026Action required
  More actions for workflow run 941

• FFI: allow passing C function pointers as arguments

  requires action with the application:
  .github/workflows/dispatch.yaml#940:Pull request#6304openedbyBaccata
  Baccata:cp/ffi-funptr-arg

  Oct 14, 2026Action required
  More actions for workflow run 940

• .github/workflows/dispatch.yaml

  completed successfully:
  .github/workflows/dispatch.yaml#939:Merge group checks requested
  Oct 13, 20261h 38m 24s
  More actions for workflow run 939

• Anonymous Records

  completed successfully:
  .github/workflows/dispatch.yaml#938:Pull request#6143synchronizebypchiusano
  cp/record-prototype

  Oct 13, 20267s
  More actions for workflow run 938

• tweak transcript, update proofs

  completed successfully:
  .github/workflows/dispatch.yaml#937:Commit1ec6b83pushedbypchiusano
  cp/record-prototype

  Oct 13, 202622s
  More actions for workflow run 937

• Anonymous Records

  completed successfully:
  .github/workflows/dispatch.yaml#936:Pull request#6143synchronizebypchiusano
  cp/record-prototype

  Oct 13, 20266s
  More actions for workflow run 936

• proofs

  failed:
  .github/workflows/dispatch.yaml#935:Commit7255e69pushedbypchiusano
  cp/record-prototype

  Oct 13, 202617s
  More actions for workflow run 935

• Anonymous Records

  completed successfully:
  .github/workflows/dispatch.yaml#934:Pull request#6143synchronizebypchiusano
  cp/record-prototype

  Oct 13, 20269s
  More actions for workflow run 934

• commit proofs

  completed successfully:
  .github/workflows/dispatch.yaml#933:Commita3df53epushedbypchiusano
  cp/record-prototype

  Oct 13, 202622s
  More actions for workflow run 933

• M7: strict representations and native builtins

  failed:
  .github/workflows/dispatch.yaml#932:Commit594e9f3pushedbypchiusano
  jit

  Oct 5, 202618s
  More actions for workflow run 932

• Fix misleading error message in pattern constructor type-checking (#6126)

  requires action with the application:
  .github/workflows/dispatch.yaml#931:Pull request#6265synchronizebymmustafasenoglu
  mmustafasenoglu:fix/pattern-constructor-error-message

  Oct 5, 2026Action required
  More actions for workflow run 931

• Anonymous Records

  completed successfully:
  .github/workflows/dispatch.yaml#930:Pull request#6143synchronizebyChrisPenner
  cp/record-prototype

  Oct 1, 20268s
  More actions for workflow run 930

• Bump codebase version

  failed:
  .github/workflows/dispatch.yaml#929:Commitcbc8846pushedbyChrisPenner
  cp/record-prototype-ai

  Oct 1, 202617s
  More actions for workflow run 929

• Bump codebase version

  failed:
  .github/workflows/dispatch.yaml#928:Commitcbc8846pushedbyChrisPenner
  cp/record-prototype

  Oct 1, 202619s
  More actions for workflow run 928

• Preserve reserved namespace names when parsing text

  completed successfully:
  .github/workflows/dispatch.yaml#927:Commit0979968pushedbyrunarorama
  gh/runarorama/1/orig

  Sep 30, 202655s
  More actions for workflow run 927

• Introduce dictionary parameters while checking qualified definitions

  completed successfully:
  .github/workflows/dispatch.yaml#926:Commit0b73feepushedbyrunarorama
  gh/runarorama/29/orig

  Sep 30, 202621s
  More actions for workflow run 926

• Record completed given schemes for deferred resolution

  completed successfully:
  .github/workflows/dispatch.yaml#925:Commit0dd4e93pushedbyrunarorama
  gh/runarorama/31/orig

  Sep 30, 202623s
  More actions for workflow run 925

• Insert dictionaries at identified expression sites

  completed successfully:
  .github/workflows/dispatch.yaml#924:Commit23e812apushedbyrunarorama
  gh/runarorama/24/orig

  Sep 30, 202625s
  More actions for workflow run 924

• Decompose qualified signatures into dictionary candidates

  completed successfully:
  .github/workflows/dispatch.yaml#923:Commit454dc62pushedbyrunarorama
  gh/runarorama/17/orig

  Sep 30, 202659s
  More actions for workflow run 923