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

..

ISSUE_TEMPLATE

Update config.yml

2020-05-25 05:44:24 +02:00

workflows

Update build_micropython.yml (#1794)

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

auto-comment.yml

Update auto-comment.yml

2020-07-07 13:09:26 +02:00

FUNDING.yml

Update FUNDING.yml

2020-08-06 11:40:30 +02:00

stale.yml

Update stale.yml

2019-02-21 07:35:14 +01:00