prover-assets/**
integration/**
bin/**
profiling/**
Dockerfile