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 (f86d89f
) 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 | f86d89fc24f0bf... | t[master]/t[f86d89fc24f0bf...] | |
---|---|---|---|
logic/prove1 | 0.435 ± 0.017 s | 0.44 ± 0.017 s | 0.988 |
logic/rewrite | 0.0752 ± 0.0015 ms | 0.0764 ± 0.0015 ms | 0.985 |
maths/simpl1 | 0.0572 ± 0.0041 s | 0.0576 ± 0.0044 s | 0.994 |
time_to_load | 0.257 ± 0.00096 s | 0.258 ± 0.001 s | 0.993 |
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/checkout from 2 to 4.
Release notes
Sourced from actions/checkout's releases.
... (truncated)
Changelog
Sourced from actions/checkout's changelog.
... (truncated)
Commits
b4ffde6
Link to release page from what's new section (#1514)8530928
Correct link to GitHub Docs (#1511)7cdaf2f
Update CODEOWNERS to Launch team (#1510)8ade135
Prepare 4.1.0 release (#1496)c533a0a
Add support for partial checkout filters (#1396)72f2cec
Update README.md for V4 (#1452)3df4ab1
Release 4.0.0 (#1447)8b5e8b7
Support fetching without the --progress option (#1067)97a652b
Update default runtime to node20 (#1436)f43a0e5
Release 3.6.0 (#1437)Dependabot 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