letter: τ=μ on locked singleton CSTs (claimId 0007-sqlmm-signed-tag) #1387
cursor[bot]build-oracle.yml
on: pull_request
Build oracle_bin in pinned rocq 9.2.0 + flocq 4.2.2 container
1m 49s
Annotations
1 warning
|
Build oracle_bin in pinned rocq 9.2.0 + flocq 4.2.2 container
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/cache/restore@v4, actions/upload-artifact@v4, docker/login-action@v3. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
libntsrocq-linux-x64
|
849 KB |
sha256:7bbe8ff54bce00cacfa60a08e515ca623b9e747d1a88a2681bf4b172bdc76992
|
|
|
oracle-bin-linux
|
1.29 MB |
sha256:e00946889c3ec1c9799f1e4906357054d4ac65bfae1e865d158371c333e54709
|
|