Skip to content

Workflows#4

Open
rlalik wants to merge 1 commit intoPlutoUser:masterfrom
rlalik:workflows
Open

Workflows#4
rlalik wants to merge 1 commit intoPlutoUser:masterfrom
rlalik:workflows

Conversation

@rlalik
Copy link
Contributor

@rlalik rlalik commented Jun 5, 2023

Add github workflows to test pushes to master and pull request for compilation issues and standards compliance (11,14,17,20).

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.

1 participant