All workflows

Workflow runs

• feat(design): adopt strata self-model, drive frob sys audit to PROVED

  completed successfully:
  CI#15:Commit370e96fpushedbylognd
  master

  Jul 18, 202625s
  More actions for workflow run 15

• chore(tickets): migrate to single-file tickets.md ledger

  completed successfully:
  CI#14:Commit7b1e600pushedbylognd
  master

  Jul 17, 202629s
  More actions for workflow run 14

• chore: adopt frob enforcement baseline

  completed successfully:
  CI#13:Commitb5f1f15pushedbylognd
  master

  Jul 17, 202630s
  More actions for workflow run 13

• build: force LF on shell scripts so packaged installers work

  completed successfully:
  CI#12:Commit90497d6pushedbylognd
  master

  Jul 11, 202626s
  More actions for workflow run 12

• test: make tool integration tests portable and non-crashing

  completed successfully:
  CI#11:Commit3685916pushedbylognd
  master

  Jul 11, 202628s
  More actions for workflow run 11

• ci: add tomli to dev deps so ty resolves the <3.11 fallback

  failed:
  CI#10:Commit9411ac6pushedbylognd
  master

  Jul 11, 202625s
  More actions for workflow run 10

• style: ruff-format PythonAnnotationCheck and its tests

  failed:
  CI#9:Commit7960b96pushedbylognd
  master

  Jul 11, 202627s
  More actions for workflow run 9

• build: sync uv.lock to version 0.3.9

  failed:
  CI#8:Commitb7aaa06pushedbylognd
  master

  Jul 11, 202615s
  More actions for workflow run 8

• chore: bump version to 0.3.9

  failed:
  CI#7:Commitaec64ccpushedbylognd
  master

  Jul 11, 202615s
  More actions for workflow run 7

• feat(check): add PythonAnnotationCheck for annotation-completeness

  failed:
  CI#6:Commitf8550e7pushedbylognd
  master

  Jul 11, 202613s
  More actions for workflow run 6

• chore: bump version to

  failed:
  CI#5:Commit3c2ce4fpushedbylognd
  master

  Jul 10, 202626s
  More actions for workflow run 5

• chore: bump version to

  failed:
  CI#4:Commite984637pushedbylognd
  master

  Jul 10, 202612s
  More actions for workflow run 4

• chore: bump version to 0.3.7

  failed:
  CI#3:Commit9b61d96pushedbylognd
  master

  Jul 2, 202628s
  More actions for workflow run 3

• chore: added upload target to makefile and updated .gitignore.

  failed:
  CI#2:Commit7f11e25pushedbylognd
  master

  Jul 2, 202628s
  More actions for workflow run 2

• docs: document KeywordConstraint and TyCheck, fix stale constraint API

  failed:
  CI#1:Commit1fe72d4pushedbylognd
  master

  Jul 2, 202628s
  More actions for workflow run 1