Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

A whole new world #41

Merged
merged 21 commits into from
Dec 21, 2023
Merged

A whole new world #41

merged 21 commits into from
Dec 21, 2023

Conversation

theogf
Copy link
Member

@theogf theogf commented Dec 19, 2023 •
edited
Loading

Solves everything with new emojis

Co-authored with @adrhill

@github-actions GitHub Actions
Copy link
Contributor

github-actions bot commented Dec 19, 2023 •
edited
Loading

Pull Request Test Coverage Report for Build 7292747002

  • 2 of 2 (100.0%) changed or added relevant lines in 1 file are covered.
  • No unchanged relevant lines lost coverage.
  • Overall coverage increased (+2.7%) to 64.444%
Totals Coverage Status
Change from base Build 7267257109: 2.7%
Covered Lines: 58
Relevant Lines: 90
💛 - Coveralls

@theogf theogf requested a review from adrhill December 19, 2023 22:43
theogf
theogf commented Dec 20, 2023
View reviewed changes
src/📖.jl Outdated Show resolved Hide resolved
@adrhill adrhill merged commit 325ac01 into 🖐️ Dec 21, 2023
11 checks passed
@adrhill adrhill deleted the tgf/new-good-stuff branch December 21, 2023 20:15
@adrhill adrhill restored the tgf/new-good-stuff branch December 21, 2023 20:15
@adrhill adrhill deleted the tgf/new-good-stuff branch December 21, 2023 20:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@adrhill adrhill Awaiting requested review from adrhill

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@theogf @adrhill