|
|
312689fc61
|
migen: bump
|
2019-08-23 18:40:00 +08:00 |
|
|
|
19f124bff3
|
migen-axi: fix MiSoC identifier core compatibility, enable tests
|
2019-08-23 18:08:20 +08:00 |
|
|
|
405a9ecc1b
|
ramda: enable tests
|
2019-08-23 17:41:51 +08:00 |
|
|
|
a089158a1d
|
add migen-axi to the development enviroment
Enables Zynq gateware development.
|
2019-08-23 17:01:39 +08:00 |
|
|
|
709c004585
|
rpi: update nix channel URL
|
2019-08-17 10:27:25 +08:00 |
|
|
|
dc3cc3f596
|
nixbld: run hydra hooks for artiq-manual only on success
should fix GH issue #18
|
2019-08-14 00:05:04 +02:00 |
|
|
|
615fb34dc7
|
artiq-full: add wipm4
|
2019-08-12 15:47:40 +08:00 |
|
|
|
35c88811a9
|
artiq-full: add opticlock
|
2019-08-08 22:00:38 +02:00 |
|
|
|
e96907239e
|
thermostat: update cargoSha256
|
2019-08-08 18:31:21 +08:00 |
|
|
|
4c9973893e
|
stm32: update rust
|
2019-08-08 17:52:09 +08:00 |
|
|
|
d5c87cf188
|
stabilizer: update cargoSha256
|
2019-08-08 17:20:48 +08:00 |
|
|
|
ff7349c9b7
|
add ptb5
|
2019-08-06 17:34:30 +02:00 |
|
|
|
c9fb50b3d2
|
add innsbruck
|
2019-08-06 13:55:12 +02:00 |
|
|
|
59c58abd89
|
ptb4, siegen: add
|
2019-08-05 18:59:51 +02:00 |
|
|
|
a14fbf0d8f
|
add npl1, npl2
|
2019-08-02 11:24:35 +02:00 |
|
|
|
f92d6b96f4
|
nixbld: disable docker
|
2019-08-01 10:37:47 +08:00 |
|
|
|
405492b2e9
|
nixbld: add fish shell
|
2019-07-31 22:48:42 +08:00 |
|
|
|
a86f29733e
|
nixbld: redirect old artiq resources page
|
2019-07-31 22:48:42 +08:00 |
|
Jan Kiethe
|
df452f7d94
|
artiq-full.nix: added ptbin variant
Signed-off-by: Jan Kiethe <jan.kiethe@ptb.de>
Signed-off-by: Robert Jördens <rj@quartiq.de>
|
2019-07-30 12:04:33 +02:00 |
|
|
|
51fde169d5
|
heavyx: use nixos-19.03
|
2019-07-29 15:00:23 +08:00 |
|
|
|
552b872bac
|
nixbld: add legacy migen manual URL
|
2019-07-29 11:44:48 +08:00 |
|
|
|
820ede4ac3
|
nixbld: optimize web server settings
|
2019-07-27 11:27:28 +08:00 |
|
|
|
049ef39c29
|
remove ARTIQ-2 manual
|
2019-07-27 10:38:06 +08:00 |
|
|
|
4d0c0e295a
|
nixbld: use custom 404 page
|
2019-07-26 21:29:54 +08:00 |
|
|
|
789336adca
|
urukul: fix migen package path
|
2019-07-26 15:58:01 +08:00 |
|
|
|
06e8e67d10
|
nixbld: increase max push size for HTTPS gitea
|
2019-07-22 19:34:07 +08:00 |
|
|
|
af31db6d21
|
nixbld: add ARTIQ-4 manual legacy URL
|
2019-07-22 19:32:18 +08:00 |
|
|
|
00de3141b0
|
nixbld: update fractalide settings
|
2019-07-19 16:24:04 +08:00 |
|
|
|
618486ca8a
|
nixbld: update web settings
|
2019-07-19 16:23:47 +08:00 |
|
|
|
78caeebf02
|
serve website from hydra
|
2019-07-19 15:57:35 +08:00 |
|
|
|
5326cab419
|
use recommended nginx patch
|
2019-07-19 15:19:39 +08:00 |
|
|
|
c134bfd3c1
|
web fixes and improvements
|
2019-07-19 15:00:06 +08:00 |
|
|
|
4d9e1f6e36
|
nixbld: redirect old URLs
|
2019-07-18 23:25:35 +08:00 |
|
|
|
0cc3a2bc3d
|
conda: use levenshtein from conda-forge
|
2019-07-18 12:24:31 +08:00 |
|
|
|
77cc78adcb
|
build kc705-nist_qc2
|
2019-07-18 09:41:33 +08:00 |
|
|
|
5173a26468
|
nixbld: ignore broken conda-generated index.html
|
2019-07-18 00:47:18 +08:00 |
|
|
|
f51d24ac2e
|
nixbld: publish conda channel on WWW
|
2019-07-18 00:20:05 +08:00 |
|
|
|
b6b0080649
|
conda-channel: package name
|
2019-07-18 00:15:11 +08:00 |
|
|
|
dfa2a4017e
|
nixbld: update documentation jobset name
|
2019-07-18 00:10:33 +08:00 |
|
|
|
fc0d2144ba
|
create a conda channel
|
2019-07-18 00:08:35 +08:00 |
|
|
|
a50117095d
|
fix conda-build (again)
|
2019-07-17 23:51:46 +08:00 |
|
|
|
f077761be8
|
fix conda-build
|
2019-07-17 23:51:09 +08:00 |
|
|
|
5526e491cf
|
expose condaBuilderEnv
|
2019-07-17 23:50:06 +08:00 |
|
|
|
8921993d15
|
fix manual build
|
2019-07-17 22:48:14 +08:00 |
|
|
|
f089f6e1ef
|
typo
|
2019-07-17 22:41:43 +08:00 |
|
|
|
14c0bd7103
|
move conda-artiq-board to artiq-full
|
2019-07-17 22:36:44 +08:00 |
|
|
|
c4b57f341b
|
remove artiq-extras from artiq-fast
|
2019-07-17 20:27:03 +08:00 |
|
|
|
11608e139c
|
move artiq-extras to artiq-full
|
2019-07-17 20:22:13 +08:00 |
|
|
|
0507ade49d
|
remove remnants of manual from artiq-fast
|
2019-07-17 20:11:28 +08:00 |
|
|
|
53d8569d35
|
rename channels
nix-channel --add <url> now gives a good channel name by default
|
2019-07-17 20:03:36 +08:00 |
|
