Skip to content

Commit a46f12d

Browse files
NlightNFotisNlightNFotis
authored
Merge pull request #5535 from NlightNFotis/drop_package_build_scripts
Remove deprecated windows package building scripts.
2 parents 9ac232b + 75ce37f commit a46f12d

File tree

6 files changed

+0
-595
lines changed

6 files changed

+0
-595
lines changed

‎.github/workflows/packages.yaml

Lines changed: 0 additions & 197 deletions
This file was deleted.

‎.github/workflows/vs2019/build-installer.bat

Lines changed: 0 additions & 24 deletions
This file was deleted.

‎.github/workflows/vs2019/cbmc-latest.wxs

Lines changed: 0 additions & 53 deletions
This file was deleted.

‎.github/workflows/vs2019/cbmc.wxs

Lines changed: 0 additions & 53 deletions
This file was deleted.

0 commit comments

Comments
 (0)