Skip to content
Snippets Groups Projects

Prior json format

Merged Colm Talbot requested to merge prior_to_json into master

This MR allows prior dicts (and prior classes) to be read from/written to json.

It's not the prettiest code so style feedback is particularly welcome.

This will allow to store all prior types, relevant to #355 (closed), #192 (closed).

Also, if we make this the default and deprecate the current version, we can remove the eval statement in the prior reading.

Merge request reports

Pipeline #73523 passed

Pipeline passed for a8a9906e on prior_to_json

Test coverage 70.00% (0.00%) from 1 job
Approved by

Merged by Gregory AshtonGregory Ashton 5 years ago (Aug 20, 2019 12:55am UTC)

Merge details

Pipeline #75675 passed with warnings

Pipeline passed with warnings for c08d62b8 on master

Test coverage 70.00% (0.00%) from 1 job

Activity

Filter activity
  • Approvals
  • Assignees & reviewers
  • Comments (from bots)
  • Comments (from users)
  • Commits & branches
  • Edits
  • Labels
  • Lock status
  • Mentions
  • Merge request status
  • Tracking
Please register or sign in to reply
Loading