Commit Graph

2 Commits (1fa4cb4eb45ecb6038b8b6232330cda2512c035d)

Author SHA1 Message Date
nirenjan d77342ced9 Skip CI jobs if corresponding tag is in HEAD commit 2020-08-07 23:16:23 -07:00
nirenjan 1119fe3373 Add CI using Github Actions
This commit adds workflows to handle the continuous integration builds
as well as the CodeQL analysis on each push. This also adds a workflow
to create a release and upload the orig.tar.gz file when pushing a tag.
2020-08-07 23:01:24 -07:00