Skip to content

docs: update add-verified-component skill for Pulse/ghost-spec approach

ef2e14e
Select commit
Loading
Failed to load commit list.
Draft

Experiment with F* formally verified components generated via Claude #3236

docs: update add-verified-component skill for Pulse/ghost-spec approach
ef2e14e
Select commit
Loading
Failed to load commit list.
Red Hat Konflux / Red Hat Konflux / collector-on-push failed Apr 17, 2026 in 46m 36s

Failed

Red Hat Konflux/collector-on-push has failed.

Details


Task Statuses:

StatusDurationName
🟢 Succeeded 8 minutes

clone-repository

🟢 Succeeded 4 seconds

init

🟢 Succeeded 18 seconds

post-metric-start

🟢 Succeeded 1 minute

determine-image-expiration

🟢 Succeeded 1 minute

determine-image-tag

🟢 Succeeded 13 minutes

prefetch-dependencies

🔴 Failed 23 minutes

build-images

🔴 Failed 24 minutes

build-images

🔴 Failed 14 minutes

build-images

🔴 Failed 19 minutes

build-images

🟢 Succeeded 12 seconds

post-metric-end

🟢 Succeeded 6 seconds

slack-notification


Failure snippet:

task build-images has the status "Failed":
subprocess exited with status 1
subprocess exited with status 1
Error: building at STEP "RUN . /cachi2/cachi2.env &&     if [[ "$(uname -m)" == "x86_64" ]];           then DISABLE_PROFILING="OFF";           else DISABLE_PROFILING="ON";        fi ;     cmake -S "${SRC_ROOT_DIR}" -B "${CMAKE_BUILD_DIR}"            -DCMAKE_BUILD_TYPE="${CMAKE_BUILD_TYPE}"            -DDISABLE_PROFILING="${DISABLE_PROFILING}"            -DUSE_VALGRIND="${USE_VALGRIND}"            -DADDRESS_SANITIZER="${ADDRESS_SANITIZER}"            -DCOLLECTOR_VERSION="${COLLECTOR_TAG}"            -DTRACE_SINSP_EVENTS="${TRACE_SINSP_EVENTS}"": exit status 1