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

DEV: Update GH actions and Dockerfile for Gitpod #22452

Merged
merged 4 commits into from Oct 19, 2022
Merged

DEV: Update GH actions and Dockerfile for Gitpod #22452

merged 4 commits into from Oct 19, 2022

Conversation

trallard
Copy link
Contributor

This PR adds the following

Checks done:

  • Docker containers build locally
  • GH actions for Docker images work locally (using act)

I did not run the build wheels action locally - so not skipping ci this time as I modified the workflow file

@charris charris added the 36 - Build Build related PR label Oct 19, 2022
@charris
Copy link
Member

charris commented Oct 19, 2022

close/reopen

@charris charris closed this Oct 19, 2022
@charris charris reopened this Oct 19, 2022
@charris charris added the 09 - Backport-Candidate PRs tagged should be backported label Oct 19, 2022
@charris charris merged commit 527c6e1 into numpy:main Oct 19, 2022
@charris
Copy link
Member

charris commented Oct 19, 2022

Thanks Tania.

charris pushed a commit to charris/numpy that referenced this pull request Nov 15, 2022
@trallard @charris
DEV: Update GH actions and Dockerfile for Gitpod (numpy#22452)
70cdbe5 
* DEV: Update key for gh CLI

* ENH - Remove deprecated syntax

* DEV - Replace deprecated syntax

* DEV - Rename job
@charris charris mentioned this pull request Nov 15, 2022
Merged
@charris charris removed the 09 - Backport-Candidate PRs tagged should be backported label Nov 15, 2022
charris added a commit that referenced this pull request Nov 15, 2022
@charris
Merge pull request #22595 from charris/backport-22452
38fe21f 
DEV: Update GH actions and Dockerfile for Gitpod (#22452)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
16 - Development 36 - Build Build related PR
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@trallard @charris