Closed dependabot[bot] closed 7 months ago
master | 05e7045ed456d1... | t[master]/t[05e7045ed456d1...] | |
---|---|---|---|
basic_maths/simpl1 | 0.0586 ± 0.0044 s | 0.0587 ± 0.0041 s | 0.997 |
calc_logic/demorgan | 0.599 ± 0.013 ms | 0.607 ± 0.014 ms | 0.988 |
egraph/addexpr | 19.6 ± 1.5 ms | 19.7 ± 0.85 ms | 0.996 |
egraph/constructor | 0.583 ± 0.02 μs | 0.553 ± 0.018 μs | 1.05 |
prop_logic/demorgan | 0.976 ± 0.021 ms | 0.98 ± 0.02 ms | 0.996 |
prop_logic/freges_theorem | 0.0398 ± 0.0033 s | 0.0399 ± 0.0033 s | 0.997 |
prop_logic/prove1 | 8.93 s | 9.37 s | 0.954 |
prop_logic/rewrite | 0.0764 ± 0.0014 ms | 0.0762 ± 0.0016 ms | 1 |
while_superinterpreter/while_10 | 0.121 ± 0.0009 s | 0.121 ± 0.00087 s | 1 |
time_to_load | 0.257 ± 0.0015 s | 0.257 ± 0.0015 s | 1 |
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 codecov/codecov-action from 3 to 4.
Release notes
Sourced from codecov/codecov-action's releases.
... (truncated)
Changelog
Sourced from codecov/codecov-action's changelog.
... (truncated)
Commits
f30e495
fix: update action.yml (#1240)a7b945c
fix: allow for other archs (#1239)98ab2c5
Update package.json (#1238)43235cc
Update README.md (#1237)0cf8684
chore(ci): bump to node20 (#1236)8e1e730
build(deps-dev): bump@typescript-eslint/eslint-plugin
from 6.19.1 to 6.20.0 ...61293af
build(deps-dev): bump@typescript-eslint/parser
from 6.19.1 to 6.20.0 (#1235)7a070cb
build(deps): bump github/codeql-action from 3.23.1 to 3.23.2 (#1231)9097165
build(deps): bump actions/upload-artifact from 4.2.0 to 4.3.0 (#1232)ac042ea
build(deps-dev): bump@typescript-eslint/eslint-plugin
from 6.19.0 to 6.19.1 ...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