Skip to content

Actions: Mathics3/mathics-core

Actions

Mathics3 (Type checking)

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Add dialog Mathics3 (Type checking) #2705: Pull request #1851 synchronize by rocky
2m 26s add-Dialog
add-Dialog
2m 26s
Add dialog Mathics3 (Type checking) #2704: Pull request #1851 opened by rocky
2m 17s add-Dialog
add-Dialog
2m 17s
Implement Distribute Mathics3 (Type checking) #2703: Pull request #1850 synchronize by rocky
2m 13s add-Distribute-2nd-try
add-Distribute-2nd-try
2m 13s
Towards handling Import[xxx, "ZIP", member-name] Mathics3 (Type checking) #2702: Pull request #1846 synchronize by rocky
2m 18s handle-import-zip
handle-import-zip
2m 18s
Towards handling Import[xxx, "ZIP", member-name] Mathics3 (Type checking) #2701: Pull request #1846 synchronize by rocky
2m 7s handle-import-zip
handle-import-zip
2m 7s
Implement Distribute Mathics3 (Type checking) #2700: Pull request #1850 synchronize by rocky
2m 7s add-Distribute-2nd-try
add-Distribute-2nd-try
2m 7s
Implement Distribute Mathics3 (Type checking) #2699: Pull request #1850 synchronize by rocky
2m 23s add-Distribute-2nd-try
add-Distribute-2nd-try
2m 23s
Implement Distribute Mathics3 (Type checking) #2698: Pull request #1850 synchronize by rocky
2m 21s add-Distribute-2nd-try
add-Distribute-2nd-try
2m 21s
Implement Distribute Mathics3 (Type checking) #2697: Pull request #1850 synchronize by rocky
2m 0s add-Distribute-2nd-try
add-Distribute-2nd-try
2m 0s
Implement Distribute Mathics3 (Type checking) #2696: Pull request #1850 opened by rocky
2m 9s add-Distribute-2nd-try
add-Distribute-2nd-try
2m 9s
Workaround a StandardOutput formatting bug Mathics3 (Type checking) #2695: Pull request #1848 opened by rocky
1m 59s format-error-string-bug
format-error-string-bug
1m 59s
Improve builtin Lookup Mathics3 (Type checking) #2694: Pull request #1847 synchronize by rocky
2m 12s improve-Lookup
improve-Lookup
2m 12s
Improve builtin Lookup Mathics3 (Type checking) #2693: Pull request #1847 synchronize by rocky
2m 15s improve-Lookup
improve-Lookup
2m 15s
Towards handling Import[xxx, "ZIP", member-name] Mathics3 (Type checking) #2692: Pull request #1846 synchronize by rocky
2m 18s handle-import-zip
handle-import-zip
2m 18s
Improve builtin Lookup Mathics3 (Type checking) #2691: Pull request #1847 synchronize by rocky
2m 4s improve-Lookup
improve-Lookup
2m 4s
Improve builtin Lookup Mathics3 (Type checking) #2690: Pull request #1847 opened by rocky
2m 19s improve-Lookup
improve-Lookup
2m 19s
Towards handling Import[xxx, "ZIP", member-name] Mathics3 (Type checking) #2689: Pull request #1846 synchronize by rocky
2m 8s handle-import-zip
handle-import-zip
2m 8s
Towards handling Import[xxx, "ZIP", member-name] Mathics3 (Type checking) #2688: Pull request #1846 synchronize by rocky
2m 27s handle-import-zip
handle-import-zip
2m 27s
Towards handling Import[xxx, "ZIP", member-name] Mathics3 (Type checking) #2687: Pull request #1846 synchronize by rocky
2m 14s handle-import-zip
handle-import-zip
2m 14s
Towards handling Import[xxx, "ZIP", member-name] Mathics3 (Type checking) #2686: Pull request #1846 synchronize by rocky
1m 57s handle-import-zip
handle-import-zip
1m 57s
Towards handling Import[xxx, "ZIP", member-name] Mathics3 (Type checking) #2685: Pull request #1846 synchronize by rocky
2m 0s handle-import-zip
handle-import-zip
2m 0s
Towards handling Import[xxx, "ZIP", member-name] Mathics3 (Type checking) #2684: Pull request #1846 synchronize by rocky
2m 15s handle-import-zip
handle-import-zip
2m 15s
Towards handling Import[xxx, "ZIP", member-name] Mathics3 (Type checking) #2683: Pull request #1846 synchronize by rocky
2m 6s handle-import-zip
handle-import-zip
2m 6s
Towards handling Import[xxx, "ZIP", member-name] Mathics3 (Type checking) #2682: Pull request #1846 synchronize by rocky
2m 7s handle-import-zip
handle-import-zip
2m 7s
Towards handling Import[xxx, "ZIP", member-name] Mathics3 (Type checking) #2681: Pull request #1846 synchronize by rocky
2m 14s handle-import-zip
handle-import-zip
2m 14s