Nicholas Dudfield b9f54b9ddb ci(formal): publish Lean verification artifacts

2026-06-26 10:02:05 +07:00

..

build-in-docker.yml

Use Self hosted runner (#639)

2025-12-16 14:16:36 +10:00

check-genesis-hooks.yml

Merge remote-tracking branch 'origin/dev' into feature-export-rng

2026-04-30 08:14:51 +07:00

clang-format.yml

Replace vendored magic_enum header with Conan package dependency (#727)

2026-04-29 17:00:25 +10:00

formal-verification.yml

ci(formal): publish Lean verification artifacts

2026-06-26 10:02:05 +07:00

guard-checker-build.yml

fix for xahaud codebase

2026-02-20 07:11:14 +09:00

instrumentation.yml

Disable instrumentation-build workflow (#530)

2026-02-20 08:10:01 +09:00

levelization.yml

chore: replace levelization shell script with python

2026-04-24 11:09:19 +10:00

verify-generated-headers.yml

Add hook header ls_flags.h and tx_flags.h (#717)

2026-04-29 16:41:52 +10:00

xahau-ga-macos.yml

Update CMake version to 3.25.3 in macOS workflow

2026-02-20 08:15:17 +09:00

xahau-ga-nix.yml

Add --definitions CLI flag to output static server definitions without starting server (#708)

2026-04-30 12:42:42 +10:00