Skip to content
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

Improve CI #648

Merged
merged 12 commits into from
May 11, 2022
+63 −88
Merged

Improve CI #648

Changes from 1 commit
Commits
Show all changes
12 commits
Select commit Hold shift + click to select a range
f472ecd
Improve CI
koushiro Apr 27, 2022
c34151d
Merge remote-tracking branch 'upstream/master' into improve-ci
koushiro Apr 29, 2022
27e5d4b
Use nightly-2022-05-02
koushiro May 5, 2022
adb9cd7
Remove useless submodule
koushiro May 5, 2022
a31226a
Make test more stable
koushiro May 5, 2022
d432223
Merge remote-tracking branch 'upstream/master' into make-test-stable
koushiro May 9, 2022
7883982
Merge remote-tracking branch 'upstream/master' into improve-ci
koushiro May 9, 2022
3a65dc1
Some nits
koushiro May 9, 2022
e0ef607
Merge branch 'make-test-stable' into improve-ci
koushiro May 9, 2022
b231c11
Merge remote-tracking branch 'upstream/master' into improve-ci
koushiro May 10, 2022
13e6fe2
remove strategy
koushiro May 11, 2022
195a9a9
Merge remote-tracking branch 'upstream/master' into improve-ci
koushiro May 11, 2022
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 remote-tracking branch 'upstream/master' into improve-ci
  • Loading branch information
@koushiro
koushiro committed May 9, 2022
commit 7883982c8886710113a4408f0f77297f31e8f1f9

This merge commit was added into this branch cleanly.

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