-
- Downloads
Merge branch 'compare_ignore' into 'dev'
use [@compare.ignore] in compare type expression See merge request !2427
No related branches found
No related tags found
Pipeline #804808352 failed
Stage: pretooling
Stage: build
Stage: docker-extract
Stage: tools-build
Stage: tools-check
Stage: tooling
Stage: push
Showing
- src/bin/expect_tests/contract_tests.ml 43 additions, 422 deletionssrc/bin/expect_tests/contract_tests.ml
- src/bin/expect_tests/ligo_interpreter_tests.ml 12 additions, 11 deletionssrc/bin/expect_tests/ligo_interpreter_tests.ml
- src/bin/expect_tests/view.ml 1 addition, 1 deletionsrc/bin/expect_tests/view.ml
- src/passes/14-spilling/compiler.ml 4 additions, 5 deletionssrc/passes/14-spilling/compiler.ml
- src/stages/5-ast_typed/types.ml 3 additions, 3 deletionssrc/stages/5-ast_typed/types.ml
- src/test/lsp_test/diagnostics.ml 1 addition, 1 deletionsrc/test/lsp_test/diagnostics.ml
Loading
Please register or sign in to comment