Repository navigation
chore(ci): remove dead Codecov upload steps + lock pins #17
Workflow file for this run
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # 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@3d3c42e5aac5ba805825da76410c181273ba90b1 # v7.0.1 | ||
| - name: Setup Rust toolchain | ||
| uses: dtolnay/rust-toolchain@02cb101ec7c40f2c49e1d9714d64511d8e1b74de # master | ||
| with: | ||
| toolchain: master | ||
| with: | ||
| toolchain: stable | ||
| - name: Cache Cargo | ||
| uses: Swatinem/rust-cache@6323deb102c322ba6fcbdcafc7e3dddab59af2b6 # v2.9.2 | ||
| - name: Install just | ||
| uses: taiki-e/install-action@26e9283f268b880168bdbd2c545dfcd60ec2c6ab # v2.87.13 | ||
| 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 | ||
