Merge branch 'notebook-polish' into 'staging'

[notebook] Refactor notebook CI structure

See merge request !24
21 jobs for staging in 7 minutes and 2 seconds (queued for 1 second)
Status Job ID Name Coverage
  Source
passed #54395
kvm nix
black

00:00:02

passed #54396
kvm nix
clang-format

00:00:03

passed #54397
kvm nix
dhall-format

00:00:04

passed #54394
kvm nix
hlint

00:00:10

passed #54392
kvm nix
ormolu

00:00:13

passed #54393
kvm nix
shellcheck

00:00:04

 
  Lib
passed #54398
kvm nix
nix-build-nrm.so

00:00:03

 
  Bin So
passed #54399
kvm nix
nix-build-binaries

00:00:02

 
  Codegen
passed #54400
kvm nix
check-vendored-resources

00:00:02

passed #54401
kvm nix
nix-build-resources

00:00:02

 
  Libnrm
passed #54403
kvm nix
nix-build-libnrm

00:00:02

passed #54402
kvm nix
raw-build-libnrm

00:00:21

 
  Linked
passed #54405
kvm nix
nix-build-app-stream

00:00:02

passed #54406
kvm nix
nix-build-app-stream-raw

00:00:01

passed #54407
integration
nix-build-nrmFull

00:00:13

passed #54404
kvm nix
nix-build-pynrm

00:00:02

 
  Integration
passed #54409
kvm nix
dhrun-exitcode

00:00:03

passed #54408
kvm nix
dhrun-hello

00:00:03

passed #54410
kvm nix
dhrun-listen

00:00:02

 
  Docs
passed #54411
kvm nix
check-vendored-documentation

00:05:59

passed #54412
kvm nix
readthedocs

00:00:01