Skip to content
Snippets Groups Projects

Avoid universe bumps of `gset`/`mapset` (fixes #134)

Merged Robbert Krebbers requested to merge robbert/mapset_universe into master
Status
Pipeline
Created by
Stages
Passed

00:04:55

avatar
Download artifacts

No artifacts found

Passed

00:08:41

avatar
Download artifacts

No artifacts found

Canceled

00:06:44

avatar
Download artifacts

No artifacts found

Canceled

00:02:12

avatar
Download artifacts

No artifacts found

Loading