search

JuliaSymbolics / Metatheory.jl

Makes Julia reason with equations. General purpose metaprogramming, symbolic computation and algebraic equational reasoning library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
https://juliasymbolics.github.io/Metatheory.jl/dev/
MIT License
355 stars 46 forks source link

Bump peter-evans/find-comment from 2 to 3 #189

Closed dependabot[bot] closed 7 months ago

dependabot[bot] commented 7 months ago

Bumps peter-evans/find-comment from 2 to 3.

Release notes

Sourced from peter-evans/find-comment's releases.

Find Comment v3.0.0

⚙️ Updated runtime to Node.js 20

  • The action now requires a minimum version of v2.308.0 for the Actions runner. Update self-hosted runners to v2.308.0 or later to ensure compatibility.

What's Changed

... (truncated)

Commits
  • d5fe376 feat: update runtime to node 20 (#282)
  • e375408 build(deps-dev): bump @​types/node from 18.19.6 to 18.19.8 (#279)
  • 6f78139 build(deps-dev): bump prettier from 3.2.1 to 3.2.4 (#278)
  • 663f5b8 build(deps-dev): bump eslint-plugin-jest from 27.6.1 to 27.6.3 (#276)
  • 1950d48 build(deps-dev): bump prettier from 3.1.1 to 3.2.1 (#277)
  • 4c49b27 build(deps-dev): bump eslint-plugin-prettier from 5.1.2 to 5.1.3 (#275)
  • 141f79c build(deps-dev): bump @​types/node from 18.19.4 to 18.19.6 (#274)
  • 90d027d build(deps-dev): bump eslint-plugin-jest from 27.6.0 to 27.6.1 (#273)
  • 4541d1b build(deps-dev): bump eslint-plugin-prettier from 5.1.1 to 5.1.2 (#272)
  • 3e2c601 build(deps-dev): bump @​types/node from 18.19.3 to 18.19.4 (#271)
  • Additional commits viewable in compare view


Dependabot compatibility score

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 ignore conditions` will show all of the ignore conditions of the specified dependency - `@dependabot ignore this major version` will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this minor version` will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself) - `@dependabot ignore this dependency` will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)
github-actions[bot] commented 7 months ago

Benchmark Results

master 6e81f9acf2a7f2... t[master]/t[6e81f9acf2a7f2...]
basic_maths/simpl1 0.0592 ± 0.0045 s 0.0607 ± 0.0047 s 0.976
calc_logic/demorgan 0.609 ± 0.013 ms 0.621 ± 0.017 ms 0.982
egraph/addexpr 22.5 ± 1.7 ms 22.4 ± 1.6 ms 1
egraph/constructor 0.593 ± 0.032 μs 0.616 ± 0.04 μs 0.963
prop_logic/demorgan 0.994 ± 0.023 ms 0.995 ± 0.022 ms 0.999
prop_logic/freges_theorem 0.0402 ± 0.0033 s 0.0404 ± 0.0034 s 0.994
prop_logic/prove1 10.1 s 9.67 s 1.05
prop_logic/rewrite 0.0777 ± 0.0014 ms 0.0771 ± 0.0014 ms 1.01
while_superinterpreter/while_10 0.125 ± 0.0013 s 0.125 ± 0.0019 s 0.998
time_to_load 0.27 ± 0.0073 s 0.268 ± 0.0079 s 1.01

Benchmark Plots

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).