8000 Speed up CI builds with caching hacks by earlephilhower · Pull Request #5539 · esp8266/Arduino · GitHub
[go: up one dir, main page]
Skip to content

Speed up CI builds with caching hacks #5539

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 16 commits into from
Jan 5, 2019
Merged

Speed up CI builds with caching hacks #5539

Changes from 1 commit
Commits
Show all changes
16 commits
Select commit Hold shift + click to select a range
8e7b241
Cache core.a for CI builds
Dec 21, 2018
e34acb7
Merge branch 'master' into cachebuild
earlephilhower Dec 21, 2018
5dc16db
Hack to ensure core.a looks newer during builds
earlephilhower Dec 21, 2018
23085a3
Try removing file updates
earlephilhower Dec 21, 2018
2928c1b
Try and keep build.options.json
earlephilhower Jan 3, 2019
13a12fd
Merge branch 'master' into cachebuild
earlephilhower Jan 3, 2019
ca545a2
Try and keep build.options.json
earlephilhower Jan 3, 2019
37e61d5
Merge branch 'cachebuild' of https://github.com/earlephilhower/Arduin…
earlephilhower Jan 3, 2019
8019bf4
Undo platform.txt change
earlephilhower Jan 3, 2019
5971785
Check output files
earlephilhower Jan 3, 2019
5bfa5be
Remove old elf/bin/maps from build dir
earlephilhower Jan 3, 2019
a0cb206
Cleanup comments explaining the build logic
earlephilhower Jan 3, 2019
038ede7
Clean up build.options.json and core.a adjustment
Jan 3, 2019
ebb6b96
Merge branch 'master' into cachebuild
earlephilhower Jan 4, 2019
bcb928f
Merge branch 'master' into cachebuild
earlephilhower Jan 5, 2019
f87edfe
Remove unwanted debug change
earlephilhower Jan 5, 2019
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Merge branch 'master' into cachebuild
  • Loading branch information
@earlephilhower
earlephilhower authored Jan 5, 2019
commit bcb928fdd42f8563dd083e6fa0fc7b3e7bb95ce0

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.
0