Skip to content
CI (Coq, Alpine)

Don't sed wasm files, instead use subfolders to ensure the binary names are correct from the start #765

Sign in to view logs

Don't sed wasm files, instead use subfolders to ensure the binary names are correct from the start

Don't sed wasm files, instead use subfolders to ensure the binary names are correct from the start #765

Triggered via pull request September 20, 2024 04:00
@JasonGrossJasonGross
synchronize #1961
JasonGross:less-sed
Status Success
Total duration 8h 48m 13s
Artifacts 3

coq-alpine.yml

on: pull_request
Matrix: build
Matrix: test-standalone
publish-standalone
16s
publish-standalone
alpine-check-all
0s
alpine-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
ExtractionHaskell-edge
339 MB
ExtractionOCaml-edge
342 MB
standalone-edge
7.6 MB