build:lagarto-ox:
  stage: build
  when: manual
  tags:
    - nix
  script:
    - nix develop -L .#lagarto-ox --command fpga/run-remotely.sh fpgalogin1:ci

build:lagarto-ox-tarball:
  stage: build
  when: manual
  tags:
    - nix
  script:
    - nix build -L .#nixosConfigurations.lagarto-ox.pkgs.fpga-tarball
    - cd result
    - out=/ceph/home/gitlab-runner/public_html/nixos-riscv/
    - fn=$(ls | head -1)
    - cp $fn $out/$fn
    - rm -f $out/latest.tar.gz
    - ln -s $out/$fn $out/latest.tar.gz
    - cd ..
    - rm result