Skip to content

Actions: uds-se/debuggingbook

Actions

Static Type Checks

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
check-types.yml
61 workflow runs
61 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Next release witll be 1.2.4 Static Type Checks #354: Commit ecdba46 pushed by andreas-zeller
November 10, 2024 13:39 4m 46s master
master
November 10, 2024 13:39 4m 46s
Doc update Static Type Checks #353: Commit c41acfc pushed by andreas-zeller
November 10, 2024 12:05 6m 8s master
master
November 10, 2024 12:05 6m 8s
Update synopsis Static Type Checks #352: Commit 5ce022b pushed by andreas-zeller
November 9, 2024 17:18 4m 21s master
master
November 9, 2024 17:18 4m 21s
New release: 1.2.3 Static Type Checks #351: Commit ce9b80b pushed by andreas-zeller
November 9, 2024 16:09 9m 10s master
master
November 9, 2024 16:09 9m 10s
Added type checks for ConditionTracer classes Static Type Checks #350: Commit 564b090 pushed by andreas-zeller
October 15, 2024 10:48 4m 9s master
master
October 15, 2024 10:48 4m 9s
Synopsis update Static Type Checks #349: Commit 0ec10e7 pushed by andreas-zeller
August 27, 2024 17:04 4m 10s master
master
August 27, 2024 17:04 4m 10s
Some fixes for static type checking Static Type Checks #348: Commit 98d19bf pushed by andreas-zeller
August 27, 2024 15:20 4m 26s master
master
August 27, 2024 15:20 4m 26s
Doc update Static Type Checks #347: Commit c7b2b37 pushed by andreas-zeller
August 27, 2024 14:34 4m 36s master
master
August 27, 2024 14:34 4m 36s
Doc update Static Type Checks #346: Commit e615a31 pushed by andreas-zeller
July 1, 2024 14:51 4m 34s master
master
July 1, 2024 14:51 4m 34s
By default, have Dockerfile start jupyter server Static Type Checks #345: Commit 4707189 pushed by andreas-zeller
July 1, 2024 13:41 4m 27s master
master
July 1, 2024 13:41 4m 27s
Doc update Static Type Checks #344: Commit 0e29549 pushed by andreas-zeller
July 1, 2024 10:10 3m 34s master
master
July 1, 2024 10:10 3m 34s
New: even better TOC (clickable, linkable) Static Type Checks #343: Commit fd83b31 pushed by andreas-zeller
July 1, 2024 10:01 4m 10s master
master
July 1, 2024 10:01 4m 10s
New: table of contents now shows summaries Static Type Checks #342: Commit 99fd730 pushed by andreas-zeller
July 1, 2024 08:50 4m 11s master
master
July 1, 2024 08:50 4m 11s
Doc update Static Type Checks #341: Commit b649b8e pushed by andreas-zeller
July 1, 2024 08:26 3m 59s master
master
July 1, 2024 08:26 3m 59s
Doc update Static Type Checks #340: Commit ce8b778 pushed by andreas-zeller
July 1, 2024 08:22 4m 15s master
master
July 1, 2024 08:22 4m 15s
New: publish-docker Static Type Checks #339: Commit dc05613 pushed by andreas-zeller
July 1, 2024 07:33 4m 41s master
master
July 1, 2024 07:33 4m 41s
Doc update Static Type Checks #338: Commit 14028f5 pushed by andreas-zeller
July 1, 2024 07:24 3m 32s master
master
July 1, 2024 07:24 3m 32s
New: in class diagrams, allow hovering and links in Jupyter Static Type Checks #337: Commit 2d3a592 pushed by andreas-zeller
June 30, 2024 16:54 3m 50s master
master
June 30, 2024 16:54 3m 50s
New: allow for interactive SVGs in Jupyter Lab Static Type Checks #336: Commit 84fd230 pushed by andreas-zeller
June 30, 2024 16:20 3m 57s master
master
June 30, 2024 16:20 3m 57s
New: install jupyter extensions as root Static Type Checks #335: Commit d81f502 pushed by andreas-zeller
June 30, 2024 15:40 4m 17s master
master
June 30, 2024 15:40 4m 17s
Stop Jupyter announcement messages Static Type Checks #334: Commit 0bdb187 pushed by andreas-zeller
June 30, 2024 14:13 4m 7s master
master
June 30, 2024 14:13 4m 7s
Fix: install mermaid as root Static Type Checks #333: Commit 82984c1 pushed by andreas-zeller
June 30, 2024 13:23 5m 13s master
master
June 30, 2024 13:23 5m 13s
New: build Docker images for multiple architectures Static Type Checks #332: Commit 3e380d1 pushed by andreas-zeller
June 30, 2024 12:01 3m 46s master
master
June 30, 2024 12:01 3m 46s
Doc update Static Type Checks #331: Commit 9a8952a pushed by andreas-zeller
June 29, 2024 16:30 3m 45s master
master
June 29, 2024 16:30 3m 45s
Doc update Static Type Checks #330: Commit fc6b5cf pushed by andreas-zeller
June 29, 2024 15:11 4m 3s master
master
June 29, 2024 15:11 4m 3s