random collection of lemmas (!131) · Merge requests · Iris / stdpp

Merged Michael Sammler requested to merge ci/msammler/list into master 5 years ago

Status	Pipeline	Stages	Actions
Passed 00:10:54 5 years ago	random collection of lemmas #25874 ci/msammler/list ef163e26 branch	Stage: build	Download artifacts No artifacts found
Passed 00:10:08 5 years ago	random collection of lemmas #25872 ci/msammler/list f88a726c branch	Stage: build	Download artifacts No artifacts found
Passed 00:11:18 5 years ago	random collection of lemmas #25859 ci/msammler/list 4d406f33 branch	Stage: build	Download artifacts No artifacts found
Passed 00:11:01 5 years ago	Apply suggestion to theories/list.v #25857 ci/msammler/list d54ab46b branch	Stage: build	Download artifacts No artifacts found
Failed 00:07:31 5 years ago	Apply suggestion to theories/list.v #25856 ci/msammler/list afc0461c branch	Stage: build	Download artifacts No artifacts found
0
Failed 00:05:49 5 years ago	Apply suggestion to theories/list.v #25855 ci/msammler/list 8422b9cf branch	Stage: build	Download artifacts No artifacts found
0
Failed 00:07:12 5 years ago	random collection of lemmas #25854 ci/msammler/list ed58fd11 branch	Stage: build	Download artifacts No artifacts found
0
Passed 00:10:19 5 years ago	random collection of lemmas #25591 ci/msammler/list eb6bc2d6 branch	Stage: build	Download artifacts No artifacts found

random collection of lemmas