Skip to content

Move CI to github action#25

Open
d367wang wants to merge 18 commits intomasterfrom
github-action
Open

Move CI to github action#25
d367wang wants to merge 18 commits intomasterfrom
github-action

Conversation

@d367wang
Copy link
Copy Markdown
Contributor

No description provided.

d367wang and others added 15 commits June 11, 2021 08:53
commit 5dbf48d
Author: d367wang <d367wang@uwaterloo.ca>
Date:   Fri Jun 11 08:45:01 2021 -0400

    fix compile error; move CI to github action

commit af77849
Author: Werner Dietl <wdietl@gmail.com>
Date:   Thu Jun 10 15:03:22 2021 -0400

    Remove spurious colon.

commit 5ec9051
Author: d367wang <d367wang@uwaterloo.ca>
Date:   Wed Jun 9 22:29:16 2021 -0400

    global reformat
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants