Skip to content

Update GitHub Actions#205

Merged
skjerns merged 1 commit intoholgern:masterfrom
DimitriPapadopoulos:GitHub_Actions
Jun 2, 2023
Merged

Update GitHub Actions#205
skjerns merged 1 commit intoholgern:masterfrom
DimitriPapadopoulos:GitHub_Actions

Conversation

@DimitriPapadopoulos
Copy link
Copy Markdown
Contributor

No description provided.

@skjerns
Copy link
Copy Markdown
Collaborator

skjerns commented Jun 2, 2023

could you merge the changes I made in #206 (now in master) and check if the test suit then runs?

Additions seem good.

@skjerns
Copy link
Copy Markdown
Collaborator

skjerns commented Jun 2, 2023

lgtm

@skjerns skjerns merged commit 6c4e5db into holgern:master Jun 2, 2023
@DimitriPapadopoulos DimitriPapadopoulos deleted the GitHub_Actions branch June 2, 2023 16:51
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