Skip to content

Actions: JuliaSymbolics/Metatheory.jl

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
277 workflow runs
277 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Bump codecov/codecov-action from 4 to 5 CI #782: Pull request #254 opened by dependabot bot
December 1, 2024 08:35 2m 58s dependabot/github_actions/codecov/codecov-action-5
dependabot/github_actions/codecov/codecov-action-5
December 1, 2024 08:35 2m 58s
Change implementation of BackoffScheduler to match egg. CI #781: Pull request #249 synchronize by gkronber
October 19, 2024 07:20 4m 0s 248_incorrect_nmatches_for_inform
248_incorrect_nmatches_for_inform
October 19, 2024 07:20 4m 0s
Performance improvements CI #780: Pull request #253 synchronize by gkronber
October 18, 2024 20:28 5m 7s performance_improvements
performance_improvements
October 18, 2024 20:28 5m 7s
3.0 Release CI #779: Pull request #185 synchronize by 0x0f0f0f
October 11, 2024 10:56 4m 18s ale/3.0
ale/3.0
October 11, 2024 10:56 4m 18s
Data structure docs CI #778: Pull request #245 synchronize by olynch
October 11, 2024 09:26 4m 27s data-structure-docs
data-structure-docs
October 11, 2024 09:26 4m 27s
Change implementation of BackoffScheduler to match egg. CI #777: Pull request #249 synchronize by gkronber
October 11, 2024 07:01 4m 42s 248_incorrect_nmatches_for_inform
248_incorrect_nmatches_for_inform
October 11, 2024 07:01 4m 42s
Fix power rules to fix some of the broken tests in CAS CI #776: Pull request #252 synchronize by gkronber
October 11, 2024 06:04 4m 28s fix_broken_cas_tests
fix_broken_cas_tests
October 11, 2024 06:04 4m 28s
3.0 Release CI #775: Pull request #185 synchronize by 0x0f0f0f
October 10, 2024 21:38 4m 16s ale/3.0
ale/3.0
October 10, 2024 21:38 4m 16s
Performance improvements CI #774: Pull request #253 synchronize by gkronber
October 10, 2024 15:53 4m 26s performance_improvements
performance_improvements
October 10, 2024 15:53 4m 26s
Performance improvements CI #773: Pull request #253 synchronize by gkronber
October 10, 2024 13:41 4m 25s performance_improvements
performance_improvements
October 10, 2024 13:41 4m 25s
Performance improvements CI #772: Pull request #253 opened by gkronber
October 10, 2024 13:36 2m 14s performance_improvements
performance_improvements
October 10, 2024 13:36 2m 14s
Fix power rules to fix some of the broken tests in CAS CI #771: Pull request #252 opened by gkronber
October 10, 2024 13:16 5m 0s fix_broken_cas_tests
fix_broken_cas_tests
October 10, 2024 13:16 5m 0s
Change implementation of BackoffScheduler to match egg. CI #770: Pull request #249 synchronize by gkronber
October 10, 2024 12:21 4m 36s 248_incorrect_nmatches_for_inform
248_incorrect_nmatches_for_inform
October 10, 2024 12:21 4m 36s
Change implementation of BackoffScheduler to match egg. CI #769: Pull request #249 synchronize by gkronber
October 8, 2024 10:53 4m 32s 248_incorrect_nmatches_for_inform
248_incorrect_nmatches_for_inform
October 8, 2024 10:53 4m 32s
Change implementation of BackoffScheduler to match egg. CI #768: Pull request #249 synchronize by gkronber
October 7, 2024 14:48 4m 46s 248_incorrect_nmatches_for_inform
248_incorrect_nmatches_for_inform
October 7, 2024 14:48 4m 46s
Change implementation of BackoffScheduler to match egg. CI #767: Pull request #249 synchronize by gkronber
October 7, 2024 12:50 5m 5s 248_incorrect_nmatches_for_inform
248_incorrect_nmatches_for_inform
October 7, 2024 12:50 5m 5s
Change implementation of BackoffScheduler to match egg. CI #765: Pull request #249 synchronize by gkronber
October 6, 2024 12:45 5m 4s 248_incorrect_nmatches_for_inform
248_incorrect_nmatches_for_inform
October 6, 2024 12:45 5m 4s
Change implementation of BackoffScheduler to match egg. CI #764: Pull request #249 synchronize by gkronber
October 6, 2024 07:26 3m 18s 248_incorrect_nmatches_for_inform
248_incorrect_nmatches_for_inform
October 6, 2024 07:26 3m 18s
Mutable semantic analysis (data) for eclass CI #763: Pull request #250 opened by gkronber
October 5, 2024 15:10 4m 23s mutable_eclass
mutable_eclass
October 5, 2024 15:10 4m 23s
Change implementation of BackoffScheduler to match egg. CI #762: Pull request #249 synchronize by gkronber
October 5, 2024 14:28 5m 20s 248_incorrect_nmatches_for_inform
248_incorrect_nmatches_for_inform
October 5, 2024 14:28 5m 20s
Change implementation of BackoffScheduler to match egg. CI #761: Pull request #249 opened by gkronber
October 5, 2024 13:43 5m 24s 248_incorrect_nmatches_for_inform
248_incorrect_nmatches_for_inform
October 5, 2024 13:43 5m 24s
3.0 Release CI #759: Pull request #185 synchronize by 0x0f0f0f
September 29, 2024 15:07 4m 23s ale/3.0
ale/3.0
September 29, 2024 15:07 4m 23s
3.0 minor fixes and improvements CI #758: Pull request #243 synchronize by gkronber
September 25, 2024 08:37 4m 23s 3.0_minor_fixes_and_improvements
3.0_minor_fixes_and_improvements
September 25, 2024 08:37 4m 23s
3.0 minor fixes and improvements CI #757: Pull request #243 synchronize by gkronber
September 25, 2024 08:27 2m 25s 3.0_minor_fixes_and_improvements
3.0_minor_fixes_and_improvements
September 25, 2024 08:27 2m 25s
3.0 minor fixes and improvements CI #756: Pull request #243 synchronize by gkronber
September 25, 2024 08:19 2m 45s 3.0_minor_fixes_and_improvements
3.0_minor_fixes_and_improvements
September 25, 2024 08:19 2m 45s