Skip to content

Add support for nop #4802

Add support for nop

Add support for nop #4802

Triggered via pull request March 6, 2025 21:47
Status Success
Total duration 4h 7m 56s
Artifacts 4

coq-windows.yml

on: pull_request
test-standalone
30s
test-standalone
publish-standalone
15s
publish-standalone
windows-check-all
2s
windows-check-all
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
publish-standalone
Unexpected input(s) 'tags', valid inputs are ['repository', 'ref', 'token', 'ssh-key', 'ssh-known-hosts', 'ssh-strict', 'ssh-user', 'persist-credentials', 'path', 'clean', 'filter', 'sparse-checkout', 'sparse-checkout-cone-mode', 'fetch-depth', 'fetch-tags', 'show-progress', 'lfs', 'submodules', 'set-safe-directory', 'github-server-url']
publish-standalone
Unexpected input(s) 'tags', valid inputs are ['repository', 'ref', 'token', 'ssh-key', 'ssh-known-hosts', 'ssh-strict', 'ssh-user', 'persist-credentials', 'path', 'clean', 'filter', 'sparse-checkout', 'sparse-checkout-cone-mode', 'fetch-depth', 'fetch-tags', 'show-progress', 'lfs', 'submodules', 'set-safe-directory', 'github-server-url']

Artifacts

Produced during runtime
Name Size Digest
ExtractionJsOfOCaml
142 MB
sha256:7fb6914e4e418ad941d8d6a0aa0068d844618e44dca407c8810f0f7fe29fd78c
ExtractionOCaml
309 MB
sha256:389c52165b15ea832156ab1fb4a01254ae72ba12fd2cc7deec5446c806603d59
standalone-html-windows
3.91 MB
sha256:2919fd851e7da78620904245f95ad02df945a378e1569e71b682196492ffb673
standalone-windows
7.19 MB
sha256:c56467e476b6e538debe442f72c3276ad115edb3a74e6eabb10f299d5f6e2038