Skip to main content

Browse the archive

Revision 7078f81dd00646b0236463cf81e2ad1bfb08a008 authored by lenamartens on 22 September 2022, 14:23:54 UTC, committed by lenamartens on 23 September 2022, 13:33:06 UTC 
Checkify: misc improvements.
 
- err.throw == check_error(err) -> meaning they have the same behavior
  under checkify now
- "divided by zero" -> "division by zero"
- add validation that check_error only takes args of type Error
1 parent 640e15f
Raw File
.bazelversion 
5.1.1
back to top