Familiars #133
Loading…
x
Reference in New Issue
Block a user
No description provided.
Delete Branch "familiars"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Familiars are implemented, with 100% coverage.
added 10 commits
master
7f63ab23
- Merge branch 'master' into 'familiars'Compare with previous version
enabled an automatic merge when the pipeline for
7f63ab2357
succeedsaborted the automatic merge because source branch was updated
added 1 commit
bb77dab6
- Fixed a error induced by the merge: creditsdisplay did not have an update functionCompare with previous version
added 1 commit
9cb5c915
- LintingCompare with previous version
Only 99% coverage because of a fix which is covered only in certain cases
enabled an automatic merge when the pipeline for
9cb5c9157f
succeedsmentioned in commit
2f95ce3d5f