Integrate all#3

Closed

Garcia6l20 wants to merge 3 commits intoandreasbuhr:integrate_allfrom

Garcia6l20:integrate_all

Commits on Oct 12, 2020

fix: clang requires initial/final_suspend noexcept
Garcia6l20
committed
update github workflow
Sylvain Garcia
committed
add github check for PR
Sylvain Garcia
committed