Add map_agree (!392) · Merge requests · Iris / stdpp · GitLab

Snippets Groups Projects

Merged Michael Sammler requested to merge ci/msammler/map_agree into master 2 years ago

Status	Pipeline	Created by	Stages
Passed 00:06:29 2 years ago	Add CHANGELOG #70011 392 05281d98		Stage: build	Download artifacts No artifacts found
Canceled 2 years ago	Apply 1 suggestion(s) to 1 file(s) #70009 392 1f32b9d3		Stage: build	Download artifacts No artifacts found
Canceled 2 years ago	Add CHANGELOG #70007 392 a0500b1e		Stage: build	Download artifacts No artifacts found
Canceled 2 years ago	Add CHANGELOG #70005 392 a6375f0b		Stage: build	Download artifacts No artifacts found
Canceled 00:01:35 2 years ago	Tweak some proofs. #70003 392 cf3242c0		Stage: build	Download artifacts No artifacts found
Passed 00:07:16 2 years ago	Tweak some proofs. #69981 392 f9803c7c		Stage: build	Download artifacts No artifacts found
Passed 00:06:18 2 years ago	Add map_agree #69706 392 4180be53		Stage: build	Download artifacts No artifacts found
Canceled 2 years ago	Add map_agree #69704 392 8b4c7184		Stage: build	Download artifacts No artifacts found
Canceled 2 years ago	Add map_agree #69701 392 fd97f033		Stage: build	Download artifacts No artifacts found
Passed 00:06:07 2 years ago	Add map_agree #69619 392 746faf78		Stage: build	Download artifacts No artifacts found
Passed 00:09:20 2 years ago	Add CHANGELOG #70010 ci/msammler/map_agree 05281d98		Stage: build	Download artifacts No artifacts found
Passed 00:06:29 2 years ago	Apply 1 suggestion(s) to 1 file(s) #70008 ci/msammler/map_agree 1f32b9d3		Stage: build	Download artifacts No artifacts found
Canceled 00:00:49 2 years ago	Add CHANGELOG #70006 ci/msammler/map_agree a0500b1e		Stage: build	Download artifacts No artifacts found
Canceled 2 years ago	Add CHANGELOG #70004 ci/msammler/map_agree a6375f0b		Stage: build	Download artifacts No artifacts found
Passed 00:06:48 2 years ago	Tweak some proofs. #70002 ci/msammler/map_agree cf3242c0		Stage: build	Download artifacts No artifacts found