All workflows

Workflow runs

• audit

  completed successfully:
  audit#36:Scheduled
  master

  Oct 26, 20263m 22s
  More actions for workflow run 36

• audit

  completed successfully:
  audit#35:Scheduled
  master

  Oct 19, 20263m 29s
  More actions for workflow run 35

• docs: internal working notes move to docs/internal

  completed successfully:
  test#64:Commit4251057pushedbymellonis
  next

  Oct 13, 20262m 47s
  More actions for workflow run 64

• docs(turing-machine): the limits of mutually dependent units, stated …

  completed successfully:
  test#63:Commit0cd9ba3pushedbymellonis
  next

  Oct 13, 20264m 54s
  More actions for workflow run 63

• audit

  completed successfully:
  audit#34:Scheduled
  master

  Oct 12, 20262m 31s
  More actions for workflow run 34

• audit

  completed successfully:
  audit#33:Scheduled
  master

  Oct 5, 20263m 27s
  More actions for workflow run 33

• test: ir graph's generator, raw pin and view group reach what they claim

  completed successfully:
  test#62:Commit7732312pushedbymellonis
  next

  Sep 30, 20264m 10s
  More actions for workflow run 62

• fix(turing-machine): two set diagnostics say what the name actually is

  completed successfully:
  test#61:Commit5dee4cdpushedbymellonis
  next

  Sep 30, 20263m 18s
  More actions for workflow run 61

• fix(turing-machine): a nested library graft is checked against the gr…

  completed successfully:
  test#60:Commitf285da7pushedbymellonis
  next

  Sep 30, 20263m 37s
  More actions for workflow run 60

• test(turing-machine): the state-argument control discriminates the ta…

  completed successfully:
  test#59:Commit36d31c6pushedbymellonis
  next

  Sep 30, 20263m 32s
  More actions for workflow run 59

• fix(turing-machine): a shadowed rule warns once and names the rule th…

  completed successfully:
  test#58:Commitc91f8f3pushedbymellonis
  next

  Sep 30, 20262m 24s
  More actions for workflow run 58

• fix(cli): the notice skip never eats an export-less header

  completed successfully:
  test#57:Commit87d2346pushedbymellonis
  next

  Sep 30, 20262m 32s
  More actions for workflow run 57

• chore: next is the development branch, master the last release

  completed successfully:
  test#56:Commit15c4c93pushedbymellonis
  next

  Sep 29, 20263m 41s
  More actions for workflow run 56

• chore: next is the development branch, master the last release

  completed successfully:
  audit#32:Commit15c4c93pushedbymellonis
  next

  Sep 29, 20263m 13s
  More actions for workflow run 32

• audit

  completed successfully:
  audit#31:Scheduled
  master

  Sep 28, 20263m 25s
  More actions for workflow run 31

• release: cut 0.5.0 — the browser release

  completed successfully:
  test#55:Commit50383a6pushedbymellonis
  master

  Sep 27, 20262m 12s
  More actions for workflow run 55

• fix(turing-machine): a graft reads its clause where its body comes from

  completed successfully:
  test#54:Commit98590e3pushedbymellonis
  master

  Sep 21, 20263m 31s
  More actions for workflow run 54

• audit

  completed successfully:
  audit#30:Scheduled
  master

  Sep 21, 20263m 18s
  More actions for workflow run 30

• polish: the tail-position refusal advises frames, and the sweep cover…

  completed successfully:
  test#53:Commite25e91dpushedbymellonis
  master

  Sep 15, 20263m 2s
  More actions for workflow run 53

• audit

  completed successfully:
  audit#29:Scheduled
  master

  Sep 14, 20262m 36s
  More actions for workflow run 29

• fix(core): the link stage refuses the binding forms it cannot resolve

  completed successfully:
  test#52:Commit2081856pushedbymellonis
  master

  Sep 14, 20262m 57s
  More actions for workflow run 52

• fix(completions): fish withholds nothing on its own, and its suffix h…

  completed successfully:
  test#51:Commit2c36ebdpushedbymellonis
  master

  Sep 12, 20263m 52s
  More actions for workflow run 51

• feat(cli): bash and fish completions, and a man page for pmt and tmt

  failed:
  test#50:Commitcb593fepushedbymellonis
  master

  Sep 12, 20262m 48s
  More actions for workflow run 50

• audit

  completed successfully:
  audit#28:Scheduled
  master

  Sep 7, 20263m 29s
  More actions for workflow run 28

• docs(claude): the JetBrains 0.2.1 zips are attached to v0.5.0

  completed successfully:
  test#49:Commitf8a24e6pushedbymellonis
  master

  Sep 2, 20262m 38s
  More actions for workflow run 49