Home
Ada/SPARK
ada-actions

ada-actions

MITJavaScriptv0.2.0

GitHub Action to set up Ada and SPARK development environments for CI/CD workflows.

GitHub

24 stars6 forks0 contributors

Overview

GitHub action to setup an Ada/SPARK dev environment

Quick Stats

Stars24

Forks6

Contributors0

Open Issues2

Last commit4 years ago

CreatedSince 2019

Included in

Ada/SPARK821

Auto-fetched 1 day ago

Related Projects

continuous-verification

SPARK formal verification automated with Travis CI

Stars8

Forks1

Last commit7 years ago

porion

Continuous integration server and agent that helps automate the building, testing and deployment

Stars0

Forks0

Last commit

Community-curated · Updated weekly · 100% open source

Found a gem we're missing?

Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.

Submit a project Star on GitHub

Home
Ada/SPARK
ada-actions