You cannot select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

Sayan 8270a5543b Don't build docker image on PR ... There's no point of building docker images when a PR is created, since we rely on the compiler and not docker		4 years ago
..
ISSUE_TEMPLATE	Update templates to use new labels	4 years ago
workflows	Don't build docker image on PR	4 years ago
FUNDING.yml	Add funding link	4 years ago
dependabot.yml	Create Dependabot config file (#27)	4 years ago
labeler.yml	Update version and labels	4 years ago