Skip to content

Actions: Mathics3/mathics-core

Actions

Mathics3 (Type checking)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mypy.yml
814 workflow runs
814 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
use stopit to implement TimeConstrained Mathics3 (Type checking) #89: Pull request #1177 synchronize by mmatera
November 19, 2024 23:49 1m 37s more_on_TimeConstrained
more_on_TimeConstrained
November 19, 2024 23:49 1m 37s
use stopit to implement TimeConstrained Mathics3 (Type checking) #88: Pull request #1177 synchronize by mmatera
November 19, 2024 23:46 59s more_on_TimeConstrained
more_on_TimeConstrained
November 19, 2024 23:46 59s
1 / Fix issues with pattern matching for Rubi Mathics3 (Type checking) #87: Pull request #1176 synchronize by aravindh-krishnamoorthy
November 19, 2024 22:40 1m 38s aravindh-krishnamoorthy:pattern-fix-rubi
aravindh-krishnamoorthy:pattern-fix-rubi
November 19, 2024 22:40 1m 38s
1 / Fix issues with pattern matching for Rubi Mathics3 (Type checking) #86: Pull request #1176 synchronize by aravindh-krishnamoorthy
November 19, 2024 21:27 1m 39s aravindh-krishnamoorthy:pattern-fix-rubi
aravindh-krishnamoorthy:pattern-fix-rubi
November 19, 2024 21:27 1m 39s
1 / Fix issues with pattern matching for Rubi Mathics3 (Type checking) #85: Pull request #1176 synchronize by aravindh-krishnamoorthy
November 19, 2024 20:47 1m 40s aravindh-krishnamoorthy:pattern-fix-rubi
aravindh-krishnamoorthy:pattern-fix-rubi
November 19, 2024 20:47 1m 40s
use stopit to implement TimeConstrained Mathics3 (Type checking) #84: Pull request #1177 synchronize by mmatera
November 19, 2024 19:26 1m 45s more_on_TimeConstrained
more_on_TimeConstrained
November 19, 2024 19:26 1m 45s
use stopit to implement TimeConstrained Mathics3 (Type checking) #83: Pull request #1177 opened by mmatera
November 19, 2024 19:03 1m 54s more_on_TimeConstrained
more_on_TimeConstrained
November 19, 2024 19:03 1m 54s
Rename BinaryOperator to InfixOperator.. (#1175) Mathics3 (Type checking) #82: Commit 3ba2611 pushed by rocky
November 19, 2024 17:49 1m 40s master
master
November 19, 2024 17:49 1m 40s
1 / Fix issues with pattern matching for Rubi Mathics3 (Type checking) #81: Pull request #1176 opened by aravindh-krishnamoorthy
November 19, 2024 16:20 1m 39s aravindh-krishnamoorthy:pattern-fix-rubi
aravindh-krishnamoorthy:pattern-fix-rubi
November 19, 2024 16:20 1m 39s
Rename BinaryOperator to InfixOperator.. Mathics3 (Type checking) #80: Pull request #1175 synchronize by rocky
November 19, 2024 15:54 1m 38s BinaryOperator-to-InfixOperator
BinaryOperator-to-InfixOperator
November 19, 2024 15:54 1m 38s
Rename BinaryOperator to InfixOperator.. Mathics3 (Type checking) #79: Pull request #1175 opened by rocky
November 19, 2024 15:46 1m 37s BinaryOperator-to-InfixOperator
BinaryOperator-to-InfixOperator
November 19, 2024 15:46 1m 37s
First-cut auto-generated no-meaning operators Mathics3 (Type checking) #78: Pull request #1174 synchronize by rocky
November 19, 2024 13:00 3m 12s no-meaning-operators-from-JSON
no-meaning-operators-from-JSON
November 19, 2024 13:00 3m 12s
First-cut auto-generated no-meaning operators Mathics3 (Type checking) #77: Pull request #1174 synchronize by rocky
November 19, 2024 12:58 1m 35s no-meaning-operators-from-JSON
no-meaning-operators-from-JSON
November 19, 2024 12:58 1m 35s
First-cut auto-generated no-meaning operators Mathics3 (Type checking) #76: Pull request #1174 opened by rocky
November 19, 2024 12:42 1m 35s no-meaning-operators-from-JSON
no-meaning-operators-from-JSON
November 19, 2024 12:42 1m 35s
Redo TraceEvaluation using a decorator... Mathics3 (Type checking) #75: Pull request #1169 synchronize by rocky
November 18, 2024 23:30 1m 36s redo-TraceEvaluation-with-hooks
redo-TraceEvaluation-with-hooks
November 18, 2024 23:30 1m 36s
Start Operators with no meaning section (#1171) Mathics3 (Type checking) #74: Commit bf6a8c0 pushed by rocky
November 18, 2024 23:29 1m 39s master
master
November 18, 2024 23:29 1m 39s
Start Operators with no meaning section Mathics3 (Type checking) #73: Pull request #1171 synchronize by rocky
November 18, 2024 22:46 1m 36s add-Star
add-Star
November 18, 2024 22:46 1m 36s
Start Operators with no meaning section Mathics3 (Type checking) #72: Pull request #1171 synchronize by rocky
November 17, 2024 21:57 1m 39s add-Star
add-Star
November 17, 2024 21:57 1m 39s
Start Operators with no meaning section Mathics3 (Type checking) #71: Pull request #1171 opened by rocky
November 17, 2024 20:02 1m 36s add-Star
add-Star
November 17, 2024 20:02 1m 36s
Redo TraceEvaluation using a decorator... Mathics3 (Type checking) #70: Pull request #1169 synchronize by rocky
November 17, 2024 16:27 1m 35s redo-TraceEvaluation-with-hooks
redo-TraceEvaluation-with-hooks
November 17, 2024 16:27 1m 35s
Redo TraceEvaluation using a decorator... Mathics3 (Type checking) #69: Pull request #1169 synchronize by rocky
November 17, 2024 16:20 1m 33s redo-TraceEvaluation-with-hooks
redo-TraceEvaluation-with-hooks
November 17, 2024 16:20 1m 33s
Respect "short" option in Symbol.get_name() (#1170) Mathics3 (Type checking) #68: Commit 15b8092 pushed by rocky
November 17, 2024 16:16 1m 35s master
master
November 17, 2024 16:16 1m 35s
ProTip! You can narrow down the results and go further in time using created:<2024-11-17 or the other filters available.