Skip to content

v0.22.4

Compare
Choose a tag to compare
@github-actions github-actions released this 17 May 10:16
f548ec5

DynamicPPL v0.22.4

Diff since v0.22.3

Closed issues:

  • Use merge queue instead of bors? (#463)

Merged pull requests: