Rocq real libraries (wasm-to-v)

Support the SpaceWasm compilation target (#325) #87

Sign in to view logs

Triggered via pull request September 14, 2026 07:39

0xGeorgii

synchronize #467

325-spacewasm-target

Status Success

Total duration 9m 34s

Artifacts –

rocq-real-library.yml

on: pull_request

Real-library oracle check

Selected-artifact dischargeability check

Stub drift vs public coq-wasm

Stub drift vs private wasm-verifier

Real-library type-check

Selected-artifact discharge

Deployment protection rules

Reviewers, timers, and other rules protecting deployments in this run

Event	Environments	Comment
0xGeorgii approved Sep 14, 2026	real-rocq and real-rocq

Annotations

4 warnings

Selected-artifact dischargeability skipped

The WASM_VERIFIER_DISCHARGER adapter and dedicated WASM_VERIFIER_RUNNER must both be configured, so no selected generated artifact was discharged in this run.

Stub drift vs public coq-wasm

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4.1.3. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Stub drift vs private wasm-verifier

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4.1.3. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/

Real-library type-check

Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4.1.3. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/