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

Set up GitHub Actions CI on this repository #387

Merged
merged 2 commits into from
Aug 29, 2022
Merged

Set up GitHub Actions CI on this repository #387

merged 2 commits into from
Aug 29, 2022

Conversation

DilumAluthge
Copy link
Member

No description provided.

@DilumAluthge DilumAluthge added the ci continuous integration label Aug 27, 2022
@DilumAluthge DilumAluthge force-pushed the dpa/set-up-github-actions-ci branch from 31ac848 to f76781d Compare August 27, 2022 10:32
@DilumAluthge
Copy link
Member Author

DilumAluthge commented Aug 27, 2022 •
edited
Loading

The CI failure on Julia 1.7.2 when force_use_of_manifest is set to true is cashes by #389 and will be fixed by re-resolving the manifest (#388).

@DilumAluthge DilumAluthge marked this pull request as ready for review August 27, 2022 10:41
@DilumAluthge DilumAluthge requested a review from nkottary August 27, 2022 10:41
@DilumAluthge DilumAluthge force-pushed the dpa/set-up-github-actions-ci branch 2 times, most recently from 437edf3 to f173e67 Compare August 27, 2022 10:51
This was referenced Aug 27, 2022
Merged
Closed
@DilumAluthge DilumAluthge force-pushed the dpa/set-up-github-actions-ci branch 2 times, most recently from aaf1288 to 59959a4 Compare August 27, 2022 11:30
@DilumAluthge DilumAluthge marked this pull request as draft August 27, 2022 12:02
@DilumAluthge DilumAluthge force-pushed the dpa/set-up-github-actions-ci branch from 59959a4 to 0dc9472 Compare August 27, 2022 12:27
@DilumAluthge DilumAluthge marked this pull request as ready for review August 27, 2022 12:32
@nkottary nkottary merged commit 9667f59 into master Aug 29, 2022
@nkottary nkottary deleted the dpa/set-up-github-actions-ci branch August 29, 2022 12:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@nkottary nkottary Awaiting requested review from nkottary

Assignees
No one assigned
Labels
ci continuous integration
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@DilumAluthge @nkottary