All workflows

Workflow runs

• fix(check): withdraw part-usage-part-definition; a part usage's derived partDefinition is never empty

  waiting for another serialized run to finish:
  PR#6917:Pull request#1484synchronizebydevin-ai-integration[bot]Bot
  fix/part-usage-part-definition-reading

  Oct 25, 2026Pending
  More actions for workflow run 6917

• refactor(runtime): put conditionText's doc comment back on conditionText

  currently running:
  PR#6916:Pull request#1499openedbydevin-ai-integration[bot]Bot
  refactor/condition-text-doc-comment

  Oct 25, 2026In progress
  More actions for workflow run 6916

• refactor(semantics): call symbols.AnnotatesOthers directly instead of through a private alias

  queued:
  PR#6915:Pull request#1490ready_for_reviewbydevin-ai-integration[bot]Bot
  refactor/annotates-others-alias

  Oct 25, 2026Queued
  More actions for workflow run 6915

• refactor(record): fold shortName into ShortName and drop an orphaned doc comment

  queued:
  PR#6914:Pull request#1498openedbydevin-ai-integration[bot]Bot
  refactor/record-short-name

  Oct 25, 2026Queued
  More actions for workflow run 6914

• refactor(mcp): count UTF-16 units with unicode/utf16.RuneLen in the toolkit

  queued:
  PR#6913:Pull request#1488ready_for_reviewbydevin-ai-integration[bot]Bot
  refactor/toolkit-utf16-runelen

  Oct 25, 2026Queued
  More actions for workflow run 6913

• refactor: replace hand-rolled membership and index helpers with slices.*

  currently running:
  PR#6912:Pull request#1497openedbydevin-ai-integration[bot]Bot
  refactor/slices-contains-helpers

  Oct 25, 2026In progress
  More actions for workflow run 6912

• refactor(semantic): take the last segment of a qualified name through symbols.LastSegment everywhere

  queued:
  PR#6911:Pull request#1496openedbydevin-ai-integration[bot]Bot
  refactor/last-segment-helpers

  Oct 25, 2026Queued
  More actions for workflow run 6911

• refactor(semantic): take the last segment of a qualified name through symbols.LastSegment everywhere

  completed successfully:
  Validate action#392:Pull request#1496openedbydevin-ai-integration[bot]Bot
  refactor/last-segment-helpers

  Oct 25, 20262m 41s
  More actions for workflow run 392

• refactor(semantic,codegen,check): spell qualified names through (*ast.QualifiedName).Text

  queued:
  PR#6910:Pull request#1486ready_for_reviewbydevin-ai-integration[bot]Bot
  refactor/qualified-name-text

  Oct 25, 2026Queued
  More actions for workflow run 6910

• feat(doc): read model values into Markdown and AsciiDoc prose (sysml:value)

  completed successfully:
  Validate action#391:Pull request#1476synchronizebydevin-ai-integration[bot]Bot
  feat/document-inline-values

  Oct 25, 20265m 55s
  More actions for workflow run 391

• feat(doc): read model values into Markdown and AsciiDoc prose (sysml:value)

  queued:
  PR#6909:Pull request#1476synchronizebydevin-ai-integration[bot]Bot
  feat/document-inline-values

  Oct 25, 2026Queued
  More actions for workflow run 6909

• refactor(suggest): take the edit-distance minimum from the builtin min

  queued:
  PR#6908:Pull request#1487ready_for_reviewbydevin-ai-integration[bot]Bot
  refactor/suggest-builtin-min

  Oct 25, 2026Queued
  More actions for workflow run 6908

• fix(export): check sysx:conjugatedTyping against the typing element only

  queued:
  PR#6907:Pull request#1485synchronizebydevin-ai-integration[bot]Bot
  fix/rdf-conjugated-port-subsetting

  Oct 25, 2026Queued
  More actions for workflow run 6907

• refactor(census): export StripModelSource directly instead of forwarding to an unexported twin

  queued:
  PR#6906:Pull request#1495openedbydevin-ai-integration[bot]Bot
  refactor/strip-model-source-forwarder

  Oct 25, 2026Queued
  More actions for workflow run 6906

• fix(check): withdraw part-usage-part-definition; a part usage's derived partDefinition is never empty

  queued:
  PR#6905:Pull request#1484synchronizebydevin-ai-integration[bot]Bot
  fix/part-usage-part-definition-reading

  Oct 25, 2026Queued
  More actions for workflow run 6905

• refactor(semantics,solve,migrate): call source.StringValue and source.StringText directly

  currently running:
  PR#6904:Pull request#1494openedbydevin-ai-integration[bot]Bot
  refactor/inline-string-literal-helpers

  Oct 25, 2026In progress
  More actions for workflow run 6904

• refactor(repl): call nsmerge.MemberName directly instead of a forwarding alias

  currently running:
  PR#6903:Pull request#1493openedbydevin-ai-integration[bot]Bot
  refactor/repl-member-name-alias

  Oct 25, 2026In progress
  More actions for workflow run 6903

• refactor(repl): call nsmerge.MemberName directly instead of a forwarding alias

  completed successfully:
  Validate action#390:Pull request#1493openedbydevin-ai-integration[bot]Bot
  refactor/repl-member-name-alias

  Oct 25, 20266m 24s
  More actions for workflow run 390

• fix(runtime): derive implicit specializations for every performance the run creates

  currently running:
  PR#6902:Pull request#1492openedbydevin-ai-integration[bot]Bot
  fix/implicit-specialization-runtime-objects

  Oct 25, 2026In progress
  More actions for workflow run 6902

• refactor(repl,metamodel): drop test-only forwarders witnessLine, sameName and containsSymbol

  completed successfully:
  Validate action#389:Pull request#1491openedbydevin-ai-integration[bot]Bot
  refactor/drop-test-only-forwarders

  Oct 25, 20267m 36s
  More actions for workflow run 389

• refactor(repl,metamodel): drop test-only forwarders witnessLine, sameName and containsSymbol

  currently running:
  PR#6901:Pull request#1491openedbydevin-ai-integration[bot]Bot
  refactor/drop-test-only-forwarders

  Oct 25, 2026In progress
  More actions for workflow run 6901

• refactor(semantics): call symbols.AnnotatesOthers directly instead of through a private alias

  completed successfully:
  PR#6900:Pull request#1490openedbydevin-ai-integration[bot]Bot
  refactor/annotates-others-alias

  Oct 25, 202620m 36s
  More actions for workflow run 6900

• refactor(tools,repl): replace hand-rolled sorted-unique helpers with slices.Sort and slices.Compact

  queued:
  PR#6899:Pull request#1489openedbydevin-ai-integration[bot]Bot
  refactor/stdlib-dedupe

  Oct 25, 2026Queued
  More actions for workflow run 6899

• refactor(tools,repl): replace hand-rolled sorted-unique helpers with slices.Sort and slices.Compact

  completed successfully:
  Validate action#388:Pull request#1489openedbydevin-ai-integration[bot]Bot
  refactor/stdlib-dedupe

  Oct 25, 20261m 53s
  More actions for workflow run 388

• refactor(mcp): count UTF-16 units with unicode/utf16.RuneLen in the toolkit

  completed successfully:
  PR#6898:Pull request#1488openedbydevin-ai-integration[bot]Bot
  refactor/toolkit-utf16-runelen

  Oct 25, 202623m 40s
  More actions for workflow run 6898