Skip to content

Fix problems in checking that a constructor is uninhabited for exhaustive match checking #1444

Fix problems in checking that a constructor is uninhabited for exhaustive match checking

Fix problems in checking that a constructor is uninhabited for exhaustive match checking #1444

Triggered via pull request June 22, 2025 19:48
Status Success
Total duration 5m 54s
Artifacts

test-launchers.yml

on: pull_request
Deploy and Test on Linux x64 architecture
5m 48s
Deploy and Test on Linux x64 architecture
Deploy and Test on Linux ARM64 architecture
4m 4s
Deploy and Test on Linux ARM64 architecture
Deploy and Test on Mac x64 architecture
5m 49s
Deploy and Test on Mac x64 architecture
Deploy and Test on Mac ARM64 architecture
3m 16s
Deploy and Test on Mac ARM64 architecture
Deploy and Test on Windows x64 architecture
4m 55s
Deploy and Test on Windows x64 architecture
Fit to window
Zoom out
Zoom in