ocaml-devcontainer/.github/workflows/test-rocq-image.yml at main · tarides/ocaml-devcontainer · 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
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
name: Rocq Integration Tests

on:
  push:
    branches: [main]
  pull_request:
    branches: [main]
  workflow_run:
    workflows: ["Build and Push Rocq Image"]
    types: [completed]
  workflow_dispatch:

# Container jobs run as root (required by actions/checkout), so we must
# point opam at the vscode user's opam root and add its bin to PATH.
env:
  OPAMROOT: /home/vscode/.opam

jobs:
  # ============================================================================
  # Test Rocq installation
  # ============================================================================
  test-rocq:
    runs-on: ubuntu-latest

    container:
      image: ghcr.io/${{ github.repository_owner }}/ocaml-devcontainer-rocq:latest
      options: --user root

    steps:
      - name: Checkout
        uses: actions/checkout@v6

      - name: Run Rocq tests
        run: |
          ./test/test-rocq.sh

  # ============================================================================
  # Test OCaml compiler and tools (same switch, should all pass)
  # ============================================================================
  test-ocaml:
    runs-on: ubuntu-latest

    container:
      image: ghcr.io/${{ github.repository_owner }}/ocaml-devcontainer-rocq:latest
      options: --user root

    steps:
      - name: Checkout
        uses: actions/checkout@v6

      - name: Run OCaml tests
        run: |
          ./test/test-ocaml.sh ocaml

  # ============================================================================
  # Test LSP server
  # ============================================================================
  test-lsp:
    runs-on: ubuntu-latest

    container:
      image: ghcr.io/${{ github.repository_owner }}/ocaml-devcontainer-rocq:latest
      options: --user root

    steps:
      - name: Checkout
        uses: actions/checkout@v6

      - name: Run LSP tests
        run: |
          ./test/test-lsp.sh ocaml

  # ============================================================================
  # Test profiling tools
  # ============================================================================
  test-profiling:
    runs-on: ubuntu-latest

    container:
      image: ghcr.io/${{ github.repository_owner }}/ocaml-devcontainer-rocq:latest
      options: --user root

    steps:
      - name: Checkout
        uses: actions/checkout@v6

      - name: Run profiling tests
        run: |
          ./test/test-profiling.sh ocaml

  # ============================================================================
  # Test editor integrations
  # ============================================================================
  test-vscode:
    runs-on: ubuntu-latest

    steps:
      - name: Checkout
        uses: actions/checkout@v6

      - name: Install devcontainer CLI
        run: npm install -g @devcontainers/cli

      - name: Validate .devcontainer-rocq/devcontainer.json
        run: devcontainer read-configuration --workspace-folder . --config .devcontainer-rocq/devcontainer.json

      - name: Validate .devcontainer-rocq-from-scratch/devcontainer.json
        run: devcontainer read-configuration --workspace-folder . --config .devcontainer-rocq-from-scratch/devcontainer.json

      - name: Run VS Code tests
        run: |
          ./test/test-vscode.sh

  test-emacs:
    runs-on: ubuntu-latest

    container:
      image: ghcr.io/${{ github.repository_owner }}/ocaml-devcontainer-rocq:latest
      options: --user root

    steps:
      - name: Checkout
        uses: actions/checkout@v6

      - name: Run Emacs tests
        run: |
          ./test/test-emacs.sh

  test-neovim:
    runs-on: ubuntu-latest

    container:
      image: ghcr.io/${{ github.repository_owner }}/ocaml-devcontainer-rocq:latest
      options: --user root

    steps:
      - name: Checkout
        uses: actions/checkout@v6

      - name: Run Neovim tests
        run: |
          ./test/test-neovim.sh

  test-claude:
    runs-on: ubuntu-latest

    container:
      image: ghcr.io/${{ github.repository_owner }}/ocaml-devcontainer-rocq:latest
      options: --user root

    steps:
      - name: Checkout
        uses: actions/checkout@v6

      - name: Run Claude Code tests
        run: |
          ./test/test-claude.sh

  # ============================================================================
  # Summary job (for required status checks)
  # ============================================================================
  test-summary:
    runs-on: ubuntu-latest
    needs:
      - test-rocq
      - test-ocaml
      - test-lsp
      - test-profiling
      - test-vscode
      - test-emacs
      - test-neovim
      - test-claude
    if: always()

    steps:
      - name: Check test results
        run: |
          if [ "${{ needs.test-rocq.result }}" != "success" ]; then
            echo "test-rocq failed"
            exit 1
          fi
          if [ "${{ needs.test-ocaml.result }}" != "success" ]; then
            echo "test-ocaml failed"
            exit 1
          fi
          if [ "${{ needs.test-lsp.result }}" != "success" ]; then
            echo "test-lsp failed"
            exit 1
          fi
          # Note: Some tests may be expected to have warnings, not failures
          echo "All critical tests passed"