Familiars #133
No reviewers
Labels
No Label
Bug
documentation
Doing
Features
Improvements
Sugar coating
To Do
No Milestone
No project
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies
No dependencies set.
Reference: ynerant/squirrel-battle#133
Loading…
Reference in New Issue
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