Skip to content
Back to pull request #20961

checker: fix missing check for interface cast of option type #7694

Sign in to view logs

checker: fix missing check for interface cast of option type

checker: fix missing check for interface cast of option type #7694

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-doom (ubuntu-20.04)
1m 23s
build-doom (macos-12)
2m 49s
test-regression
3m 32s
7m 44s