Skip to content

Actions: Mathics3/mathics-core

Mathics3 (Type checking)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
814 workflow runs
814 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improving precedence comparison.
Mathics3 (Type checking) #14: Pull request #1154 synchronize by mmatera
November 5, 2024 17:08 1m 37s improve_compare_precedence
November 5, 2024 17:08 1m 37s
Improving precedence comparison.
Mathics3 (Type checking) #13: Pull request #1154 opened by mmatera
November 4, 2024 21:26 1m 43s improve_compare_precedence
November 4, 2024 21:26 1m 43s
Miscellaneous fixes (#1153)
Mathics3 (Type checking) #12: Commit e4bb914 pushed by davidar
November 3, 2024 11:59 1m 41s master
November 3, 2024 11:59 1m 41s
Miscellaneous fixes
Mathics3 (Type checking) #11: Pull request #1153 opened by davidar
November 3, 2024 11:22 1m 42s series-fixes
November 3, 2024 11:22 1m 42s
Add CI job for mypy (#1150)
Mathics3 (Type checking) #10: Commit 732d33f pushed by davidar
November 1, 2024 07:03 1m 36s master
November 1, 2024 07:03 1m 36s
Add CI job for mypy
Mathics3 (Type checking) #9: Pull request #1150 synchronize by davidar
October 31, 2024 07:52 1m 45s more-mypy
October 31, 2024 07:52 1m 45s
Add CI job for mypy
Mathics3 (Type checking) #8: Pull request #1150 synchronize by davidar
October 30, 2024 10:04 1m 44s more-mypy
October 30, 2024 10:04 1m 44s
Add CI job for mypy
Mathics3 (Type checking) #7: Pull request #1150 synchronize by davidar
October 30, 2024 09:44 1m 27s more-mypy
October 30, 2024 09:44 1m 27s
Add CI job for mypy
Mathics3 (Type checking) #6: Pull request #1150 synchronize by davidar
October 30, 2024 09:29 1m 20s more-mypy
October 30, 2024 09:29 1m 20s
Add CI job for mypy
Mathics3 (Type checking) #5: Pull request #1150 synchronize by davidar
October 30, 2024 09:23 43s more-mypy
October 30, 2024 09:23 43s
Add CI job for mypy
Mathics3 (Type checking) #4: Pull request #1150 synchronize by davidar
October 30, 2024 09:09 1m 38s more-mypy
October 30, 2024 09:09 1m 38s
Add CI job for mypy
Mathics3 (Type checking) #3: Pull request #1150 synchronize by davidar
October 30, 2024 08:56 10m 9s more-mypy
October 30, 2024 08:56 10m 9s
Add CI job for mypy
Mathics3 (Type checking) #2: Pull request #1150 synchronize by davidar
October 30, 2024 08:45 7m 45s more-mypy
October 30, 2024 08:45 7m 45s
Add CI job for mypy
Mathics3 (Type checking) #1: Pull request #1150 opened by davidar
October 30, 2024 08:41 7m 20s more-mypy
October 30, 2024 08:41 7m 20s
ProTip! You can narrow down the results and go further in time using created:<2024-10-30 or the other filters available.