Skip to content

Add from_bytes asm tests (#2043) #4826

Add from_bytes asm tests (#2043)

Add from_bytes asm tests (#2043) #4826

Triggered via push March 11, 2025 02:21
Status Success
Total duration 3h 58m 24s
Artifacts 4

coq-windows.yml

on: push
test-standalone
25s
test-standalone
publish-standalone
14s
publish-standalone
windows-check-all
0s
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
143 MB
sha256:c97a092f155e73f64c23163ec3f5bbc3bc55d7a42c74c08d24e3d1c28013df87
ExtractionOCaml
309 MB
sha256:2164754d0fd1c5151f954cc0f43bf42d370d1c59723c701e798001f30af38c9f
standalone-html-windows
3.91 MB
sha256:5ea1a8a60d8b52328f3b90880c33515c6871ead2fcd1ab2a4276a485548ae731
standalone-windows
7.2 MB
sha256:9f6d148bc17053940008567c8f7aa28481518becdfafe02edef67e8b5c7c3c38