Skip to content
Snippets Groups Projects
Commit 4e0dec49 authored by Sebastian Meiling's avatar Sebastian Meiling Committed by GitHub
Browse files

Merge pull request #6446 from cgundogan/pr/jenkins_riot_mirror 

jenkins: use local RIOT mirror to speed up fetches
parents 808f954f 1e67b7a5
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 6 additions and 1 deletion
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment