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.

Sign up for GitHub

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

Jump to bottom

Update GitHub actions CI #4708

Merged
merged 2 commits into from
Dec 13, 2022
Merged

Update GitHub actions CI #4708

merged 2 commits into from
Dec 13, 2022
+222 −255

Conversation

newhoggy
Copy link
Contributor

No description provided.

@newhoggy newhoggy changed the base branch from master to release/1.35 December 11, 2022 23:07
@newhoggy newhoggy force-pushed the newhoggy/update-github-actions-ci branch from 9a08644 to 939e23f Compare December 11, 2022 23:08
@newhoggy newhoggy force-pushed the newhoggy/update-github-actions-ci branch 2 times, most recently from 37b0d96 to aaf8dce Compare December 11, 2022 23:56
@newhoggy newhoggy marked this pull request as ready for review December 13, 2022 00:07
@newhoggy newhoggy merged commit f75ed77 into release/1.35 Dec 13, 2022
@iohk-bors iohk-bors bot deleted the newhoggy/update-github-actions-ci branch December 13, 2022 21:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@erikd erikd erikd approved these changes

@lehins lehins Awaiting requested review from lehins

@disassembler disassembler Awaiting requested review from disassembler

@Jimbo4350 Jimbo4350 Awaiting requested review from Jimbo4350

@LudvikGalois LudvikGalois Awaiting requested review from LudvikGalois

@MarcFontaine MarcFontaine Awaiting requested review from MarcFontaine

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@newhoggy @erikd