Eleftheria Stein 3ba76d0375 Add manual trigger to CI workflow ...

Closes gh-1777

2021-01-19 17:41:19 +01:00

..

continuous-integration-workflow.yml

Add manual trigger to CI workflow

2021-01-19 17:41:19 +01:00

pr-build-workflow.yml

Remove placeholder comment from pipeline file

2020-08-04 05:18:40 -04:00