Skip to content

OCaml 4.08 compatibility #373

OCaml 4.08 compatibility

OCaml 4.08 compatibility #373

Triggered via pull request March 19, 2025 14:37
Status Success
Total duration 22m 37s
Artifacts 6

test-matrix.yml

on: pull_request
Matrix: build
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
event.json
2.97 KB
sha256:21a89a4c8ed36f3589b79fae22f9335364870d8ad9e2069cf597f8d520f496dc
test-results-exec
172 KB
sha256:a8b4ce72171e0369eb1e552be10785575a4547bf3782ff46bfa28f417e345b2b
test-results-other
165 KB
sha256:ccfc669cb7c19e970832bcb2eb166eb9a73700dcf5ab724a6173fddc92315fe8
test-results-prover
181 KB
sha256:101295163a2bc9658c377732a57aa1c094a7460db67dc66124adcdf48ec3fb7c
test-results-sv
167 KB
sha256:cc39c620817e25a97dac4cf3f732eee058e82d0d3406402d5b049feabec2681d
test-results-typecheck
159 KB
sha256:361592b328f032282e4d6651b5b75e7e4548e33f0d020f3d68f3b850ddb20d8a