Skip to content

Releases: disberd/ExtendedLocalCoverage.jl

v0.1.3

29 Sep 15:00
@github-actions github-actions
v0.1.3
ef3d5df
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
v0.1.3 Latest
Latest

ExtendedLocalCoverage v0.1.3

Diff since v0.1.2

Merged pull requests:

Contributors

disberd
Assets 2
Loading

v0.1.2

29 Sep 14:45
@github-actions github-actions
v0.1.2
fc6d4b8

Choose a tag to compare

View all tags
v0.1.2

ExtendedLocalCoverage v0.1.2

Diff since v0.1.1

Merged PRs

  • Implement temporary fix for errors caused by PrettyTables v3 #4
Loading

v0.1.1

29 Sep 14:45
@github-actions github-actions
v0.1.1
299212c

Choose a tag to compare

View all tags
v0.1.1

ExtendedLocalCoverage v0.1.1

Loading