bjorn3
|
285c7c66dc
|
Merge commit '03f01bbe901d60b71cf2c5ec766aef5e532ab79d' into update_cg_clif-2020-11-01
|
2020-11-03 11:00:04 +01:00 |
|
bjorn3
|
50cd72d590
|
Bump actions/cache to v2
|
2020-08-19 14:14:32 +02:00 |
|
bjorn3
|
f4e22f0bff
|
[gh actions] Remove actions-rs/cargo step
It is not very useful and increases compilation time, as the
CARGO_INCREMENTAL env var differs between it and the cargo invocation in
test.sh
|
2020-08-19 14:05:57 +02:00 |
|
Veetaha
|
50ecea0c18
|
Remove cargo home perms workaround
|
2020-08-04 03:33:31 +03:00 |
|
bjorn3
|
b6144483ef
|
Revert "[CI] Run the compile step with CARGO_INCREMENTAL=1"
This reverts commit af0fa74615 .
It didn't do anything
|
2020-06-16 11:08:06 +02:00 |
|
bjorn3
|
af0fa74615
|
[CI] Run the compile step with CARGO_INCREMENTAL=1
|
2020-06-16 11:02:26 +02:00 |
|
bjorn3
|
2e5282f929
|
[CI] Hash Cargo.lock in addition to toolchain for target dir cache
|
2020-05-10 17:36:13 +02:00 |
|
bjorn3
|
a0eab7d913
|
Update actions-rs/cargo
|
2020-03-31 21:11:16 +02:00 |
|
bjorn3
|
6e9ee81271
|
[gh actions] Run the compile step with the same arguments as test.sh
|
2020-03-17 15:07:55 +01:00 |
|
bjorn3
|
fe0e2ae66d
|
[gh actions] Really fix caching this time
|
2020-03-14 18:17:13 +01:00 |
|
bjorn3
|
9fd8b84a4b
|
[gh actions] Invalidate cargo-registry cache
|
2020-03-14 12:49:52 +01:00 |
|
bjorn3
|
bed829389e
|
[gh actions] invalidate cargo-installed-crates cache
|
2020-03-14 12:47:18 +01:00 |
|
bjorn3
|
50c1d8a028
|
[gh actions] Really fix permission problems with caching
|
2020-03-13 20:24:52 +01:00 |
|
bjorn3
|
014438c614
|
[gh actions] Cache cargo registry and index
|
2020-03-13 20:22:38 +01:00 |
|
bjorn3
|
2e5661dae6
|
[gh actions] Fix caching of ~/.cargo/bin
|
2020-03-13 20:22:33 +01:00 |
|
bjorn3
|
133b05b3a4
|
[gh actions] Cache target dir for specific rustc version
|
2020-03-13 19:24:17 +01:00 |
|
bjorn3
|
512b33f001
|
[gh actions] Fix caching of cargo installed crates
|
2020-03-13 18:55:25 +01:00 |
|
bjorn3
|
ec9b3e15af
|
Setup github actions
|
2020-03-13 18:34:00 +01:00 |
|