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.

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

CI: update workflows #89

Open
wants to merge 10 commits into
base: main
Choose a base branch
from
Open

CI: update workflows #89

wants to merge 10 commits into from

Conversation

jorgepiloto
Copy link
Owner

No description provided.

@github-actions github-actions bot added the maintenance Generic maintenance related label Oct 3, 2022
@jorgepiloto jorgepiloto force-pushed the ci/maint-workflows branch 3 times, most recently from 2da4f5d to 90ed733 Compare October 4, 2022 16:51
@github-actions github-actions bot added the plotting Plotting and graphical utilities label Oct 4, 2022
@codecov-commenter
Copy link

codecov-commenter commented Dec 27, 2022

Codecov Report

Merging #89 (e6324f8) into main (22d50e0) will not change coverage.
The diff coverage is 100.00%.

@@           Coverage Diff           @@
##             main      #89   +/-   ##
=======================================
  Coverage   94.54%   94.54%           
=======================================
  Files          19       20    +1     
  Lines        1266     1266           
=======================================
  Hits         1197     1197           
  Misses         69       69           
Impacted Files Coverage Δ
src/lamberthub/universal_solvers/arora.py 83.95% <ø> (ø)
src/lamberthub/plotting/colormaps.py 100.00% <100.00%> (ø)
src/lamberthub/plotting/iterations.py 100.00% <100.00%> (ø)
src/lamberthub/plotting/time.py 100.00% <100.00%> (ø)

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

@jorgepiloto jorgepiloto force-pushed the ci/maint-workflows branch 7 times, most recently from 578092d to 3e1be4d Compare December 29, 2022 09:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
maintenance Generic maintenance related plotting Plotting and graphical utilities
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants