typell/.github/workflows/e2e.yml at main · hyperpolymath/typell · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
# SPDX-License-Identifier: MPL-2.0
# Copyright (c) 2026 Jonathan D.A. Jewell (hyperpolymath) <j.d.a.jewell@open.ac.uk>
#
# TypeLL — E2E + Aspect + Bench
#
# Tests the full type-check→compile→run pipeline, integration tests,
# VCL bridge, and safety aspects.

name: E2E + Aspect + Bench

on:
  push:
    branches: [main, master, develop]
    paths:
      - 'crates/**'
      - 'tests/**'
      - 'src/**'
      - 'Cargo.toml'
      - '.github/workflows/e2e.yml'
  pull_request:
    branches: [main, master]
  workflow_dispatch:

permissions: read-all

concurrency:
  group: e2e-${{ github.ref }}
  cancel-in-progress: true

jobs:
  e2e:
    name: E2E — Full Pipeline + Integration
    runs-on: ubuntu-latest
    timeout-minutes: 20

    steps:
      - name: Checkout
        uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5  # v4

      - name: Install Rust toolchain
        uses: dtolnay/rust-toolchain@4be9e76fd7c4901c61fb841f559994984270fce7  # stable

      - name: Rust cache
        uses: Swatinem/rust-cache@779680da715d629ac1d338a641029a2f4372abb5  # v2

      - name: Build workspace
        run: cargo build --workspace

      - name: Run all tests (unit + integration)
        run: cargo test --workspace

      - name: Run integration tests specifically
        run: cargo test --test integration_test -- --nocapture

      - name: Run VCL bridge tests
        run: cargo test -p typell-vcl --test vcl_bridge_tests -- --nocapture 2>/dev/null || echo "VCL bridge tests skipped"

  aspect-safety:
    name: Aspect — Safety Invariants
    runs-on: ubuntu-latest
    timeout-minutes: 10

    steps:
      - name: Checkout
        uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5  # v4

      - name: No dangerous patterns
        run: |
          DANGEROUS=$(grep -rn 'believe_me\|assert_total\|sorry\|Admitted\|unsafeCoerce' crates/ src/ 2>/dev/null | grep -v test || true)
          if [ -n "$DANGEROUS" ]; then
            echo "FAIL: Dangerous patterns found"
            echo "$DANGEROUS"
            exit 1
          fi
          echo "PASS: No dangerous patterns"

      - name: SPDX headers
        run: |
          MISSING=0
          for f in $(find crates/ -name "*.rs" | head -30); do
            if ! head -3 "$f" | grep -q "SPDX\|Copyright"; then
              MISSING=$((MISSING + 1))
            fi
          done
          if [ "$MISSING" -gt 5 ]; then
            echo "WARN: $MISSING of 30 sampled files missing SPDX"
          fi
          echo "SPDX check: $MISSING missing (of 30 sampled)"

  benchmarks:
    name: Bench — Type System Performance
    runs-on: ubuntu-latest
    timeout-minutes: 15

    steps:
      - name: Checkout
        uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5  # v4

      - name: Install Rust toolchain
        uses: dtolnay/rust-toolchain@4be9e76fd7c4901c61fb841f559994984270fce7  # stable

      - name: Rust cache
        uses: Swatinem/rust-cache@779680da715d629ac1d338a641029a2f4372abb5  # v2

      - name: Run benchmarks
        run: cargo bench --workspace 2>&1 | tee /tmp/bench-results.txt || echo "No benchmarks configured"

      - name: Upload benchmark results
        if: always()
        uses: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02  # v4
        with:
          name: benchmark-results
          path: /tmp/bench-results.txt
          retention-days: 30