Also put results about `N` in a module. (!465) · Merge requests · Iris / stdpp

Merged Robbert Krebbers requested to merge robbert/n_module into master 2 years ago

Status	Pipeline	Stages
Passed 00:05:36 2 years ago	Also put results about `N` in a module. #81613 465 4bb9c971	Stage: build	Download artifacts No artifacts found
Passed 00:04:16 2 years ago	Also put results about `N` in a module. #81084 465 b3d3d9c2	Stage: build	Download artifacts No artifacts found
Canceled 00:01:29 2 years ago	Also put results about `N` in a module. #81083 465 d9a06cf2	Stage: build	Download artifacts No artifacts found

Also put results about `N` in a module.