Tom Parker-Shemilt
|
9eb11c267a
|
Temporarily skip cargo run so we can cache
|
3 years ago |
Lukáš Hozda [magnusi]
|
b5f7a346f5
|
Merge pull request #1080 from palfrey/fix-github-build
Fix GitHub build
|
3 years ago |
Pan Ip
|
4ea4726d9f
|
Update README.md
|
3 years ago |
Manish Goregaokar
|
ca45557cbc
|
Merge pull request #1094 from xylyorg/XyLyXyRR-patch-badge
fix a few badges
|
3 years ago |
Manish Goregaokar
|
989abcc7b0
|
Merge pull request #1092 from AndreyErmilov/hitbox
Add Hitbox to list of Caching
|
3 years ago |
XyLyXyRR
|
17a54474fe
|
Update README.md
|
3 years ago |
Andrey Ermilov
|
fd895651d9
|
Add Hitbox to list of Caching
|
3 years ago |
Tom Parker-Shemilt
|
f734e1aa76
|
id -> name
|
3 years ago |
Tom Parker-Shemilt
|
3e00c49471
|
Generate random cache ids so we can re-run for improved results
|
3 years ago |
Tom Parker-Shemilt
|
9c7fcb5468
|
Remove set step
|
3 years ago |
Tom Parker-Shemilt
|
08444b5a99
|
Check environment variables
|
3 years ago |
Tom Parker-Shemilt
|
6a317fd650
|
Further nesting of restore-keys so we can always save results
|
3 years ago |
Tom Parker-Shemilt
|
48c7a6ced6
|
Fix path to always-upload-cache
|
3 years ago |
Tom Parker-Shemilt
|
e6687352f7
|
Always save the results cache, even on failure
|
3 years ago |
Tom Parker-Shemilt
|
5b46fba714
|
Add run as separate step
|
3 years ago |
Tom Parker-Shemilt
|
4d36decd44
|
Just do the build step for cargo
|
3 years ago |
Tom Parker-Shemilt
|
09d65b45e8
|
Add Github token secret to the environment variables
|
3 years ago |
Tom Parker-Shemilt
|
80e35f47c3
|
Upgrade almost all the deps
|
3 years ago |
Tom Parker-Shemilt
|
779d9b6aaf
|
Fix all the current build issues
|
3 years ago |
Tom Parker-Shemilt
|
b3606ee454
|
Add lots of caching to github build
|
3 years ago |
austinabell
|
096bad65c5
|
Add Forest to the list
|
4 years ago |
Isitha Subasinghe
|
6e8c078f1c
|
Added grmtools
|
4 years ago |
BinCheng
|
44718ca2ed
|
Update README.md
|
4 years ago |
BinCheng
|
4cd483687e
|
Update README.md
|
4 years ago |
Lukáš Hozda [magnusi]
|
03543b6ff8
|
Merge branch 'master' into master
|
4 years ago |
Lukáš Hozda [magnusi]
|
da15365ee0
|
Merge pull request #1021 from PrototypeNM1/patch-1
Add cargo-dinghy to Testing
|
4 years ago |
BinCheng
|
04c45ab741
|
Merge branch 'master' into master
|
4 years ago |
Lukáš Hozda [magnusi]
|
3b4d1ea601
|
Merge branch 'master' into patch-1
|
4 years ago |
Lukáš Hozda [magnusi]
|
d54a94bfce
|
Merge pull request #1026 from rrooij/terminusdb_ci_fix
Fix TerminusDB CI link of TerminusDB storage engine
|
4 years ago |
BinCheng
|
ab19904bd0
|
Update README.md
|
4 years ago |
Robin de Rooij
|
2e1bd3705e
|
Fix TerminusDB CI link of TerminusDB storage engine
It moved from Travis to GitHub Actions
|
4 years ago |
BinCheng
|
51a5ecde33
|
Merge pull request #2 from rust-unofficial/master
Merge all changes.
|
4 years ago |
Lukáš Hozda [magnusi]
|
9534102589
|
Merge branch 'master' into patch-1
|
4 years ago |
Lukáš Hozda [magnusi]
|
ce61e15ddc
|
Merge pull request #1025 from rust-unofficial/multi-PR
Multi Merger
|
4 years ago |
Lukáš Hozda [magnusi]
|
ea8a86f376
|
Merge branch 'master' into multi-PR
|
4 years ago |
Lukáš Hozda [magnusi]
|
aa985cc436
|
Merge pull request #1024 from rust-unofficial/luciusmagn-patch-2
temporarily neuter travis
|
4 years ago |
Lukáš Hozda
|
a32e8bb798
|
Merge remote-tracking branch 'pr20/patch-1' into multi-PR
|
4 years ago |
Lukáš Hozda
|
f16990e0b9
|
Merge remote-tracking branch 'pr19/master' into multi-PR
|
4 years ago |
Lukáš Hozda
|
54f4833828
|
Merge remote-tracking branch 'pr18/master' into multi-PR
|
4 years ago |
Lukáš Hozda
|
152df247d7
|
Merge remote-tracking branch 'pr17/patch-1' into multi-PR
|
4 years ago |
Lukáš Hozda
|
6c9269c8f3
|
Merge remote-tracking branch 'pr16/master' into multi-PR
|
4 years ago |
Lukáš Hozda
|
6d7ed9fe2a
|
Merge remote-tracking branch 'pr15/patch-1' into multi-PR
|
4 years ago |
Lukáš Hozda
|
e73f97e0f4
|
Merge remote-tracking branch 'pr14/master' into multi-PR
|
4 years ago |
Lukáš Hozda
|
216b77880c
|
Merge remote-tracking branch 'pr13/master' into multi-PR
|
4 years ago |
Lukáš Hozda
|
c0beb4bbfc
|
Merge remote-tracking branch 'pr12/new_rust_books' into multi-PR
|
4 years ago |
Lukáš Hozda
|
eb8da9143f
|
Merge remote-tracking branch 'pr11/master' into multi-PR
|
4 years ago |
Lukáš Hozda
|
087c1a1453
|
Merge remote-tracking branch 'pr10/patch-1' into multi-PR
|
4 years ago |
Lukáš Hozda
|
84ca51d68e
|
Merge remote-tracking branch 'pr9/patch-3' into multi-PR
|
4 years ago |
Lukáš Hozda
|
653656ca21
|
Merge remote-tracking branch 'pr9/patch-2' into multi-PR
|
4 years ago |
Lukáš Hozda
|
4c0530e7aa
|
Merge remote-tracking branch 'pr9/patch-1' into multi-PR
|
4 years ago |