Skip to content
This repository was archived by the owner on Jan 5, 2024. It is now read-only.

Develop #5

Merged
merged 5 commits into from
Sep 9, 2022
Merged

Develop #5

merged 5 commits into from
Sep 9, 2022

Conversation

@wpbonelli
Copy link
Member

@wpbonelli wpbonelli commented Sep 9, 2022

No description provided.

wpbonelli and others added 5 commits September 7, 2022 17:58
@wpbonelli
ci: initial implementation
b4ac9e9
@jdhughes-dev
Merge pull request #1 from w-bonelli/develop
0d2c776 
First draft
@wpbonelli
refactor: rename verify -> test, update README (#2)
a8b1c30
@wpbonelli
Develop (#4)
49f83aa 
* refactor: rename verify -> test
* ci: test compile and run hello world
* refactor: don't cache install locations (unnecessary)
* docs: update README
@wpbonelli
Merge branch 'main' into develop
2d5ead7
@wpbonelli wpbonelli merged commit 5ed9ffc into main Sep 9, 2022
@wpbonelli wpbonelli deleted the develop branch December 6, 2022 03:51
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@wpbonelli @jdhughes-dev