Amir Gonnen 3c6741b11c Update build_micropython.yml (#1794) ...

Fetch both head and merge commits of "pull" refs. This would allow the CI script to first try checkout the merge commit (which is `github.sha` on PR) and only if that fails, default to checking out the PR head.

2020-09-15 12:19:56 +02:00

..

build_micropython.yml

Update build_micropython.yml (#1794)

2020-09-15 12:19:56 +02:00

ccpp.yml

fix ci

2020-08-31 14:04:23 +02:00

merge-to-dev.yml

Create merge-to-dev.yml

2020-06-30 09:43:58 +02:00