Closed ahadley1124 closed 1 year ago
I'd like if we can merge @Okkonen-GitHub's changes as a separate PR to #17.
I can do the paperwork.
@sshine That would be awesome. Thanks!
Sure go ahead, I'll skip reviewing this them and wating for the sepate PRs.
I rebased this branch on top of main
after merging @Okkonen-GitHub's changes as #18.
Since your commits were signed, they are now no longer verified.
Besides that, the build is a lot quicker, so thanks!
However, the only change that seems to affect this is adding directories to the cache.
Everything else, as far as I see, seems to be left-over changes from experimenting?
Simon, You are correct that the only change in actions was adding more directories to the cache. I did have a couple things from experimenting that I committed for the main branch but nothing that will affect the current running of the build. Please let me know if you have any other questions or comments.
Adding commit from #16 and @Okkonen-GitHub's previous changes to main