Continuous Integration

feat: shim code for lean4web #2930

Sign in to view logs

Triggered via pull request June 19, 2026 21:05

robsimmons

synchronize #884

versobox-shim

Status Failure

Total duration 7m 27s

Artifacts –

ci.yml

on: pull_request

Annotations

1 error

Build and test

Process completed with exit code 1.