Skip to content

Bi-abduction working #860

Bi-abduction working

Bi-abduction working #860

Triggered via pull request August 28, 2023 18:32
Status Success
Total duration 59m 16s
Artifacts 3

ci.yml

on: pull_request
Matrix: build
deploy-docs
0s
deploy-docs
Matrix: collections-c
Matrix: gillian_c_tests
Matrix: gillian_js_tests
Matrix: test262
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
build-docker
Unexpected input(s) 'engine', valid inputs are ['add-hosts', 'allow', 'attests', 'build-args', 'build-contexts', 'builder', 'cache-from', 'cache-to', 'cgroup-parent', 'context', 'file', 'labels', 'load', 'network', 'no-cache', 'no-cache-filters', 'outputs', 'platforms', 'provenance', 'pull', 'push', 'sbom', 'secrets', 'secret-files', 'shm-size', 'ssh', 'tags', 'target', 'ulimit', 'github-token']
build-docker
Unexpected input(s) 'engine', valid inputs are ['add-hosts', 'allow', 'attests', 'build-args', 'build-contexts', 'builder', 'cache-from', 'cache-to', 'cgroup-parent', 'context', 'file', 'labels', 'load', 'network', 'no-cache', 'no-cache-filters', 'outputs', 'platforms', 'provenance', 'pull', 'push', 'sbom', 'secrets', 'secret-files', 'shm-size', 'ssh', 'tags', 'target', 'ulimit', 'github-token']

Artifacts

Produced during runtime
Name Size
Linux-docs Expired
12.5 MB
Linux-release Expired
107 MB
macOS-release Expired
88.9 MB