Closed dependabot[bot] closed 8 months ago
All modified and coverable lines are covered by tests :white_check_mark:
Comparison is base (
c4252cc
) 68.96% compared to head (9871021
) 68.96%.
:exclamation: Your organization needs to install the Codecov GitHub app to enable full functionality.
:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.
master | 98710212a78762... | t[master]/t[98710212a78762...] | |
---|---|---|---|
logic/prove1 | 0.455 ± 0.017 s | 0.455 ± 0.017 s | 1 |
logic/rewrite | 0.0762 ± 0.0018 ms | 0.0778 ± 0.0013 ms | 0.979 |
maths/simpl1 | 0.0579 ± 0.004 s | 0.0579 ± 0.0037 s | 0.999 |
time_to_load | 0.261 ± 0.00019 s | 0.259 ± 0.0022 s | 1.01 |
A plot of the benchmark results have been uploaded as an artifact to the workflow run for this PR. Go to "Actions"->"Benchmark a pull request"->[the most recent run]->"Artifacts" (at the bottom).
Bumps actions/upload-artifact from 2 to 4.
Release notes
Sourced from actions/upload-artifact's releases.
... (truncated)
Commits
c7d193f
Merge pull request #466 from actions/v4-beta13131bb
licensed cache4a6c273
Merge branch 'main' into v4-betaf391bb9
Merge pull request #465 from actions/robherley/v4-documentation9653d03
Apply suggestions from code review875b630
add limitations sectionecb2146
add compression example5e7604f
trim some repeated infod6437d0
naming1b56155
s/v4-beta/v4/gDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting
@dependabot rebase
.Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR: - `@dependabot rebase` will rebase this PR - `@dependabot recreate` will recreate this PR, overwriting any edits that have been made to it - `@dependabot merge` will merge this PR after your CI passes on it - `@dependabot squash and merge` will squash and merge this PR after your CI passes on it - `@dependabot cancel merge` will cancel a previously requested merge and block automerging - `@dependabot reopen` will reopen this PR if it is closed - `@dependabot close` will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually - `@dependabot show