4 commits

Author	SHA1	Message	Date
&Olga	aef5a102dd	github: Update GitHub Actions "make" script ... Update to the latest supported GitHub API: * Update from v2 to v3 of actions/checkout. * Update from ::set-output to $GITHUB_OUTPUT.	2023-04-02 14:19:09 -04:00
NickZ	50e97bcd2c	Add Continuous Integration (#671) ... Uses Github Actions to run make and upload the build artifacts	2020-02-28 11:57:27 -08:00
Nicholas Zatkovich	5023c681ec	Remove labeler ... It doesn't actually work.	2020-02-27 12:46:52 -08:00
NickZ	3476f01f64	Add Github Action: PR labeler (#669) ... Adds automatic labeling to pull requests	2020-02-27 12:37:48 -08:00