Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update workflow steps #8

Merged
merged 5 commits into from
Dec 7, 2023
Merged

Update workflow steps #8

merged 5 commits into from
Dec 7, 2023

Conversation

arjenderijke
Copy link

Update the actions in the workflows to the latest versions. This fixes #7

@arjenderijke arjenderijke requested a review from sstalin December 7, 2023 10:28
@arjenderijke arjenderijke self-assigned this Dec 7, 2023
@arjenderijke arjenderijke added the bug Something isn't working label Dec 7, 2023
@arjenderijke arjenderijke added this to the Version 1.1 milestone Dec 7, 2023
@sstalin
Copy link

sstalin commented Dec 7, 2023

looks good

@sstalin sstalin merged commit c1d2fe6 into MonetDB:master Dec 7, 2023
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
bug Something isn't working
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Update the github workflow actions
2 participants