Explicit vdash
There are currently no pipelines.
To run a merge request pipeline, the jobs in the CI/CD configuration file must be configured to run in merge request pipelines and you must have sufficient permissions in the source project.
This came as a result of the discussion in #270 (closed). It does a few things (unfortunately).
|- P
and |-@{PROP} P
that ensures that P
is parsed in I
scope and acts like bi_emp_valid
and sbi_emp_valid
.bi_emp_valid
and sbi_emp_valid
type_scope
since that scope is already set up appropriately.-*
at type_scope
a parsing only notation.People can decide what portions of this are good for merging.
To run a merge request pipeline, the jobs in the CI/CD configuration file must be configured to run in merge request pipelines and you must have sufficient permissions in the source project.