S4 Loop Closure #10

	# SPDX-License-Identifier: AGPL-3.0-or-later
	# This workflow is managed by gh actions-lock.
	# S4 loop-closure CI — brings up verisim-api as a service container and
	# runs the echidna s4_loop_closure integration test. Filed once
	# ghcr.io/hyperpolymath/verisimdb-api:latest became available (PR #121).
	# Runs on schedule (Mondays 04:00 UTC) and on demand; not on every PR
	# (the test is a Tier-3 weekly cadence check, not a PR gate).
	name: S4 Loop Closure
	on:
	workflow_dispatch:
	schedule:
	- cron: '0 4 * * 1'
	permissions:
	contents: read
	jobs:
	s4-loop:
	name: S4 Loop Closure
	runs-on: ubuntu-latest
	timeout-minutes: 10
	permissions:
	contents: read
	services:
	verisim:
	image: ghcr.io/hyperpolymath/verisimdb-api:latest
	ports:
	- '8080:8080'
	options: >-
	--health-cmd "curl -sf http://localhost:8080/health"
	--health-interval 10s
	--health-timeout 5s
	--health-retries 12
	env:
	VERISIM_URL: http://localhost:8080
	steps:
	- name: Checkout repository
	uses: actions/checkout@v7.0.1
	- name: Setup Rust toolchain
	uses: dtolnay/rust-toolchain@stable
	with:
	toolchain: stable
	- name: Cache Cargo
	uses: Swatinem/rust-cache@v2.9.1
	- name: Install just
	uses: taiki-e/install-action@v2.85.8
	with:
	tool: just@1.51.0
	- name: Install system dependencies
	run: sudo apt-get install -y libssl-dev pkg-config
	- name: Run S4 loop-closure test
	run: just test-s4-loop

Navigation Menu