Skip to content
CI

witness: the fact and the family arrive at once — blindness cannot re… #1216

Sign in to view logs

witness: the fact and the family arrive at once — blindness cannot re…

witness: the fact and the family arrive at once — blindness cannot re… #1216

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Reference integrity
5s
Comment-free Lean (only
5s
Lean (zero sorry, zero warning)
1m 4s
1m 14s