Builds | Branch | Commit | Type | Ran | Committer | Via | Coverage |
---|---|---|---|---|---|---|---|
3e3a013e4 | master | Merge pull request #1 from robrwo/master | push | GitHub | github-actions | pending completion set done | |
a32862e25 | 0.002 | More documentation | push | Toby Inkster | github-actions | pending completion set done | |
69d03ca4b | master | Added tag 0.002 for changeset 36ebe8702176 | push | Toby Inkster | github-actions | pending completion set done | |
5e15929d5 | master | Add a coercions_for_Self function | push | Toby Inkster | github-actions | pending completion set done | |
aab3b7c38 | master | Improve documentation | push | Toby Inkster | github-actions | pending completion set done | |
aaf167fb7 | master | Added tag 0.001 for changeset 2e1bcd4464a0 | push | Toby Inkster | github-actions | pending completion set done | |
3adcf45c2 | 0.001 | Updating GitHub Actions. | push | Toby Inkster | github-actions | pending completion set done | |
3adcf45c2 | master | Updating GitHub Actions. | push | Toby Inkster | github-actions | pending completion set done |