4 Commits

Author	SHA1	Message	Date
Jose Diaz-Gonzalez	26e270a49f	docs: reference official gitlab-ci integration ... Closes #4217	2020-12-30 04:28:45 -05:00
Jose Diaz-Gonzalez	660ccf876e	docs: add documentation for generic ci systems	2020-12-30 03:38:47 -05:00
Jose Diaz-Gonzalez	69dd81860f	docs: add github actions documentation	2020-12-30 03:34:01 -05:00
Jose Diaz-Gonzalez	b1c2c026aa	docs: split out initial ci section of docs	2020-12-30 03:25:22 -05:00