Rename arduino_ci_remote.rb
to arduino_ci.rb
#195
Merged
ianfixes merged 3 commits intoArduino-CI:masterfrom Nov 10, 2020
Merged
Rename `arduino_ci_remote.rb` to `arduino_ci.rb`#195ianfixes merged 3 commits intoArduino-CI:masterfrom
ianfixes merged 3 commits intoArduino-CI:masterfrom
Commits
Commits on Nov 4, 2020
- committedJames Foster
Commits on Nov 5, 2020
- committedJames Foster
Commits on Nov 7, 2020
- authoredJames Foster