Skip to content

ci: fix CI failures#9

Merged
ematipico merged 8 commits intomainfrom
ci/make-it-work
Aug 17, 2023
Merged

ci: fix CI failures#9
ematipico merged 8 commits intomainfrom
ci/make-it-work

Conversation

@ematipico
Copy link
Member

Summary

PR to fix the failures in the CI (some of them at least)

Test Plan

Make the CI green

@ematipico ematipico temporarily deployed to Website deployment August 17, 2023 12:31 — with GitHub Actions Inactive
@ematipico ematipico temporarily deployed to Website deployment August 17, 2023 12:51 — with GitHub Actions Inactive
@ematipico ematipico temporarily deployed to Website deployment August 17, 2023 12:52 — with GitHub Actions Inactive
@ematipico ematipico temporarily deployed to Website deployment August 17, 2023 13:05 — with GitHub Actions Inactive
@ematipico ematipico temporarily deployed to Website deployment August 17, 2023 13:26 — with GitHub Actions Inactive
@ematipico ematipico temporarily deployed to Website deployment August 17, 2023 13:32 — with GitHub Actions Inactive
@ematipico ematipico temporarily deployed to Website deployment August 17, 2023 15:33 — with GitHub Actions Inactive
@ematipico ematipico merged commit 54e85a2 into main Aug 17, 2023
@ematipico ematipico deleted the ci/make-it-work branch August 17, 2023 15:35
dyc3 added a commit that referenced this pull request Mar 22, 2026
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