Skip to content

Actions: uds-se/debuggingbook

Static Type Checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
75 workflow runs
75 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Want patched showast version
Static Type Checks #387: Commit a61b200 pushed by andreas-zeller
January 22, 2025 10:36 4m 51s master
January 22, 2025 10:36 4m 51s
New: use showast2 module
Static Type Checks #386: Commit a67e856 pushed by andreas-zeller
January 22, 2025 09:52 4m 12s master
January 22, 2025 09:52 4m 12s
Doc update
Static Type Checks #385: Commit 1c68471 pushed by andreas-zeller
January 22, 2025 08:39 4m 33s master
January 22, 2025 08:39 4m 33s
Synopsis update
Static Type Checks #384: Commit 546e34a pushed by andreas-zeller
January 22, 2025 08:29 5m 45s master
January 22, 2025 08:29 5m 45s
Doc update
Static Type Checks #383: Commit 6e93848 pushed by andreas-zeller
January 16, 2025 16:33 5m 47s master
January 16, 2025 16:33 5m 47s
Merge pull request #78 from LaPlei96/master
Static Type Checks #382: Commit 4ec37d2 pushed by andreas-zeller
January 16, 2025 16:16 4m 31s master
January 16, 2025 16:16 4m 31s
Fixed generated imports in Alhazen.py
Static Type Checks #381: Pull request #78 opened by LaPlei96
January 16, 2025 16:08 4m 42s LaPlei96:master
January 16, 2025 16:08 4m 42s
Doc update
Static Type Checks #380: Commit 7403038 pushed by andreas-zeller
January 16, 2025 10:55 5m 25s master
January 16, 2025 10:55 5m 25s
Next version will be 1.3.1
Static Type Checks #379: Commit 05739e6 pushed by andreas-zeller
January 16, 2025 09:03 4m 23s master
January 16, 2025 09:03 4m 23s
Merge pull request #77 from LaPlei96/master
Static Type Checks #378: Commit df687db pushed by andreas-zeller
January 16, 2025 08:56 4m 42s master
January 16, 2025 08:56 4m 42s
Grammar usage and import
Static Type Checks #377: Pull request #77 opened by LaPlei96
January 15, 2025 15:37 4m 30s LaPlei96:master
January 15, 2025 15:37 4m 30s
Doc update
Static Type Checks #376: Commit 1c20f34 pushed by andreas-zeller
January 13, 2025 16:01 4m 7s master
January 13, 2025 16:01 4m 7s
Doc update
Static Type Checks #375: Commit 9e28616 pushed by andreas-zeller
January 13, 2025 15:49 5m 5s master
January 13, 2025 15:49 5m 5s
Doc update
Static Type Checks #374: Commit 0f37217 pushed by andreas-zeller
January 7, 2025 13:14 5m 29s master
January 7, 2025 13:14 5m 29s
Doc update
Static Type Checks #373: Commit c493250 pushed by andreas-zeller
January 7, 2025 10:36 4m 23s master
January 7, 2025 10:36 4m 23s
Some clarifications from Laura
Static Type Checks #372: Commit 9b82c56 pushed by andreas-zeller
January 7, 2025 10:32 4m 1s master
January 7, 2025 10:32 4m 1s
Doc update
Static Type Checks #371: Commit 270defd pushed by andreas-zeller
January 7, 2025 10:05 4m 21s master
January 7, 2025 10:05 4m 21s
Skip calls to display()
Static Type Checks #370: Commit 77e99cd pushed by andreas-zeller
January 7, 2025 09:21 4m 33s master
January 7, 2025 09:21 4m 33s
Fix: typo
Static Type Checks #369: Commit 0c99ac9 pushed by andreas-zeller
January 7, 2025 09:09 4m 8s master
January 7, 2025 09:09 4m 8s
Dropped Python 3.9 tests
Static Type Checks #368: Commit 30f6727 pushed by andreas-zeller
January 7, 2025 09:05 4m 26s master
January 7, 2025 09:05 4m 26s
Doc update
Static Type Checks #367: Commit 8f28b39 pushed by andreas-zeller
January 6, 2025 18:21 4m 31s master
January 6, 2025 18:21 4m 31s
Work around mypy AST incompatibilities
Static Type Checks #366: Commit 908868f pushed by andreas-zeller
January 6, 2025 18:02 4m 31s master
January 6, 2025 18:02 4m 31s
New: Intro text for all steps
Static Type Checks #365: Commit cb6b6c2 pushed by andreas-zeller
January 6, 2025 17:51 4m 17s master
January 6, 2025 17:51 4m 17s
Fix: no leading zeros in CALC_GRAMMAR
Static Type Checks #364: Commit b3f6fd1 pushed by andreas-zeller
January 6, 2025 14:40 4m 22s master
January 6, 2025 14:40 4m 22s
Fix: bad link
Static Type Checks #363: Commit dfbe86f pushed by andreas-zeller
January 6, 2025 14:23 4m 9s master
January 6, 2025 14:23 4m 9s