v0.28.1

ReachabilityAnalysis v0.28.1

Diff since v0.28.0

Merged pull requests:

• Use scale for linear map with IdentityMultiple (#892) (@schillic)
• Remove redundant dependency ExprTools (#915) (@schillic)
• Fix typo in comment (#916) (@schillic)
• Fix creation of tagged docs versions (#917) (@schillic)
• Automatic JuliaFormatter.jl run (#918) (@github-actions[bot])
• Trigger docs building for new tags (#919) (@schillic)
• v0.28.1 (#920) (@schillic)