ATOMiK CI/CD

AX7020 hardware proofs (parallel-bank, 1080p30, live Workloads) + v0.40-A UI and full claims propagation #394

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
SDK Validation	45s
Python Lint & Tests	45s
Verilog Simulation	52s
v3 RTL Lint	-1s
v3 RISC-V Compliance	-10s
FPGA Hardware Validation	-1s
Synthesis & RTL Lint	-1s
Lean4 Proof Verification	-1s
Deploy Documentation	-1s
Benchmark Suite	-1s
	2m 6s