Skip to content
This repository has been archived by the owner on Dec 30, 2023. It is now read-only.

Update to POMDPs 0.9 and POMDPTools #16

Merged
merged 5 commits into from
Dec 20, 2023
Merged

Conversation

dylan-asmar
Copy link
Member

  • Updated to work with POMDPs 0.9
  • Updated to POMDPTools
  • Updated CI workflows
  • Changed installation directions (not currently registered on general)
  • Updated readme badges
  • Version bump

Copy link

codecov bot commented Dec 20, 2023

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (e238c54) 96.77% compared to head (6372122) 98.00%.
Report is 7 commits behind head on master.

Additional details and impacted files
@@            Coverage Diff             @@
##           master      #16      +/-   ##
==========================================
+ Coverage   96.77%   98.00%   +1.22%     
==========================================
  Files           2        2              
  Lines          31       50      +19     
==========================================
+ Hits           30       49      +19     
  Misses          1        1              

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@dylan-asmar dylan-asmar merged commit 23f6b27 into master Dec 20, 2023
8 checks passed
@dylan-asmar dylan-asmar deleted the pomdptools_ci_updates branch December 20, 2023 20:46
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant