Skip to content

Merge #7444

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

Open
wants to merge 61 commits into
base: master
Choose a base branch
from
Open

Merge #7444

wants to merge 61 commits into from

Conversation

nodoubtz
Copy link

This pull request introduces a development container configuration and a GitHub Actions workflow for building Ada projects using the GNAT toolchain. These changes aim to streamline development and CI/CD processes.

Development Environment Setup:

Continuous Integration Workflow:

  • .github/workflows/ada.yml: Created a new GitHub Actions workflow named "Ada (GNAT)" to build Ada projects. This includes setting up the GNAT toolchain on ubuntu-latest runners and using gprbuild for project compilation.This pull request introduces a development container configuration and a new GitHub Actions workflow for building Ada projects. The most important changes include adding JSON files for the development container setup and creating a workflow to automate Ada project builds.

Development container setup:

GitHub Actions workflow:

  • .github/workflows/ada.yml: Added a new workflow named "Ada (GNAT)" to automate builds for Ada projects. It runs on ubuntu-latest, installs the GNAT toolchain, and builds Ada projects using gprbuild.

wbnns and others added 30 commits July 28, 2023 09:49
This updates the Base developer access RPC to mainnet.base.org.
Signed-off-by: Nodoubtz <[email protected]>
Signed-off-by: Nodoubtz <[email protected]>
Signed-off-by: Nodoubtz <[email protected]>
Signed-off-by: Nodoubtz <[email protected]>
Co-authored-by: Copilot <[email protected]>
Signed-off-by: Nodoubtz <[email protected]>
Signed-off-by: Nodoubtz <[email protected]>
Signed-off-by: Nodoubtz <[email protected]>
Signed-off-by: Nodoubtz <[email protected]>
Co-authored-by: Copilot <[email protected]>
Signed-off-by: Nodoubtz <[email protected]>
Signed-off-by: Nodoubtz <[email protected]>
Co-authored-by: Copilot <[email protected]>
Signed-off-by: Nodoubtz <[email protected]>
Signed-off-by: Nodoubtz <[email protected]>
Signed-off-by: Nodoubtz <[email protected]>
Co-authored-by: Copilot <[email protected]>
Signed-off-by: Nodoubtz <[email protected]>
Signed-off-by: Nodoubtz <[email protected]>
Signed-off-by: Nodoubtz <[email protected]>
nodoubtz and others added 27 commits May 26, 2025 21:33
Signed-off-by: Nodoubtz <[email protected]>
Signed-off-by: Nodoubtz <[email protected]>
Signed-off-by: Nodoubtz <[email protected]>
Signed-off-by: Nodoubtz <[email protected]>
Signed-off-by: Nodoubtz <[email protected]>
Co-authored-by: Copilot <[email protected]>
Signed-off-by: Nodoubtz <[email protected]>
Signed-off-by: Nodoubtz <[email protected]>
Co-authored-by: Copilot <[email protected]>
Signed-off-by: Nodoubtz <[email protected]>
Signed-off-by: Nodoubtz <[email protected]>
Signed-off-by: Nodoubtz <[email protected]>
Signed-off-by: Nodoubtz <[email protected]>
Copy link

You successfully submitted a PR! Due to the amount of PRs coming in: we will only look at PRs that the CI is happy with. We can also not hold your hand getting the CI green - just look how others that where merged did it and RTFM. So as long as there is any CI check that reports an error - no human will look at this. You might be able to ask for some support after supporting the project - e.g. by sending funds to lists.eth. When you fixed things after a requested change - then you also need to (re-)request a review.

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.

3 participants