Widen skolem types when adding parent refinements #89
test-launchers.yml
on: pull_request
Deploy and Test on Linux x64 architecture
5m 14s
Deploy and Test on Linux ARM64 architecture
4m 59s
Deploy and Test on Mac x64 architecture
7m 34s
Deploy and Test on Mac ARM64 architecture
5m 41s
Deploy and Test on Windows x64 architecture
7m 53s