mirror of
https://github.com/SHOGGOTH-SECTOR/sica-fondt.git
synced 2026-07-31 16:16:26 +00:00
ca0260692e
Those mains were removed in the border-only Ada cleanup; the loop skipped them with a warning. List only the three tests that exist (trust/config/engine). Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_015hmgREHNsxYCuim33yUF2c
70 lines
1.9 KiB
YAML
70 lines
1.9 KiB
YAML
name: Ada CI
|
|
|
|
# Scheduled only — does NOT run on push or PR. Runs nightly and can be
|
|
# triggered by hand from the Actions tab.
|
|
on:
|
|
schedule:
|
|
- cron: "0 6 * * *" # 06:00 UTC daily
|
|
workflow_dispatch:
|
|
|
|
permissions:
|
|
contents: read
|
|
|
|
jobs:
|
|
build-and-test:
|
|
name: alr build + run tests
|
|
runs-on: ubuntu-latest
|
|
defaults:
|
|
run:
|
|
working-directory: mafiabot_core
|
|
steps:
|
|
- uses: actions/checkout@v4
|
|
|
|
- name: Set up Alire + GNAT/GPRbuild toolchain
|
|
uses: alire-project/setup-alire@v4
|
|
with:
|
|
toolchain: gnat_native^14 gprbuild
|
|
|
|
- name: Build (Ada2022 + SPARK + Jorvik)
|
|
run: alr --non-interactive build
|
|
|
|
- name: Run test executables
|
|
run: |
|
|
set -euo pipefail
|
|
fail=0
|
|
for t in trust_tests config_tests engine_tests; do
|
|
if [ -x "bin/$t" ]; then
|
|
echo "=== $t ==="
|
|
if ! "bin/$t"; then
|
|
echo "::error::$t exited non-zero"
|
|
fail=1
|
|
fi
|
|
else
|
|
echo "::warning::bin/$t not found (skipped)"
|
|
fi
|
|
done
|
|
exit $fail
|
|
|
|
prove:
|
|
name: gnatprove (informational)
|
|
runs-on: ubuntu-latest
|
|
# Proofs are not yet expected to fully discharge; surface results without
|
|
# blocking. Flip continue-on-error to false once the proof base is green.
|
|
continue-on-error: true
|
|
defaults:
|
|
run:
|
|
working-directory: mafiabot_core
|
|
steps:
|
|
- uses: actions/checkout@v4
|
|
|
|
- name: Set up Alire
|
|
uses: alire-project/setup-alire@v4
|
|
with:
|
|
toolchain: gnat_native^14 gprbuild
|
|
|
|
- name: Install gnatprove
|
|
run: alr --non-interactive toolchain --select gnatprove || alr --non-interactive with gnatprove || true
|
|
|
|
- name: Run gnatprove
|
|
run: alr --non-interactive exec -- gnatprove -P mafiabot_core.gpr --level=1 --report=fail || true
|