Merge branch 'rules-ci' into 'master'

ci: switch to using rules

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

00:09:07

passed #446647
build-v.3.11

00:08:58

passed #446645
build-v3.10

00:08:58

passed #446640
build-v3.8

00:08:40

passed #446642
build-v3.9

00:08:57

 
  Push
passed #446664
push-edge

00:05:25

passed #446661
push-v.3.11

00:05:02

passed #446660
push-v3.10

00:05:18

passed #446653
push-v3.8

00:04:55

passed #446657
push-v3.9

00:05:12

 
  Manifest
passed #446678
manifest-edge

00:00:49

passed #446672
manifest-v3.10

00:00:49

passed #446675
manifest-v3.11

00:00:49

passed #446667
manifest-v3.8

00:00:45

passed #446670
manifest-v3.9

00:00:49

 
  Cleanup
passed #446681
cleanup

00:00:41