Skip to content

Actions: Mathics3/mathics-core

Actions

Mathics3 (Type checking)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mypy.yml
1,825 workflow runs
1,825 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Implement SphericalPlot3D Mathics3 (Type checking) #2145: Pull request #1591 synchronize by rocky
1m 30s sphericalplot3d
sphericalplot3d
1m 30s
Implement SphericalPlot3D Mathics3 (Type checking) #2144: Pull request #1591 synchronize by rocky
1m 47s sphericalplot3d
sphericalplot3d
1m 47s
Implement SphericalPlot3D Mathics3 (Type checking) #2143: Pull request #1591 synchronize by mmatera
1m 35s sphericalplot3d
sphericalplot3d
1m 35s
Implement ParametricPlot3D Mathics3 (Type checking) #2142: Pull request #1594 synchronize by mmatera
1m 35s parametricplot3d
parametricplot3d
1m 35s
Add unicode box characters (#1700) Mathics3 (Type checking) #2141: Commit a41c5f0 pushed by rocky
1m 31s master
master
1m 31s
Add unicode box characters Mathics3 (Type checking) #2140: Pull request #1700 synchronize by rocky
1m 29s add-unicode-box-characters
add-unicode-box-characters
1m 29s
Add unicode box characters Mathics3 (Type checking) #2139: Pull request #1700 synchronize by rocky
1m 32s add-unicode-box-characters
add-unicode-box-characters
1m 32s
Add unicode box characters Mathics3 (Type checking) #2138: Pull request #1700 synchronize by rocky
1m 30s add-unicode-box-characters
add-unicode-box-characters
1m 30s
Implement ParametricPlot3D Mathics3 (Type checking) #2137: Pull request #1594 synchronize by mmatera
44s parametricplot3d
parametricplot3d
44s
Add unicode box characters Mathics3 (Type checking) #2136: Pull request #1700 synchronize by rocky
1m 31s add-unicode-box-characters
add-unicode-box-characters
1m 31s
Add unicode box characters Mathics3 (Type checking) #2135: Pull request #1700 synchronize by rocky
1m 31s add-unicode-box-characters
add-unicode-box-characters
1m 31s
Add unicode box characters Mathics3 (Type checking) #2134: Pull request #1700 synchronize by rocky
1m 38s add-unicode-box-characters
add-unicode-box-characters
1m 38s
Add unicode box characters Mathics3 (Type checking) #2133: Pull request #1700 synchronize by rocky
1m 33s add-unicode-box-characters
add-unicode-box-characters
1m 33s
Add unicode box characters Mathics3 (Type checking) #2132: Pull request #1700 synchronize by rocky
1m 25s add-unicode-box-characters
add-unicode-box-characters
1m 25s
Add unicode box characters Mathics3 (Type checking) #2131: Pull request #1700 synchronize by rocky
1m 30s add-unicode-box-characters
add-unicode-box-characters
1m 30s
Add unicode box characters Mathics3 (Type checking) #2130: Pull request #1700 synchronize by rocky
1m 32s add-unicode-box-characters
add-unicode-box-characters
1m 32s
Add unicode box characters Mathics3 (Type checking) #2129: Pull request #1700 synchronize by rocky
1m 32s add-unicode-box-characters
add-unicode-box-characters
1m 32s
Add unicode box characters Mathics3 (Type checking) #2128: Pull request #1700 synchronize by rocky
1m 30s add-unicode-box-characters
add-unicode-box-characters
1m 30s
Add unicode box characters Mathics3 (Type checking) #2127: Pull request #1700 synchronize by rocky
1m 33s add-unicode-box-characters
add-unicode-box-characters
1m 33s
Add unicode box characters Mathics3 (Type checking) #2126: Pull request #1700 synchronize by rocky
1m 34s add-unicode-box-characters
add-unicode-box-characters
1m 34s
Add unicode box characters Mathics3 (Type checking) #2125: Pull request #1700 synchronize by rocky
1m 34s add-unicode-box-characters
add-unicode-box-characters
1m 34s
Add unicode box characters Mathics3 (Type checking) #2124: Pull request #1700 synchronize by rocky
1m 36s add-unicode-box-characters
add-unicode-box-characters
1m 36s
Add unicode box characters Mathics3 (Type checking) #2123: Pull request #1700 synchronize by rocky
54s add-unicode-box-characters
add-unicode-box-characters
54s
Add unicode box characters Mathics3 (Type checking) #2122: Pull request #1700 opened by rocky
54s add-unicode-box-characters
add-unicode-box-characters
54s
Go over mathics.builtin.intfns (#1698) Mathics3 (Type checking) #2121: Commit 2678c20 pushed by rocky
1m 23s master
master
1m 23s