Skip to content
Navigation Menu
Sign in
Appearance settings
Platform
AI CODE CREATION
GitHub Copilot
Write better code with AI
GitHub Copilot app
Direct agents from issue to merge
MCP Registry
Integrate external tools
DEVELOPER WORKFLOWS
Actions
Automate any workflow
Codespaces
Instant dev environments
Issues
Plan and track work
Code Review
Manage code changes
Code Quality
Enforce quality at merge
APPLICATION SECURITY
GitHub Advanced Security
Find and fix vulnerabilities
Code security
Secure your code as you build
Secret protection
Stop leaks before they start
EXPLORE
Why GitHub
Documentation
Blog
Changelog
Marketplace
View all features
Solutions
BY COMPANY SIZE
Enterprises
Small and medium teams
Startups
Nonprofits
BY USE CASE
App Modernization
DevSecOps
DevOps
CI/CD
View all use cases
BY INDUSTRY
Healthcare
Financial services
Manufacturing
Government
View all industries
View all solutions
Resources
EXPLORE BY TOPIC
AI
Software Development
DevOps
Security
View all topics
EXPLORE BY TYPE
Customer stories
Events & webinars
Ebooks & reports
Business insights
GitHub Skills
SUPPORT & SERVICES
Documentation
Customer support
Community forum
Trust center
Partners
View all resources
Open Source
COMMUNITY
GitHub Sponsors
Fund open source developers
PROGRAMS
Security Lab
Maintainer Community
Accelerator
GitHub Stars
Archive Program
REPOSITORIES
Topics
Trending
Collections
Enterprise
ENTERPRISE SOLUTIONS
Enterprise platform
AI-powered developer platform
AVAILABLE ADD-ONS
GitHub Advanced Security
Enterprise-grade security features
Copilot for Business
Enterprise-grade AI features
Premium Support
Enterprise-grade 24/7 support
Pricing
Type
/
to search
Sign in
Sign up
Appearance settings
You signed in with another tab or window.
Reload
to refresh your session.
You signed out in another tab or window.
Reload
to refresh your session.
You switched accounts on another tab or window.
Reload
to refresh your session.
Dismiss alert
{{ message }}
andrewleech
/
micropython
Public
forked from
micropython/micropython
Notifications
You must be signed in to change notification settings
Fork
5
Star
13
Code
Issues
1
Pull requests
31
Actions
Projects
Wiki
Security and quality
0
Insights
Additional navigation options
Code
Issues
Pull requests
Actions
Projects
Wiki
Security and quality
Insights
Actions: andrewleech/micropython
Actions
All workflows
Workflows
.mpy file format and tools
.mpy file format and tools
alif port
alif port
baochip port
baochip port
Build docs
Build docs
Build ports metadata
Build ports metadata
cc3200 port
cc3200 port
Check code formatting
Check code formatting
Check code size
Check code size
Check commit message formatting
Check commit message formatting
Check examples
Check examples
Show more workflows...
Management
Caches
All workflows
All workflows
Actions
Loading...
Loading
Sorry, something went wrong.
Uh oh!
There was an error while loading.
Please reload this page
.
will be ignored since log searching is not yet available
Showing runs from all workflows
will be ignored since log searching is not yet available
2,500+ workflow runs
2,500+ workflow runs
Workflow
Filter by Workflow
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching workflows.
Event
Filter by Event
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching events.
Status
Filter by Status
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching statuses.
Branch
Filter by Branch
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching branches.
Actor
Filter by Actor
Sorry, something went wrong.
Filter
Loading
Sorry, something went wrong.
No matching users.
tools/mpremote: Bridge a localhost DAP port to a device's serial inte…
Check code formatting
#2674:
Commit
1b22339
pushed by
andrewleech
1m 48s
mpremote_debug
mpremote_debug
1m 48s
View workflow file
tools/mpremote: Bridge a localhost DAP port to a device's serial inte…
renesas-ra port
#2337:
Commit
1b22339
pushed by
andrewleech
7m 50s
mpremote_debug
mpremote_debug
7m 50s
View workflow file
tools/mpremote: Bridge a localhost DAP port to a device's serial inte…
alif port
#1523:
Commit
1b22339
pushed by
andrewleech
4m 25s
mpremote_debug
mpremote_debug
4m 25s
View workflow file
tools/mpremote: Bridge a localhost DAP port to a device's serial inte…
Build ports metadata
#2566:
Commit
1b22339
pushed by
andrewleech
51s
mpremote_debug
mpremote_debug
51s
View workflow file
tools/mpremote: Bridge a localhost DAP port to a device's serial inte…
cc3200 port
#2617:
Commit
1b22339
pushed by
andrewleech
1m 45s
mpremote_debug
mpremote_debug
1m 45s
View workflow file
tools/mpremote: Bridge a localhost DAP port to a device's serial inte…
Check spelling with codespell
#2011:
Commit
1b22339
pushed by
andrewleech
3m 51s
mpremote_debug
mpremote_debug
3m 51s
View workflow file
tools/mpremote: Bridge a localhost DAP port to a device's serial inte…
esp32 port
#2799:
Commit
1b22339
pushed by
andrewleech
15m 15s
mpremote_debug
mpremote_debug
15m 15s
View workflow file
tools/mpremote: Bridge a localhost DAP port to a device's serial inte…
esp8266 port
#2617:
Commit
1b22339
pushed by
andrewleech
3m 51s
mpremote_debug
mpremote_debug
3m 51s
View workflow file
tools/mpremote: Bridge a localhost DAP port to a device's serial inte…
stm32 port
#2651:
Commit
1b22339
pushed by
andrewleech
8m 17s
mpremote_debug
mpremote_debug
8m 17s
View workflow file
tools/mpremote: Bridge a localhost DAP port to a device's serial inte…
unix port
#2625:
Commit
1b22339
pushed by
andrewleech
15m 32s
mpremote_debug
mpremote_debug
15m 32s
View workflow file
tools/mpremote: Bridge a localhost DAP port to a device's serial inte…
nrf port
#2617:
Commit
1b22339
pushed by
andrewleech
2m 24s
mpremote_debug
mpremote_debug
2m 24s
View workflow file
tools/mpremote: Bridge a localhost DAP port to a device's serial inte…
Python code lint and formatting with ruff
#2145:
Commit
1b22339
pushed by
andrewleech
1m 34s
mpremote_debug
mpremote_debug
1m 34s
View workflow file
tools/mpremote: Bridge a localhost DAP port to a device's serial inte…
samd port
#2616:
Commit
1b22339
pushed by
andrewleech
4m 25s
mpremote_debug
mpremote_debug
4m 25s
View workflow file
tools/mpremote: Bridge a localhost DAP port to a device's serial inte…
Package mpremote
#1981:
Commit
1b22339
pushed by
andrewleech
2m 4s
mpremote_debug
mpremote_debug
2m 4s
View workflow file
tools/mpremote: Bridge a localhost DAP port to a device's serial inte…
qemu port
#1748:
Commit
1b22339
pushed by
andrewleech
13m 29s
mpremote_debug
mpremote_debug
13m 29s
View workflow file
tools/mpremote: Bridge a localhost DAP port to a device's serial inte…
mimxrt port
#2595:
Commit
1b22339
pushed by
andrewleech
4m 16s
mpremote_debug
mpremote_debug
4m 16s
View workflow file
tools/mpremote: Bridge a localhost DAP port to a device's serial inte…
windows port
#2634:
Commit
1b22339
pushed by
andrewleech
3m 41s
mpremote_debug
mpremote_debug
3m 41s
View workflow file
tools/mpremote: Bridge a localhost DAP port to a device's serial inte…
zephyr port
#2796:
Commit
1b22339
pushed by
andrewleech
19m 42s
mpremote_debug
mpremote_debug
19m 42s
View workflow file
tools/mpremote: Bridge a localhost DAP port to a device's serial inte…
webassembly port
#2168:
Commit
1b22339
pushed by
andrewleech
6m 3s
mpremote_debug
mpremote_debug
6m 3s
View workflow file
tools/mpremote: Bridge a localhost DAP port to a device's serial inte…
Build docs
#1950:
Commit
1b22339
pushed by
andrewleech
57s
mpremote_debug
mpremote_debug
57s
View workflow file
tools/mpremote: Bridge a localhost DAP port to a device's serial inte…
Check examples
#2283:
Commit
1b22339
pushed by
andrewleech
1m 59s
mpremote_debug
mpremote_debug
1m 59s
View workflow file
tools/mpremote: Bridge a localhost DAP port to a device's serial inte…
JavaScript code lint and formatting with Biome
#1984:
Commit
1b22339
pushed by
andrewleech
15s
mpremote_debug
mpremote_debug
15s
View workflow file
tools/mpremote: Bridge a localhost DAP port to a device's serial inte…
psoc-edge port
#48:
Commit
1b22339
pushed by
andrewleech
1m 55s
mpremote_debug
mpremote_debug
1m 55s
View workflow file
tools/mpremote: Bridge a localhost DAP port to a device's serial inte…
rp2 port
#2612:
Commit
1b22339
pushed by
andrewleech
5m 47s
mpremote_debug
mpremote_debug
5m 47s
View workflow file
tools/mpremote: Bridge a localhost DAP port to a device's serial inte…
.mpy file format and tools
#2307:
Commit
1b22339
pushed by
andrewleech
46s
mpremote_debug
mpremote_debug
46s
View workflow file
Previous
1
2
3
4
5
…
99
100
101
Next
You can’t perform that action at this time.