Skip to content

Actions: Mathics3/mathics-core

Actions

Mathics3 (Type checking)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mypy.yml
111 workflow runs
111 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Operator info from Operators.YML file (in MathicsScanner) Mathics3 (Type checking) #114: Pull request #1180 synchronize by rocky
November 24, 2024 14:49 1m 52s operator-info-from-JSON
operator-info-from-JSON
November 24, 2024 14:49 1m 52s
Operator info from Operators.YML file (in MathicsScanner) Mathics3 (Type checking) #113: Pull request #1180 synchronize by rocky
November 23, 2024 22:44 1m 52s operator-info-from-JSON
operator-info-from-JSON
November 23, 2024 22:44 1m 52s
Operator info from Operators.YML file (in MathicsScanner) Mathics3 (Type checking) #112: Pull request #1180 opened by rocky
November 23, 2024 22:40 2m 41s operator-info-from-JSON
operator-info-from-JSON
November 23, 2024 22:40 2m 41s
1 / Fix issues with pattern matching for Rubi (#1176) Mathics3 (Type checking) #111: Commit d1cf6a4 pushed by rocky
November 23, 2024 18:23 1m 38s master
master
November 23, 2024 18:23 1m 38s
1 / Fix issues with pattern matching for Rubi Mathics3 (Type checking) #110: Pull request #1176 synchronize by aravindh-krishnamoorthy
November 23, 2024 17:15 2m 34s aravindh-krishnamoorthy:pattern-fix-rubi
aravindh-krishnamoorthy:pattern-fix-rubi
November 23, 2024 17:15 2m 34s
1 / Fix issues with pattern matching for Rubi Mathics3 (Type checking) #109: Pull request #1176 synchronize by aravindh-krishnamoorthy
November 22, 2024 13:15 1m 48s aravindh-krishnamoorthy:pattern-fix-rubi
aravindh-krishnamoorthy:pattern-fix-rubi
November 22, 2024 13:15 1m 48s
1 / Fix issues with pattern matching for Rubi Mathics3 (Type checking) #108: Pull request #1176 synchronize by aravindh-krishnamoorthy
November 22, 2024 13:11 1m 56s aravindh-krishnamoorthy:pattern-fix-rubi
aravindh-krishnamoorthy:pattern-fix-rubi
November 22, 2024 13:11 1m 56s
1 / Fix issues with pattern matching for Rubi Mathics3 (Type checking) #107: Pull request #1176 synchronize by aravindh-krishnamoorthy
November 22, 2024 11:46 5m 20s aravindh-krishnamoorthy:pattern-fix-rubi
aravindh-krishnamoorthy:pattern-fix-rubi
November 22, 2024 11:46 5m 20s
1 / Fix issues with pattern matching for Rubi Mathics3 (Type checking) #106: Pull request #1176 synchronize by aravindh-krishnamoorthy
November 22, 2024 11:46 1m 37s aravindh-krishnamoorthy:pattern-fix-rubi
aravindh-krishnamoorthy:pattern-fix-rubi
November 22, 2024 11:46 1m 37s
1 / Fix issues with pattern matching for Rubi Mathics3 (Type checking) #105: Pull request #1176 synchronize by aravindh-krishnamoorthy
November 22, 2024 11:42 1m 39s aravindh-krishnamoorthy:pattern-fix-rubi
aravindh-krishnamoorthy:pattern-fix-rubi
November 22, 2024 11:42 1m 39s
First-cut auto-generated no-meaning operators Mathics3 (Type checking) #104: Pull request #1174 synchronize by rocky
November 21, 2024 18:26 1m 50s no-meaning-operators-from-JSON
no-meaning-operators-from-JSON
November 21, 2024 18:26 1m 50s
First-cut auto-generated no-meaning operators Mathics3 (Type checking) #103: Pull request #1174 synchronize by rocky
November 21, 2024 17:19 1m 55s no-meaning-operators-from-JSON
no-meaning-operators-from-JSON
November 21, 2024 17:19 1m 55s
First-cut auto-generated no-meaning operators Mathics3 (Type checking) #102: Pull request #1174 synchronize by rocky
November 21, 2024 15:59 1m 53s no-meaning-operators-from-JSON
no-meaning-operators-from-JSON
November 21, 2024 15:59 1m 53s
Try Rubi as a git submodule Mathics3 (Type checking) #101: Pull request #1179 opened by rocky
November 21, 2024 12:23 1m 46s Rubi-as-git-submodule
Rubi-as-git-submodule
November 21, 2024 12:23 1m 46s
Redo TraceEvaluation using a decorator... Mathics3 (Type checking) #100: Pull request #1169 synchronize by rocky
November 21, 2024 02:59 1m 43s redo-TraceEvaluation-with-hooks
redo-TraceEvaluation-with-hooks
November 21, 2024 02:59 1m 43s
First-cut auto-generated no-meaning operators Mathics3 (Type checking) #99: Pull request #1174 synchronize by rocky
November 20, 2024 12:28 1m 46s no-meaning-operators-from-JSON
no-meaning-operators-from-JSON
November 20, 2024 12:28 1m 46s
First-cut auto-generated no-meaning operators Mathics3 (Type checking) #98: Pull request #1174 synchronize by rocky
November 20, 2024 12:08 1m 53s no-meaning-operators-from-JSON
no-meaning-operators-from-JSON
November 20, 2024 12:08 1m 53s
First-cut auto-generated no-meaning operators Mathics3 (Type checking) #97: Pull request #1174 synchronize by rocky
November 20, 2024 11:51 1m 46s no-meaning-operators-from-JSON
no-meaning-operators-from-JSON
November 20, 2024 11:51 1m 46s
First-cut auto-generated no-meaning operators Mathics3 (Type checking) #96: Pull request #1174 synchronize by rocky
November 20, 2024 09:58 1m 52s no-meaning-operators-from-JSON
no-meaning-operators-from-JSON
November 20, 2024 09:58 1m 52s
First-cut auto-generated no-meaning operators Mathics3 (Type checking) #95: Pull request #1174 synchronize by rocky
November 20, 2024 03:22 1m 49s no-meaning-operators-from-JSON
no-meaning-operators-from-JSON
November 20, 2024 03:22 1m 49s
First-cut auto-generated no-meaning operators Mathics3 (Type checking) #94: Pull request #1174 synchronize by rocky
November 20, 2024 03:10 2m 17s no-meaning-operators-from-JSON
no-meaning-operators-from-JSON
November 20, 2024 03:10 2m 17s
Pretty print Mathics3 (Type checking) #93: Pull request #1162 synchronize by mmatera
November 20, 2024 00:14 6m 21s pretty_print
pretty_print
November 20, 2024 00:14 6m 21s
Pretty print Mathics3 (Type checking) #92: Pull request #1162 synchronize by mmatera
November 20, 2024 00:14 3m 20s pretty_print
pretty_print
November 20, 2024 00:14 3m 20s
First-cut auto-generated no-meaning operators Mathics3 (Type checking) #91: Pull request #1174 synchronize by rocky
November 20, 2024 00:14 1m 39s no-meaning-operators-from-JSON
no-meaning-operators-from-JSON
November 20, 2024 00:14 1m 39s
use stopit to implement TimeConstrained (#1177) Mathics3 (Type checking) #90: Commit 0d8a8f6 pushed by mmatera
November 20, 2024 00:10 1m 37s master
master
November 20, 2024 00:10 1m 37s