Skip to content

Add banner for Semigroups.jl#22

Merged
jswent merged 5 commits intomainfrom
add-logo
Feb 4, 2026
Merged

Add banner for Semigroups.jl#22
jswent merged 5 commits intomainfrom
add-logo

Conversation

@jswent
Copy link
Member

@jswent jswent commented Feb 3, 2026

No description provided.

@jswent
Copy link
Member Author

jswent commented Feb 3, 2026

@james-d-mitchell threw together a quick logo while bored in lecture, lmk what you think

@codecov-commenter
Copy link

codecov-commenter commented Feb 3, 2026

Codecov Report

✅ All modified and coverable lines are covered by tests.
⚠️ Please upload report for BASE (main@f4df740). Learn more about missing BASE report.

Additional details and impacted files
@@           Coverage Diff           @@
##             main      #22   +/-   ##
=======================================
  Coverage        ?   66.66%           
=======================================
  Files           ?        7           
  Lines           ?      414           
  Branches        ?        0           
=======================================
  Hits            ?      276           
  Misses          ?      138           
  Partials        ?        0           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:
  • ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.

@james-d-mitchell
Copy link
Member

@Joseph-Edwards made a rival:

2d2bb38d-254a-40b5-a617-5c49dbcb907b

Maybe we could combine them? Remove the arrow thingy in yours @jswent and replace it with Joe's?

@jswent
Copy link
Member Author

jswent commented Feb 3, 2026

@Joseph-Edwards do you have a png of this? I tried using a color range but the borders are a bit fuzzy

@Joseph-Edwards
Copy link
Contributor

I do indeed. Here's the svg and png: semigroups-julia-logo.zip

I had also knocked up a banner which is contained in the zip, but I prefer yours so feel free to disregard that.

@jswent
Copy link
Member Author

jswent commented Feb 4, 2026

Semigroups jl

thoughts?

@jswent jswent merged commit b7055d1 into main Feb 4, 2026
1 check passed
@jswent jswent deleted the add-logo branch February 4, 2026 14:40
@james-d-mitchell
Copy link
Member

Love it!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants