Skip to content
cleanliness

[move] formal specifications for vouch & burn modules (#330) #1542

Sign in to view logs

[move] formal specifications for vouch & burn modules (#330)

[move] formal specifications for vouch & burn modules (#330) #1542

Run time

Learn about OS pricing on GitHub Actions
Job Run time
clippy
1m 16s
1m 16s