GitLab

Ir validation

See merge request !23

# Conflicts:
#   src/ast/src/inst.rs
#   src/ast/src/ir.rs
#   src/ast/src/op.rs
#   src/ast/src/types.rs
#   src/vm/api/api_impl/muirbuilder.rs

This reverts commit a72984a8

use shell executor for CI

See merge request !22