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

Add missing headers and update copyright years #1961

Merged
merged 1 commit into from Jul 6, 2022

Conversation

samoht
Copy link
Member

@samoht samoht commented Jul 5, 2022

No description provided.

@samoht samoht added the no-changelog-needed No changelog is needed here label Jul 5, 2022
@codecov-commenter
Copy link

Codecov Report

Merging #1961 (5c5a10d) into main (46c79a8) will decrease coverage by 0.03%.
The diff coverage is n/a.

❗ Current head 5c5a10d differs from pull request most recent head 4bf62fc. Consider uploading reports for the commit 4bf62fc to get more accurate results

@@            Coverage Diff             @@
##             main    #1961      +/-   ##
==========================================
- Coverage   63.96%   63.93%   -0.04%     
==========================================
  Files         130      130              
  Lines       15479    15479              
==========================================
- Hits         9901     9896       -5     
- Misses       5578     5583       +5     
Impacted Files Coverage Δ
bench/irmin-pack/bench_common.ml 20.98% <ø> (ø)
bench/irmin-pack/trace_collection.ml 83.75% <ø> (ø)
bench/irmin-pack/trace_common.ml 87.50% <ø> (ø)
bench/irmin-pack/trace_definitions.ml 62.06% <ø> (ø)
bench/irmin-pack/trace_replay.ml 43.26% <ø> (ø)
bench/irmin-pack/trace_stat_summary.ml 83.90% <ø> (ø)
bench/irmin-pack/trace_stat_summary_pp.ml 0.18% <ø> (ø)
bench/irmin-pack/trace_stat_summary_utils.ml 60.00% <ø> (ø)
src/irmin-chunk/irmin_chunk.ml 77.67% <ø> (ø)
src/irmin-cli/cli.ml 20.74% <ø> (ø)
... and 102 more

📣 Codecov can now indicate which changes are the most critical in Pull Requests. Learn more

@samoht samoht merged commit abeee12 into mirage:main Jul 6, 2022
@samoht samoht deleted the update-licenses branch July 6, 2022 06:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
no-changelog-needed No changelog is needed here
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants