Skip to content

Bi-abduction working (#260) #861

Bi-abduction working (#260)

Bi-abduction working (#260) #861

Triggered via push August 29, 2023 11:09
Status Success
Total duration 49m 56s
Artifacts 3

ci.yml

on: push
Matrix: build
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