Add script to text-extract all contracts #279
tautschnig
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
verifast.yml
on: pull_request
Verify std library
25s
Notify @btj