Skip to content

Actions: JuliaSymbolics/SymbolicUtils.jl

Benchmark a pull request

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
325 workflow runs
325 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

New EGraphs integration
Benchmark a pull request #120: Pull request #591 opened by 0x0f0f0f
May 1, 2024 20:33 8m 6s
May 1, 2024 20:33 8m 6s
Add hash field to all BasicSymbolic subtypes
Benchmark a pull request #119: Pull request #590 synchronize by bowenszhu
May 1, 2024 19:18 7m 44s
May 1, 2024 19:18 7m 44s
Add hash field to all BasicSymbolic subtypes
Benchmark a pull request #118: Pull request #590 synchronize by bowenszhu
May 1, 2024 19:15 7m 59s
May 1, 2024 19:15 7m 59s
Add hash field to all BasicSymbolic subtypes
Benchmark a pull request #117: Pull request #590 synchronize by bowenszhu
May 1, 2024 17:34 8m 16s
May 1, 2024 17:34 8m 16s
Add hash field to all BasicSymbolic subtypes
Benchmark a pull request #116: Pull request #590 opened by bowenszhu
April 30, 2024 21:27 8m 0s
April 30, 2024 21:27 8m 0s
WIP: Various tweaks to the Rewriters
Benchmark a pull request #115: Pull request #548 synchronize by shashi
April 26, 2024 20:29 8m 45s
April 26, 2024 20:29 8m 45s
WIP: Various tweaks to the Rewriters
Benchmark a pull request #114: Pull request #548 synchronize by shashi
April 26, 2024 19:39 5m 25s
April 26, 2024 19:39 5m 25s
WIP: Various tweaks to the Rewriters
Benchmark a pull request #113: Pull request #548 synchronize by Vaibhavdixit02
April 25, 2024 16:11 10m 6s
April 25, 2024 16:11 10m 6s
WIP: Various tweaks to the Rewriters
Benchmark a pull request #112: Pull request #548 synchronize by Vaibhavdixit02
April 25, 2024 16:05 10m 12s
April 25, 2024 16:05 10m 12s
New TermInterface
Benchmark a pull request #111: Pull request #584 synchronize by shashi
April 13, 2024 15:31 7m 33s
April 13, 2024 15:31 7m 33s
New TermInterface
Benchmark a pull request #110: Pull request #584 synchronize by shashi
April 12, 2024 22:04 8m 21s
April 12, 2024 22:04 8m 21s
New TermInterface
Benchmark a pull request #109: Pull request #584 synchronize by shashi
April 12, 2024 12:32 7m 54s
April 12, 2024 12:32 7m 54s
New TermInterface
Benchmark a pull request #108: Pull request #584 synchronize by shashi
April 12, 2024 01:57 8m 16s
April 12, 2024 01:57 8m 16s
New TermInterface
Benchmark a pull request #107: Pull request #584 synchronize by shashi
April 10, 2024 13:27 9m 40s
April 10, 2024 13:27 9m 40s
New TermInterface
Benchmark a pull request #106: Pull request #584 synchronize by 0x0f0f0f
March 25, 2024 20:52 6m 14s
March 25, 2024 20:52 6m 14s
New TermInterface
Benchmark a pull request #105: Pull request #584 synchronize by 0x0f0f0f
March 25, 2024 10:29 6m 27s
March 25, 2024 10:29 6m 27s
WIP: Various tweaks to the Rewriters
Benchmark a pull request #104: Pull request #548 synchronize by shashi
March 15, 2024 20:17 8m 28s
March 15, 2024 20:17 8m 28s
WIP: Various tweaks to the Rewriters
Benchmark a pull request #103: Pull request #548 synchronize by shashi
March 15, 2024 20:01 2m 9s
March 15, 2024 20:01 2m 9s
New TermInterface
Benchmark a pull request #102: Pull request #584 synchronize by 0x0f0f0f
March 15, 2024 17:35 4m 32s
March 15, 2024 17:35 4m 32s
New TermInterface
Benchmark a pull request #101: Pull request #584 synchronize by 0x0f0f0f
March 11, 2024 06:51 4m 28s
March 11, 2024 06:51 4m 28s
Simplify the construction of x / 1 and x / -1
Benchmark a pull request #100: Pull request #585 opened by YingboMa
March 11, 2024 04:22 8m 36s
March 11, 2024 04:22 8m 36s
New TermInterface
Benchmark a pull request #99: Pull request #584 synchronize by 0x0f0f0f
March 10, 2024 18:29 5m 22s
March 10, 2024 18:29 5m 22s
New TermInterface
Benchmark a pull request #98: Pull request #584 synchronize by 0x0f0f0f
March 10, 2024 18:18 5m 26s
March 10, 2024 18:18 5m 26s
New TermInterface
Benchmark a pull request #97: Pull request #584 opened by 0x0f0f0f
March 10, 2024 18:17 5m 29s
March 10, 2024 18:17 5m 29s
Bump crate-ci/typos from 1.16.23 to 1.19.0
Benchmark a pull request #96: Pull request #583 opened by dependabot bot
March 4, 2024 10:20 8m 54s
March 4, 2024 10:20 8m 54s
ProTip! You can narrow down the results and go further in time using created:<2024-03-04 or the other filters available.