1.0.3

1.0.3 (2024-05-10)

Dependency updates

• deps: update kotlin monorepo to v1.9.24 (e554fbe)
• deps: update node.js to 20.13 (aaefb09)
• deps: update plugin gitsemver to v3.1.5 (fc4f378)
• deps: update plugin org.danilopianini.gradle-pre-commit-git-hooks to v2.0.5 (1075fcb)

Bug Fixes

• ide: bug preventing loading of theories in :ide (3ddae3f)

Build and continuous integration

• deps: update actions/checkout action to v4.1.5 (717e447)
• deps: update danysk/action-checkout action to v0.2.17 (f3372b3)