Familiars #133
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
master7f63ab23- Merge branch 'master' into 'familiars'Compare with previous version
enabled an automatic merge when the pipeline for
7f63ab2357succeedsaborted 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
9cb5c9157fsucceedsmentioned in commit
2f95ce3d5f