alire-project ada_spark_workflow issues - Githubissues

alire-project / ada_spark_workflow

A demo of best practices for open-source Ada/SPARK development

MIT License

31 stars 5 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Fix typos and change git alias by actual command in README.md

#14 mgrojo closed 4 weeks ago
0
Update main.yml: fix some typos

#13 mgrojo closed 4 weeks ago
0
Update README.md - fix hyphen

#12 bracke closed 2 months ago
1
Aunit ^23.0.0 fails to install via github workflows.

#11 vushu opened 6 months ago
0
Move `gnatprove` dependency to nested crate

#10 mosteo opened 9 months ago
3
Interpretation of SemVer spec

#9 esthermations opened 2 years ago
1
Fix typos

#8 esthermations closed 2 years ago
3
Fix pin relative path

#7 mosteo closed 2 years ago
1
Test

#6 Fabien-Chouteau opened 2 years ago
1
Update README.md

#5 Fabien-Chouteau closed 2 years ago
2
Update README.md

#4 Fabien-Chouteau closed 2 years ago
0
Release workflow

#3 Fabien-Chouteau closed 2 years ago
0
Update main.yml

#2 Fabien-Chouteau closed 2 years ago
0
Add reviewdog in CI

#1 Fabien-Chouteau closed 2 years ago
1