All workflows

Workflow runs

• Extension libraries upstream

  currently running:
  Extension libraries upstream#20:Scheduled
  develop

  Oct 28, 2026In progress
  More actions for workflow run 20

• Oracle reproduction

  currently running:
  Oracle reproduction#65:Scheduled
  develop

  Oct 28, 2026In progress
  More actions for workflow run 65

• perf(ast): memoize the fields Inspect descends through per struct type

  currently running:
  PR#7506:Pull request#1625openedbydevin-ai-integration[bot]Bot
  perf/ast-inspect-field-plan

  Oct 28, 2026In progress
  More actions for workflow run 7506

• perf(repl): collect referenced roots only when a reference is unresolved

  currently running:
  PR#7505:Pull request#1624openedbydevin-ai-integration[bot]Bot
  perf/resolve-first-lazy-roots

  Oct 28, 2026In progress
  More actions for workflow run 7505

• perf(repl): collect referenced roots only when a reference is unresolved

  failed:
  Validate action#499:Pull request#1624openedbydevin-ai-integration[bot]Bot
  perf/resolve-first-lazy-roots

  Oct 28, 20261m 18s
  More actions for workflow run 499

• fix(runtime): mark order dependence on chained places and same-step sibling reads

  completed successfully:
  PR#7504:Pull request#1619synchronizebydevin-ai-integration[bot]Bot
  fix/order-marks-chained-places

  Oct 28, 202641m 33s
  More actions for workflow run 7504

• fix(runtime): mark order dependence on chained places and same-step sibling reads

  failed:
  Validate action#498:Pull request#1619synchronizebydevin-ai-integration[bot]Bot
  fix/order-marks-chained-places

  Oct 28, 20261m 23s
  More actions for workflow run 498

• Nightly snapshot

  failed:
  Nightly snapshot#46:Scheduled
  develop

  Oct 28, 202623m 39s
  More actions for workflow run 46

• fix(runtime): mark order dependence on chained places and same-step sibling reads

  completed successfully:
  PR#7503:Pull request#1619synchronizebydevin-ai-integration[bot]Bot
  fix/order-marks-chained-places

  Oct 28, 202645m 29s
  More actions for workflow run 7503

• fix(runtime): mark order dependence on chained places and same-step sibling reads

  failed:
  Validate action#497:Pull request#1619synchronizebydevin-ai-integration[bot]Bot
  fix/order-marks-chained-places

  Oct 28, 20261m 49s
  More actions for workflow run 497

• docs: refresh stale Go citations in the compliance tables and gate the Implementation column

  completed successfully:
  PR#7502:Pull request#1620synchronizebydevin-ai-integration[bot]Bot
  docs/spec-compliance-go-identifiers

  Oct 28, 20261h 11m 8s
  More actions for workflow run 7502

• docs: refresh stale Go citations in the compliance tables and gate the Implementation column

  cancelled:
  PR#7501:Pull request#1620synchronizebydevin-ai-integration[bot]Bot
  docs/spec-compliance-go-identifiers

  Oct 28, 20265m 52s
  More actions for workflow run 7501

• docs: refresh stale Go citations in the compliance tables and gate the Implementation column

  cancelled:
  PR#7500:Pull request#1620ready_for_reviewbydevin-ai-integration[bot]Bot
  docs/spec-compliance-go-identifiers

  Oct 28, 20269m 42s
  More actions for workflow run 7500

• feat(smt): encode features valued by an expression over other features

  completed successfully:
  PR#7499:Pull request#1617synchronizebydevin-ai-integration[bot]Bot
  feat/smt-derived-features

  Oct 28, 20261h 30m 58s
  More actions for workflow run 7499

• feat(smt): encode features valued by an expression over other features

  cancelled:
  PR#7498:Pull request#1617synchronizebydevin-ai-integration[bot]Bot
  feat/smt-derived-features

  Oct 28, 20262m 9s
  More actions for workflow run 7498

• fix(project): read a usage's versionConstraint as a semver range

  completed successfully:
  PR#7497:Pull request#1568synchronizebydevin-ai-integration[bot]Bot
  fix/usage-version-ranges

  Oct 28, 20261h 16m 52s
  More actions for workflow run 7497

• feat(smt): encode features valued by an expression over other features

  cancelled:
  PR#7496:Pull request#1617ready_for_reviewbydevin-ai-integration[bot]Bot
  feat/smt-derived-features

  Oct 28, 202615m 25s
  More actions for workflow run 7496

• fix(runtime): mark order dependence on chained places and same-step sibling reads

  cancelled:
  PR#7495:Pull request#1619ready_for_reviewbydevin-ai-integration[bot]Bot
  fix/order-marks-chained-places

  Oct 28, 20261h 31m 49s
  More actions for workflow run 7495

• docs: refresh stale Go citations in the compliance tables and gate the Implementation column

  completed successfully:
  PR#7494:Pull request#1620synchronizebydevin-ai-integration[bot]Bot
  docs/spec-compliance-go-identifiers

  Oct 28, 202656m 23s
  More actions for workflow run 7494

• fix(project): read a usage's versionConstraint as a semver range

  cancelled:
  PR#7493:Pull request#1568ready_for_reviewbydevin-ai-integration[bot]Bot
  fix/usage-version-ranges

  Oct 28, 202627m 17s
  More actions for workflow run 7493

• fix(check): warn on a feature value whose type is unrelated to the feature's own type

  completed successfully:
  PR#7492:Pull request#1621synchronizebydevin-ai-integration[bot]Bot
  fix/feature-value-binding-conformance

  Oct 28, 20261h 47m 37s
  More actions for workflow run 7492

• fix(check): warn on a feature value whose type is unrelated to the feature's own type

  cancelled:
  PR#7491:Pull request#1621ready_for_reviewbydevin-ai-integration[bot]Bot
  fix/feature-value-binding-conformance

  Oct 28, 20269m 26s
  More actions for workflow run 7491

• refactor(internal): clear the Sonar findings outside the runtime

  completed successfully:
  PR#7490:Pull request#1610ready_for_reviewbydevin-ai-integration[bot]Bot
  fix/sonar-internal

  Oct 28, 20261h 59m 52s
  More actions for workflow run 7490

• refactor(scripts): clear the Sonar findings in the JavaScript scripts

  completed successfully:
  PR#7489:Pull request#1612ready_for_reviewbydevin-ai-integration[bot]Bot
  fix/sonar-js

  Oct 28, 20261h 52m 12s
  More actions for workflow run 7489

• fix(runtime): mark order dependence on chained places and same-step sibling reads

  failed:
  Validate action#496:Pull request#1619synchronizebydevin-ai-integration[bot]Bot
  fix/order-marks-chained-places

  Oct 28, 202620m 58s
  More actions for workflow run 496