Code

github-actions: build on PRs#2

Code

Merged

leandrolanzieri merged 1 commit intoRIOT-OS:masterRIOT-OS/riotctrl:masterfrom miri64:gh-actions/enh/build-prsmiri64/riotctrl:gh-actions/enh/build-prsCopy head branch name to clipboardJul 7, 2020

+9-1

Commits

Commits on Jul 7, 2020

• github-actions: build on PRs

  miri64

  committed
  97ea33c

  Copy full SHA for 97ea33c