Skip to content

Actions: JuliaSymbolics/Metatheory.jl

Benchmark pull request

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
215 workflow runs
215 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Change implementation of BackoffScheduler to match egg.
Benchmark pull request #225: Pull request #249 synchronize by gkronber
October 19, 2024 07:20 11m 31s 248_incorrect_nmatches_for_inform
October 19, 2024 07:20 11m 31s
Performance improvements
Benchmark pull request #224: Pull request #253 synchronize by gkronber
October 18, 2024 20:28 11m 33s performance_improvements
October 18, 2024 20:28 11m 33s
3.0 Release
Benchmark pull request #223: Pull request #185 synchronize by 0x0f0f0f
October 11, 2024 10:56 11m 43s ale/3.0
October 11, 2024 10:56 11m 43s
Data structure docs
Benchmark pull request #222: Pull request #245 synchronize by olynch
October 11, 2024 09:26 11m 16s data-structure-docs
October 11, 2024 09:26 11m 16s
Change implementation of BackoffScheduler to match egg.
Benchmark pull request #221: Pull request #249 synchronize by gkronber
October 11, 2024 07:01 11m 37s 248_incorrect_nmatches_for_inform
October 11, 2024 07:01 11m 37s
Fix power rules to fix some of the broken tests in CAS
Benchmark pull request #220: Pull request #252 synchronize by gkronber
October 11, 2024 06:04 11m 14s fix_broken_cas_tests
October 11, 2024 06:04 11m 14s
3.0 Release
Benchmark pull request #219: Pull request #185 synchronize by 0x0f0f0f
October 10, 2024 21:38 11m 57s ale/3.0
October 10, 2024 21:38 11m 57s
Performance improvements
Benchmark pull request #218: Pull request #253 synchronize by gkronber
October 10, 2024 15:53 11m 21s performance_improvements
October 10, 2024 15:53 11m 21s
Performance improvements
Benchmark pull request #217: Pull request #253 synchronize by gkronber
October 10, 2024 13:41 11m 18s performance_improvements
October 10, 2024 13:41 11m 18s
Performance improvements
Benchmark pull request #216: Pull request #253 opened by gkronber
October 10, 2024 13:36 11m 30s performance_improvements
October 10, 2024 13:36 11m 30s
Fix power rules to fix some of the broken tests in CAS
Benchmark pull request #215: Pull request #252 opened by gkronber
October 10, 2024 13:16 11m 16s fix_broken_cas_tests
October 10, 2024 13:16 11m 16s
Change implementation of BackoffScheduler to match egg.
Benchmark pull request #214: Pull request #249 synchronize by gkronber
October 10, 2024 12:21 11m 20s 248_incorrect_nmatches_for_inform
October 10, 2024 12:21 11m 20s
Change implementation of BackoffScheduler to match egg.
Benchmark pull request #213: Pull request #249 synchronize by gkronber
October 8, 2024 10:53 11m 28s 248_incorrect_nmatches_for_inform
October 8, 2024 10:53 11m 28s
Change implementation of BackoffScheduler to match egg.
Benchmark pull request #212: Pull request #249 synchronize by gkronber
October 7, 2024 14:48 11m 19s 248_incorrect_nmatches_for_inform
October 7, 2024 14:48 11m 19s
Change implementation of BackoffScheduler to match egg.
Benchmark pull request #211: Pull request #249 synchronize by gkronber
October 7, 2024 12:50 11m 22s 248_incorrect_nmatches_for_inform
October 7, 2024 12:50 11m 22s
Change implementation of BackoffScheduler to match egg.
Benchmark pull request #209: Pull request #249 synchronize by gkronber
October 6, 2024 12:45 11m 19s 248_incorrect_nmatches_for_inform
October 6, 2024 12:45 11m 19s
Change implementation of BackoffScheduler to match egg.
Benchmark pull request #208: Pull request #249 synchronize by gkronber
October 6, 2024 07:26 11m 9s 248_incorrect_nmatches_for_inform
October 6, 2024 07:26 11m 9s
Mutable semantic analysis (data) for eclass
Benchmark pull request #207: Pull request #250 opened by gkronber
October 5, 2024 15:10 11m 3s mutable_eclass
October 5, 2024 15:10 11m 3s
Change implementation of BackoffScheduler to match egg.
Benchmark pull request #206: Pull request #249 synchronize by gkronber
October 5, 2024 14:28 11m 19s 248_incorrect_nmatches_for_inform
October 5, 2024 14:28 11m 19s
Change implementation of BackoffScheduler to match egg.
Benchmark pull request #205: Pull request #249 opened by gkronber
October 5, 2024 13:43 11m 15s 248_incorrect_nmatches_for_inform
October 5, 2024 13:43 11m 15s
3.0 Release
Benchmark pull request #203: Pull request #185 synchronize by 0x0f0f0f
September 29, 2024 15:07 12m 12s ale/3.0
September 29, 2024 15:07 12m 12s
3.0 minor fixes and improvements
Benchmark pull request #202: Pull request #243 synchronize by gkronber
September 25, 2024 08:37 11m 24s 3.0_minor_fixes_and_improvements
September 25, 2024 08:37 11m 24s
3.0 minor fixes and improvements
Benchmark pull request #201: Pull request #243 synchronize by gkronber
September 25, 2024 08:27 11m 25s 3.0_minor_fixes_and_improvements
September 25, 2024 08:27 11m 25s
3.0 minor fixes and improvements
Benchmark pull request #200: Pull request #243 synchronize by gkronber
September 25, 2024 08:19 11m 52s 3.0_minor_fixes_and_improvements
September 25, 2024 08:19 11m 52s
Data structure docs
Benchmark pull request #199: Pull request #245 synchronize by olynch
September 24, 2024 19:56 11m 49s data-structure-docs
September 24, 2024 19:56 11m 49s