Skip to content

Actions: paulober/MicroPico

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
497 workflow runs
497 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Added .help and .ls vREPL command Build MicroPico extension #362: Commit 5d93601 pushed by paulober
October 18, 2023 18:02 1m 3s develop
develop
October 18, 2023 18:02 1m 3s
Replaced Pico-W-Stub with micropython-stubs Build MicroPico extension #361: Commit 8573ec1 pushed by paulober
October 18, 2023 17:37 46s develop
develop
October 18, 2023 17:37 46s
v3.3.3 Publish to Marketplace #46: Release v3.3.3 published by paulober
October 16, 2023 19:45 2m 34s
October 16, 2023 19:45 2m 34s
Merge pull request #146 from paulober/develop CodeQL #212: Commit 9a222c5 pushed by paulober
October 16, 2023 19:43 3m 8s main
main
October 16, 2023 19:43 3m 8s
Merge pull request #146 from paulober/develop Build MicroPico extension #360: Commit 9a222c5 pushed by paulober
October 16, 2023 19:43 54s main
main
October 16, 2023 19:43 54s
Patch v3.3.3 Build MicroPico extension #359: Pull request #146 opened by paulober
October 16, 2023 19:43 44s develop
develop
October 16, 2023 19:43 44s
Patch v3.3.3 CodeQL #211: Pull request #146 opened by paulober
October 16, 2023 19:43 2m 58s develop
develop
October 16, 2023 19:43 2m 58s
v3.3.3 Build MicroPico extension #358: Commit 14a87ed pushed by paulober
October 16, 2023 19:41 1m 2s develop
develop
October 16, 2023 19:41 1m 2s
Small improvements Build MicroPico extension #357: Commit 4558f36 pushed by paulober
October 16, 2023 19:39 1m 1s develop
develop
October 16, 2023 19:39 1m 1s
v3.3.2 Publish to Marketplace #45: Release v3.3.2 published by paulober
October 16, 2023 16:55 3m 4s
October 16, 2023 16:55 3m 4s
Merge pull request #145 from paulober/develop CodeQL #210: Commit 5e18f13 pushed by paulober
October 16, 2023 16:55 2m 28s main
main
October 16, 2023 16:55 2m 28s
Merge pull request #145 from paulober/develop Build MicroPico extension #356: Commit 5e18f13 pushed by paulober
October 16, 2023 16:55 48s main
main
October 16, 2023 16:55 48s
Hotfix v3.3.2 CodeQL #209: Pull request #145 opened by paulober
October 16, 2023 16:54 3m 2s develop
develop
October 16, 2023 16:54 3m 2s
Hotfix v3.3.2 Build MicroPico extension #355: Pull request #145 opened by paulober
October 16, 2023 16:54 1m 5s develop
develop
October 16, 2023 16:54 1m 5s
v3.3.2 Build MicroPico extension #354: Commit 123d1f7 pushed by paulober
October 16, 2023 16:53 45s develop
develop
October 16, 2023 16:53 45s
CodeQL CodeQL #208: Scheduled
October 16, 2023 08:35 2m 37s main
main
October 16, 2023 08:35 2m 37s
v3.3.1 Publish to Marketplace #44: Release v3.3.1 published by paulober
October 10, 2023 23:26 2m 54s
October 10, 2023 23:26 2m 54s
Merge pull request #139 from paulober/develop Build MicroPico extension #353: Commit 4f7e131 pushed by paulober
October 10, 2023 23:25 52s main
main
October 10, 2023 23:25 52s
Merge pull request #139 from paulober/develop CodeQL #207: Commit 4f7e131 pushed by paulober
October 10, 2023 23:25 2m 52s main
main
October 10, 2023 23:25 2m 52s
Patch v3.3.1 CodeQL #206: Pull request #139 opened by paulober
October 10, 2023 23:24 2m 24s develop
develop
October 10, 2023 23:24 2m 24s
Patch v3.3.1 Build MicroPico extension #352: Pull request #139 opened by paulober
October 10, 2023 23:24 44s develop
develop
October 10, 2023 23:24 44s
v3.3.1 Build MicroPico extension #351: Commit 99c8182 pushed by paulober
October 10, 2023 23:24 41s develop
develop
October 10, 2023 23:24 41s
Merge pull request #138 from paulober/develop CodeQL #205: Commit 6655daa pushed by paulober
October 10, 2023 23:21 2m 58s main
main
October 10, 2023 23:21 2m 58s
Merge pull request #138 from paulober/develop Build MicroPico extension #350: Commit 6655daa pushed by paulober
October 10, 2023 23:21 48s main
main
October 10, 2023 23:21 48s
Small fixes CodeQL #204: Pull request #138 opened by paulober
October 10, 2023 23:20 2m 31s develop
develop
October 10, 2023 23:20 2m 31s
ProTip! You can narrow down the results and go further in time using created:<2023-10-10 or the other filters available.