All workflows

Workflow runs

• CI

  completed successfully:
  CI#1954:Scheduled
  main

  Nov 2, 202522m 28s
  More actions for workflow run 1954

• Update baseline

  completed successfully:
  CI#1953:Commitb19f696pushedbyinducer
  main

  Oct 28, 202511m 31s
  More actions for workflow run 1953

• Update baseline

  completed successfully:
  Gitlab mirror#266:Commitb19f696pushedbyinducer
  main

  Oct 28, 202516s
  More actions for workflow run 266

• More special functions

  completed successfully:
  CI#1952:Pull request#342synchronizebyinducer
  more-special-functions

  Oct 28, 202512m 1s
  More actions for workflow run 1952

• More special functions

  cancelled:
  CI#1951:Pull request#342openedbyinducer
  more-special-functions

  Oct 28, 202512m 30s
  More actions for workflow run 1951

• github_actions in /. - Update #1135877679

  completed successfully:
  Dependabot Updates#74:bydependabot[bot]Bot
  main

  Oct 27, 202534s

• Update baseline

  completed successfully:
  CI#1950:Commit4817722pushedbyinducer
  main

  Oct 27, 202511m 38s
  More actions for workflow run 1950

• Update baseline

  completed successfully:
  Gitlab mirror#265:Commit4817722pushedbyinducer
  main

  Oct 27, 202521s
  More actions for workflow run 265

• Update baseline

  completed successfully:
  CI#1949:Pull request#341openedbyinducer
  bpr-baseline-2025-10-26

  Oct 27, 202511m 38s
  More actions for workflow run 1949

• CI

  failed:
  CI#1948:Scheduled
  main

  Oct 26, 202519m 12s
  More actions for workflow run 1948

• github_actions in /. - Update #1129865931

  completed successfully:
  Dependabot Updates#73:bydependabot[bot]Bot
  main

  Oct 20, 202531s

• CI

  completed successfully:
  CI#1947:Scheduled
  main

  Oct 19, 202525m 22s
  More actions for workflow run 1947

• github_actions in /. - Update #1124311085

  completed successfully:
  Dependabot Updates#72:bydependabot[bot]Bot
  main

  Oct 13, 202532s

• CI

  completed successfully:
  CI#1946:Scheduled
  main

  Oct 12, 202523m 6s
  More actions for workflow run 1946

• is_array_type should be an instance method

  completed successfully:
  CI#1945:Commit1efdb8cpushedbyinducer
  main

  Oct 7, 202511m 26s
  More actions for workflow run 1945

• is_array_type should be an instance method

  completed successfully:
  Gitlab mirror#264:Commit1efdb8cpushedbyinducer
  main

  Oct 7, 202515s
  More actions for workflow run 264

• is_array_type should be an instance method

  completed successfully:
  CI#1944:Pull request#340openedbyinducer
  is-ary-type-fix

  Oct 7, 202511m 36s
  More actions for workflow run 1944

• Add ArrayContext.is_array_type

  completed successfully:
  Gitlab mirror#263:Commit8ffa486pushedbyinducer
  main

  Oct 7, 202521s
  More actions for workflow run 263

• Add ArrayContext.is_array_type

  completed successfully:
  CI#1943:Commit8ffa486pushedbyinducer
  main

  Oct 7, 202511m 23s
  More actions for workflow run 1943

• Mini maint 2025 10

  completed successfully:
  CI#1942:Pull request#339openedbyinducer
  mini-maint-2025-10

  Oct 7, 202511m 35s
  More actions for workflow run 1942

• github_actions in /. - Update #1118776301

  completed successfully:
  Dependabot Updates#71:bydependabot[bot]Bot
  main

  Oct 6, 202529s

• fix: some newly surfaced typos

  completed successfully:
  CI#1941:Commit1e78477pushedbyinducer
  main

  Oct 5, 202511m 23s
  More actions for workflow run 1941

• fix: some newly surfaced typos

  completed successfully:
  Gitlab mirror#262:Commit1e78477pushedbyinducer
  main

  Oct 5, 202518s
  More actions for workflow run 262

• Fix some newly surfaced typos

  completed successfully:
  CI#1940:Pull request#338openedbyalexfikl
  alexfikl:fix-typos

  Oct 5, 202511m 45s
  More actions for workflow run 1940

• CI

  failed:
  CI#1939:Scheduled
  main

  Oct 5, 202521m 10s
  More actions for workflow run 1939