Skip to content

v0.10.0

Choose a tag to compare

@github-actions github-actions released this 14 Sep 19:13
· 38 commits to main since this release
48b339f

Engine

  • refactor one home for the shared plan policy (#116) (d827b4e)
  • feat four more agents, chosen by name (#112) (2e82c14)
  • feat a dependency carries its site (#113) (b067f5d)

Symbols

  • fix a binding is a declaration, not a use of one (#119) (a8456ed)

TUI

  • fix the symbol float closes when the cursor leaves its row (#120) (b327a50)
  • test drop the render_dump tests and the tests they made redundant (#115) (6aad91e)
  • feat z shows the code a line depends on (#114) (61ef285)
  • feat the terminal shows the wait and says when it is over (#111) (af779a2)

Tests

  • share the parity harness and duplicated fixtures through testutil (#117) (15b9f90)

Docs

CI

  • the release PR job needs stable, not the pin (#122) (63851ef)
  • release-plz opens the release PR and pushes the tag (#121) (6acb629)