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

CompatHelper: bump compat for GeometricBase to 0.9, (keep existing compat) #10

Merged

Conversation

github-actions[bot]
Copy link
Contributor

@github-actions github-actions bot commented Sep 4, 2023

This pull request changes the compat entry for the GeometricBase package from 0.8 to 0.8, 0.9.
This keeps the compat entries for earlier versions.

Note: I have not tested your package with this new compat entry.
It is your responsibility to make sure that your package tests pass before you merge this pull request.

@michakraus michakraus force-pushed the compathelper/new_version/2023-09-04-00-39-31-486-02240425590 branch from ce2a8e9 to 4a93b57 Compare September 4, 2023 00:39
@codecov
Copy link

codecov bot commented Sep 4, 2023

Codecov Report

Merging #10 (73d29d7) into main (e9ace90) will not change coverage.
Report is 3 commits behind head on main.
The diff coverage is 100.00%.

@@           Coverage Diff           @@
##             main      #10   +/-   ##
=======================================
  Coverage   89.34%   89.34%           
=======================================
  Files           4        4           
  Lines         169      169           
=======================================
  Hits          151      151           
  Misses         18       18           
Files Changed Coverage Δ
src/EulerLagrange.jl 100.00% <ø> (ø)
src/hamiltonian.jl 84.74% <100.00%> (ø)
src/lagrangian.jl 89.28% <100.00%> (ø)

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

@michakraus michakraus merged commit a63112d into main Sep 20, 2023
15 checks passed
@michakraus michakraus deleted the compathelper/new_version/2023-09-04-00-39-31-486-02240425590 branch September 20, 2023 15:58
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.

1 participant