Commit Graph

2739 Commits

Author SHA1 Message Date
Tom Parker-Shemilt
09d65b45e8 Add Github token secret to the environment variables 2021-05-05 22:29:32 +01:00
Tom Parker-Shemilt
80e35f47c3 Upgrade almost all the deps 2021-05-05 22:21:23 +01:00
Tom Parker-Shemilt
779d9b6aaf Fix all the current build issues 2021-05-05 22:05:12 +01:00
Tom Parker-Shemilt
b3606ee454 Add lots of caching to github build 2021-05-05 22:04:07 +01:00
Lukáš Hozda [magnusi]
da15365ee0
Merge pull request #1021 from PrototypeNM1/patch-1
Add cargo-dinghy to Testing
2021-02-02 21:39:51 +01:00
Lukáš Hozda [magnusi]
3b4d1ea601
Merge branch 'master' into patch-1 2021-02-02 20:01:53 +01:00
Lukáš Hozda [magnusi]
d54a94bfce
Merge pull request #1026 from rrooij/terminusdb_ci_fix
Fix TerminusDB CI link of TerminusDB storage engine
2021-02-02 20:01:16 +01:00
Robin de Rooij
2e1bd3705e Fix TerminusDB CI link of TerminusDB storage engine
It moved from Travis to GitHub Actions
2021-02-02 18:35:49 +01:00
Lukáš Hozda [magnusi]
9534102589
Merge branch 'master' into patch-1 2021-02-02 17:23:20 +01:00
Lukáš Hozda [magnusi]
ce61e15ddc
Merge pull request #1025 from rust-unofficial/multi-PR
Multi Merger
2021-02-02 17:22:16 +01:00
Lukáš Hozda [magnusi]
ea8a86f376
Merge branch 'master' into multi-PR 2021-02-02 16:41:17 +01:00
Lukáš Hozda [magnusi]
aa985cc436
Merge pull request #1024 from rust-unofficial/luciusmagn-patch-2
temporarily neuter travis
2021-02-02 16:41:05 +01:00
Lukáš Hozda
a32e8bb798 Merge remote-tracking branch 'pr20/patch-1' into multi-PR 2021-02-02 15:41:32 +01:00
Lukáš Hozda
f16990e0b9 Merge remote-tracking branch 'pr19/master' into multi-PR 2021-02-02 15:40:51 +01:00
Lukáš Hozda
54f4833828 Merge remote-tracking branch 'pr18/master' into multi-PR 2021-02-02 15:40:05 +01:00
Lukáš Hozda
152df247d7 Merge remote-tracking branch 'pr17/patch-1' into multi-PR 2021-02-02 15:39:31 +01:00
Lukáš Hozda
6c9269c8f3 Merge remote-tracking branch 'pr16/master' into multi-PR 2021-02-02 15:38:23 +01:00
Lukáš Hozda
6d7ed9fe2a Merge remote-tracking branch 'pr15/patch-1' into multi-PR 2021-02-02 15:37:42 +01:00
Lukáš Hozda
e73f97e0f4 Merge remote-tracking branch 'pr14/master' into multi-PR 2021-02-02 15:35:31 +01:00
Lukáš Hozda
216b77880c Merge remote-tracking branch 'pr13/master' into multi-PR 2021-02-02 15:31:07 +01:00
Lukáš Hozda
c0beb4bbfc Merge remote-tracking branch 'pr12/new_rust_books' into multi-PR 2021-02-02 15:29:28 +01:00
Lukáš Hozda
eb8da9143f Merge remote-tracking branch 'pr11/master' into multi-PR 2021-02-02 15:28:25 +01:00
Lukáš Hozda
087c1a1453 Merge remote-tracking branch 'pr10/patch-1' into multi-PR 2021-02-02 15:27:29 +01:00
Lukáš Hozda
84ca51d68e Merge remote-tracking branch 'pr9/patch-3' into multi-PR 2021-02-02 15:26:45 +01:00
Lukáš Hozda
653656ca21 Merge remote-tracking branch 'pr9/patch-2' into multi-PR 2021-02-02 15:26:35 +01:00
Lukáš Hozda
4c0530e7aa Merge remote-tracking branch 'pr9/patch-1' into multi-PR 2021-02-02 15:26:15 +01:00
Lukáš Hozda
0aa2409627 Merge remote-tracking branch 'pr8/patch-2' into multi-PR 2021-02-02 15:25:36 +01:00
Lukáš Hozda
3846b316a8 Merge remote-tracking branch 'pr7/patch-1' into multi-PR 2021-02-02 15:25:03 +01:00
Lukáš Hozda
3b95e5746c Merge remote-tracking branch 'pr6/patch-6' into multi-PR 2021-02-02 15:24:10 +01:00
Lukáš Hozda
f2d6597ccd Merge remote-tracking branch 'pr5/patch-2' into multi-PR 2021-02-02 15:23:16 +01:00
Lukáš Hozda
f04cee0e6c Merge remote-tracking branch 'pr4/patch-1' into multi-PR 2021-02-02 15:22:35 +01:00
Lukáš Hozda
7e4a8fbb80 Merge remote-tracking branch 'pr3/patch-1' into multi-PR 2021-02-02 15:21:31 +01:00
Lukáš Hozda
1260271f81 Merge remote-tracking branch 'pr2/patch-1' into multi-PR 2021-02-02 15:20:38 +01:00
Lukáš Hozda [magnusi]
7a873ac2f3
temporarily neuter travis 2021-02-02 14:51:53 +01:00
Lukáš Hozda [magnusi]
2c7f1bb146
Merge branch 'master' into patch-1 2021-02-02 13:19:32 +01:00
Lukáš Hozda [magnusi]
d3245a1132
Merge branch 'master' into patch-1 2021-02-01 16:40:48 +01:00
Bogdan Mart
c607759c3e
Merge branch 'master' into patch-1 2021-02-01 13:44:13 +02:00
Lukáš Hozda [magnusi]
373837c374
Merge branch 'master' into patch-1 2021-02-01 10:25:29 +01:00
Lukáš Hozda [magnusi]
b6b12b240f
Merge pull request #1022 from spikecodes/patch-1
Add ox editor
2021-02-01 09:19:40 +01:00
BinCheng
c16487c24c
Merge branch 'master' into patch-1 2021-02-01 14:15:45 +08:00
Spike
f02db966de
Add ox editor 2021-02-01 00:34:17 +00:00
Lukáš Hozda [magnusi]
b213a208f0
Merge pull request #987 from alula/patch-1
Add doukutsu-rs
2021-02-01 00:30:25 +01:00
Lukáš Hozda [magnusi]
b573a8399d
Merge branch 'master' into patch-1 2021-01-31 23:30:51 +01:00
Maximilian Sonnenburg
b6a8ea8000
Merge branch 'master' into patch-1 2021-01-31 21:56:43 +01:00
Jérémie Drouet
ee56842e93
Merge branch 'master' into patch-1 2021-01-31 20:09:41 +01:00
Nicholas Rishel
20bc1defec
Add cargo-dingy to Testing 2021-01-31 10:39:07 -08:00
Lukáš Hozda [magnusi]
9c8e2e1d09
Merge pull request #986 from jmcconnell26/AddCargoGeiger
Add cargo geiger to README
2021-01-31 18:26:00 +01:00
Lukáš Hozda [magnusi]
c55254be86
Merge branch 'master' into AddCargoGeiger 2021-01-31 16:10:38 +01:00
Lukáš Hozda [magnusi]
9a8b1e3292
Merge pull request #985 from Amjad50/patch-1
add `plastic` project
2021-01-31 16:02:32 +01:00
Lukáš Hozda [magnusi]
62d5a68bfd
Merge branch 'master' into patch-1 2021-01-31 15:47:50 +01:00