Skip to content

Actions: gumyr/build123d

Actions

Run type checker

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
mypy.yml
159 workflow runs
159 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #849 from jdegenstein/benchmarks Run type checker #42: Commit 90a4a2b pushed by jdegenstein
January 8, 2025 21:32 59s dev
dev
January 8, 2025 21:32 59s
Merge pull request #852 from jdegenstein/py310upgrade Run type checker #41: Commit ea1a000 pushed by jdegenstein
January 8, 2025 15:07 1m 4s dev
dev
January 8, 2025 15:07 1m 4s
Add a benchmark workflow to build123d Run type checker #40: Pull request #849 synchronize by jdegenstein
January 8, 2025 04:22 57s jdegenstein:benchmarks
jdegenstein:benchmarks
January 8, 2025 04:22 57s
Add a benchmark workflow to build123d Run type checker #39: Pull request #849 synchronize by jdegenstein
January 8, 2025 04:16 53s jdegenstein:benchmarks
jdegenstein:benchmarks
January 8, 2025 04:16 53s
Upgrade to Python 310+ syntax Run type checker #38: Pull request #852 opened by jdegenstein
January 8, 2025 03:56 56s jdegenstein:py310upgrade
jdegenstein:py310upgrade
January 8, 2025 03:56 56s
Fix mypy.ini Run type checker #37: Commit 563083f pushed by gumyr
January 8, 2025 00:32 54s dev
dev
January 8, 2025 00:32 54s
Merge branch 'dev' of https://github.com/gumyr/build123d into dev Run type checker #36: Commit ddef1c8 pushed by gumyr
January 8, 2025 00:25 54s dev
dev
January 8, 2025 00:25 54s
Add a benchmark workflow to build123d Run type checker #35: Pull request #849 opened by jdegenstein
January 7, 2025 23:11 54s jdegenstein:benchmarks
jdegenstein:benchmarks
January 7, 2025 23:11 54s
Merge pull request #841 from jdegenstein/mypy_gha2 Run type checker #34: Commit 374b209 pushed by jdegenstein
January 7, 2025 21:45 52s dev
dev
January 7, 2025 21:45 52s