Build docs artifact with Verific

extract_fa: Fix `xor3`/`xnor3` inversion bug #248

Sign in to view logs

This workflow is awaiting approval from a maintainer in #4691

Triggered via pull request October 30, 2024 16:55

hovind

opened #4691

hovind:experiments/extract-fa-fix

Status Action required

Total duration –

Artifacts –

This workflow is awaiting approval from a maintainer in #4691

prepare-docs.yml

on: pull_request

check_docs_rebuild