Skip to content

Commit

Permalink
prepare alire release
Browse files Browse the repository at this point in the history
  • Loading branch information
AldanTanneo committed Jan 30, 2025
1 parent 851ef20 commit 3eb781f
Showing 1 changed file with 1 addition and 14 deletions.
15 changes: 1 addition & 14 deletions alire.toml
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ authors = ["Cesar SAGAERT"]
maintainers = ["Cesar SAGAERT <[email protected]>"]
maintainers-logins = ["AldanTanneo"]
licenses = "MIT"
website = ""
website = "https://github.com/AldanTanneo/bigints"
tags = []

[build-switches]
Expand All @@ -16,16 +16,3 @@ release.runtime_checks = "none"

[[depends-on]]
gnatprove = "^14.1"

[[actions]]
type = "test"
command = ["alr", "build"]

[[actions]]
type = "test"
command = ["alr", "gnatprove", "--warnings=error"]

[[actions]]
type = "test"
command = ["./run.sh"]
directory = "tests"

0 comments on commit 3eb781f

Please sign in to comment.