Releases: oscar-system/OscarDevTools.jl
Releases · oscar-system/OscarDevTools.jl
v0.2.22
OscarDevTools v0.2.22
Merged pull requests:
- Revert "stick with ubuntu 22.04 for now" (#42) (@benlorenz)
v0.2.21
OscarDevTools v0.2.21
Merged pull requests:
- use ubuntu 22.04 instead of latest by default (#41) (@benlorenz)
v0.2.20
OscarDevTools v0.2.20
Merged pull requests:
- include
documenter_helpers.jl
from Oscar if possible (#39) (@benlorenz)
v0.2.19
OscarDevTools v0.2.19
Merged pull requests:
- Update GH actions (#37) (@fingolfin)
- Only run doctests for packages with enabled tests (#38) (@lgoettgens)
v0.2.18
OscarDevTools v0.2.18
Merged pull requests:
- Don't add DocumenterMarkdown anymore (#36) (@fingolfin)
Closed issues:
- OscarCI runs fake doctests with
depwarn=yes
(#35)
v0.2.17
OscarDevTools v0.2.17
Merged pull requests:
- fixup: booktest only on linux + julia 1.10 (#34) (@benlorenz)