Changes

#7 (Dec 5, 2023, 11:31:48 AM)

1. fixup: do not run valgrind on ubuntu CI — 6740307+streeve / githubweb

#5 (Dec 5, 2023, 10:51:53 AM)

1. Use ubuntu for intel CI — 6740307+streeve / githubweb