transformers
22d49c28 - [contracts proof] Also run on proof-* branch pushes, selected from their diff

Commit

12 hours ago

[contracts proof] Also run on proof-* branch pushes, selected from their diff Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>

Author

tarekziade

Parents