From 3eb781f188b77782be5be50a489a88ef0e236b2c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?C=C3=A9sar=20Sagaert?= Date: Thu, 30 Jan 2025 12:00:35 +0100 Subject: [PATCH] prepare alire release --- alire.toml | 15 +-------------- 1 file changed, 1 insertion(+), 14 deletions(-) diff --git a/alire.toml b/alire.toml index d6d08d0..dce1cc9 100644 --- a/alire.toml +++ b/alire.toml @@ -6,7 +6,7 @@ authors = ["Cesar SAGAERT"] maintainers = ["Cesar SAGAERT "] maintainers-logins = ["AldanTanneo"] licenses = "MIT" -website = "" +website = "https://github.com/AldanTanneo/bigints" tags = [] [build-switches] @@ -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"