[ci] ci file fix.

12 jobs for develop in 11 minutes and 17 seconds
Status Job ID Name Coverage
  Source
passed #67626
kvm nix
make:dhall-format

00:00:02

passed #67624
kvm nix
make:hlint

00:00:01

passed #67623
kvm nix
make:ormolu

00:00:04

passed #67625
kvm nix
make:shellcheck

00:00:02

 
  Build
passed #67634
nix kvm
make:doc

00:10:47

passed #67627
kvm nix
nix:package

00:00:22

failed #67632
kvm nix
make:doc

00:00:02

failed #67628
kvm nix
make:doc

00:00:02

failed #67633
kvm nix
make:doc

00:01:18

failed #67629
nix kvm
make:doc

00:00:02

failed #67630
kvm nix
make:doc

00:01:23

failed #67631
nix kvm
make:doc

00:00:03