Skip to content
Snippets Groups Projects

numbers.v: Don't Qed Decision instances

Merged numbers.v: Don't Qed Decision instances
Blaisorblade/stdpp:paolo/qed-decision into master
Merged Paolo G. Giarrusso requested to merge Blaisorblade/stdpp:paolo/qed-decision into master
Status
Pipeline
Created by
Stages
Actions
Passed

00:02:53

new line
#106723
572
ffb2184e
Robbert Krebbers
merge request
avatar
Stage: build

    No artifacts found

    Passed

    00:08:43

    avatar
    Stage: build

      No artifacts found