tact-lang / tact

Tact compiler main repository
https://tact-lang.org
MIT License
267 stars 53 forks source link

check hypothesis why CI might fail on windows #419

Open anton-trunov opened 4 days ago

anton-trunov commented 4 days ago

Closes #318

novusnota commented 4 days ago

By default CI on Windows is being run in pwsh, not powershell, which may be the cause of the issue. Previously the default was cmd, so we may try to explicitly set:

defaults:
  run:
    shell: cmd

https://docs.github.com/en/actions/using-workflows/workflow-syntax-for-github-actions#jobsjob_iddefaultsrunshell

P.S.: It seems no one on the team has a Windows machine anymore :)