|
|
ced0ef13b3
|
artiq-full: work around https://github.com/NixOS/nixpkgs/pull/85763
|
2020-05-26 15:32:26 +08:00 |
|
|
|
c4eae355d3
|
add rpi-5
|
2020-05-25 16:31:04 +08:00 |
|
|
|
a110358e37
|
nixops: yubikey udev
|
2020-05-21 12:35:46 +08:00 |
|
|
|
00ccf48332
|
nixops: update SSH settings for yubikey
|
2020-05-21 12:25:12 +08:00 |
|
|
|
2f1b8ad0f4
|
enable gitea email notifications
|
2020-05-21 12:24:38 +08:00 |
|
|
|
c3089d0730
|
uaarhus, ugranada: add
|
2020-05-19 17:15:39 +02:00 |
|
|
|
db65504dab
|
migen: bump
|
2020-05-14 15:09:25 +08:00 |
|
|
|
7bd6523807
|
nixops: add zeus machine
|
2020-05-13 14:21:51 +08:00 |
|
|
|
cc8f6d9ae8
|
nixops: add udev rules for saleae + oceanoptics
|
2020-05-13 14:21:34 +08:00 |
|
|
|
86907b40cc
|
nixops: more dev packages
|
2020-05-13 14:21:14 +08:00 |
|
|
|
d05caf3468
|
nixops: install mode dev tools on desktop
|
2020-05-10 15:45:26 +08:00 |
|
|
|
bd33e26a40
|
nixops: common users, gnome, disable SSH password, light config
|
2020-05-09 21:52:00 +08:00 |
|
|
|
95ccdcc5be
|
misoc: bump
|
2020-05-09 16:43:58 +08:00 |
|
|
|
43967e2324
|
migen: bump
|
2020-05-07 12:57:18 +08:00 |
|
|
|
6a1476405d
|
nixops: create occheung account
|
2020-05-07 12:55:08 +08:00 |
|
|
|
19310060e0
|
nixops: prevent cups from creating broken and conflicting printer entries
https://askubuntu.com/questions/345083/how-do-i-disable-automatic-remote-printer-installation
|
2020-05-03 14:15:20 +08:00 |
|
|
|
9695aaf74f
|
zynq: build experiments again
|
2020-05-03 09:46:28 +08:00 |
|
|
|
dc1e0cf3d7
|
rpi: update users
|
2020-05-03 09:43:52 +08:00 |
|
|
|
1af80bace3
|
zynq: syntax
|
2020-05-03 01:49:57 +02:00 |
|
|
|
5a5c832de2
|
zynq: remove args
|
2020-05-03 01:45:54 +02:00 |
|
|
|
1bfe9be055
|
zynq: try to filter for "zc706-" jobs
|
2020-05-03 01:36:49 +02:00 |
|
|
|
bc03ef956e
|
hydra: rename zc706 to zynq
|
2020-05-01 14:11:02 +08:00 |
|
|
|
bb1658990a
|
zc706: works in nix-build. hydra still breaks for obscure reason
|
2020-05-01 11:56:53 +08:00 |
|
|
|
b1accc9810
|
zc706: trying to understand evaluation problems...
|
2020-05-01 11:51:10 +08:00 |
|
|
|
a6d5f444d1
|
zc706: trying to understand evaluation problems...
|
2020-05-01 11:40:43 +08:00 |
|
|
|
96578b9ad7
|
zc706: trying to understand evaluation problems...
|
2020-05-01 11:40:10 +08:00 |
|
|
|
69390df36d
|
zc706: trying to understand evaluation problems...
|
2020-05-01 11:39:02 +08:00 |
|
|
|
1110d6fbb8
|
zc706: trying to understand evaluation problems...
|
2020-05-01 11:37:36 +08:00 |
|
|
|
d11d73c246
|
zc706: fix mapAttrs
|
2020-05-01 11:35:05 +08:00 |
|
|
|
06757b311a
|
zc706: build artiq-zynq
|
2020-05-01 11:30:01 +08:00 |
|
|
|
556fda274d
|
update nmigen.org redirect
|
2020-04-29 16:20:04 +08:00 |
|
|
|
1e568b244b
|
desktop: remove whois
|
2020-04-29 15:23:20 +08:00 |
|
|
|
cfc843819d
|
nixops: create pca006132 account
|
2020-04-27 16:30:50 +08:00 |
|
|
|
50f7c293e8
|
nixbld: fix recurring acme certificate permission problems
|
2020-04-27 11:59:08 +08:00 |
|
|
|
3cface01af
|
artiq-comtools: bump
|
2020-04-25 12:47:23 +08:00 |
|
|
|
aac80b9f84
|
misoc: bump
|
2020-04-23 23:07:42 +08:00 |
|
|
|
38a66c9d41
|
migen: bump
|
2020-04-23 23:05:59 +08:00 |
|
|
|
fa7c3d2454
|
nixpkgs 20.03 updates
|
2020-04-20 17:51:38 +08:00 |
|
|
|
5dd966ceb0
|
remove pyftdi (upstream nixpkgs)
|
2020-04-20 17:49:45 +08:00 |
|
|
|
f7f3ec9a37
|
nixbld: update hydra
|
2020-04-20 15:37:46 +08:00 |
|
|
|
4b92e7c00f
|
nixbld: remove munin workaround (no longer needed on 20.03)
|
2020-04-20 14:24:45 +08:00 |
|
|
|
7f6d54c6cd
|
upgrade to nixos 20.03
|
2020-04-20 14:21:48 +08:00 |
|
|
|
b37f00336e
|
artiq-full: build oklahoma
|
2020-04-18 18:35:03 +08:00 |
|
|
|
55593d3210
|
artiq-full: rm archived systems
|
2020-04-17 21:21:03 +08:00 |
|
|
|
9c86d4b797
|
nixops: disable fish-nix-shell on rpi (buggy)
|
2020-04-16 16:30:41 +08:00 |
|
|
|
d7dbb1b1c1
|
nixbld: plugdev permissions for common devices
|
2020-04-16 16:14:35 +08:00 |
|
|
|
aea9642136
|
nixops: add cnc machine
|
2020-04-16 13:08:51 +08:00 |
|
|
|
c9137824e9
|
nixops: cleanup
|
2020-04-16 13:08:33 +08:00 |
|
|
|
d939fd7c1a
|
nixops: update SSH keys
|
2020-04-16 13:08:17 +08:00 |
|
|
|
6e8e2824a9
|
nixops: use fish and fish-nix-shell consistently
|
2020-04-16 13:06:23 +08:00 |
|
