Skip to content

Commit

Permalink
ogma-core: Document changes in CHANGELOG. Refs nasa#119.
Browse files Browse the repository at this point in the history
  • Loading branch information
ivanperez-keera committed Dec 26, 2024
1 parent 95e4e97 commit f99dfa0
Showing 1 changed file with 1 addition and 0 deletions.
1 change: 1 addition & 0 deletions ogma-core/CHANGELOG.md
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,7 @@
* Use template expansion system to generate F' monitoring component (#185).
* Use template expansion system to generate standalone Copilot monitor (#189).
* Add repository information to cabal package (#148).
* Add version bounds to all dependencies (#119).

## [1.5.0] - 2024-11-21

Expand Down

0 comments on commit f99dfa0

Please sign in to comment.