Merge branch 'rules-ci' into 'master'

ci: switch to using rules

See merge request !63
16 jobs for master in 15 minutes and 52 seconds (queued for 6 seconds)
latest
Status Job ID Name Coverage
  Build
passed #388414
build-edge

00:08:58

passed #388411
build-v.3.11

00:09:01

passed #388409
build-v3.10

00:08:50

passed #388402
build-v3.8

00:08:02

passed #388405
build-v3.9

00:08:48

 
  Push
passed #388428
push-edge

00:05:07

passed #388426
push-v.3.11

00:04:59

passed #388421
push-v3.10

00:05:13

passed #388417
push-v3.8

00:04:49

passed #388420
push-v3.9

00:05:19

 
  Manifest
passed #388441
manifest-edge

00:00:54

passed #388435
manifest-v3.10

00:00:55

passed #388438
manifest-v3.11

00:00:54

passed #388430
manifest-v3.8

00:00:53

passed #388433
manifest-v3.9

00:00:55

 
  Cleanup
passed #388443
cleanup

00:00:34