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: try parallel again #1468

Merged
merged 2 commits into from
Apr 23, 2024
Merged

ci: try parallel again #1468

merged 2 commits into from
Apr 23, 2024

Conversation

thofma
Copy link
Owner

@thofma thofma commented Apr 22, 2024

No description provided.

@thofma thofma force-pushed the th/ci branch 2 times, most recently from 8a8f4a5 to 7ce6661 Compare April 22, 2024 20:13
Copy link

codecov bot commented Apr 22, 2024

Codecov Report

Merging #1468 (d14d9f1) into master (b73d8cb) will increase coverage by 0.15%.
Report is 1 commits behind head on master.
The diff coverage is 100.00%.

Additional details and impacted files
@@            Coverage Diff             @@
##           master    #1468      +/-   ##
==========================================
+ Coverage   75.10%   75.26%   +0.15%     
==========================================
  Files         354      354              
  Lines      112687   112690       +3     
==========================================
+ Hits        84637    84815     +178     
+ Misses      28050    27875     -175     
Files Coverage Δ
src/QuadForm/Herm/Lattices.jl 97.57% <100.00%> (ø)

... and 31 files with indirect coverage changes

@thofma thofma force-pushed the th/ci branch 2 times, most recently from 6e13845 to 427f5c6 Compare April 23, 2024 08:08
@thofma thofma marked this pull request as draft April 23, 2024 08:08
@thofma thofma marked this pull request as ready for review April 23, 2024 20:14
@thofma thofma enabled auto-merge (rebase) April 23, 2024 20:14
@thofma thofma disabled auto-merge April 23, 2024 20:14
@thofma thofma merged commit 8048731 into master Apr 23, 2024
19 checks passed
@thofma thofma deleted the th/ci branch April 23, 2024 20:14
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