search

viperproject / viper-ide

This is the main repository for the Viper IDE extension for VS Code.
Mozilla Public License 2.0
10 stars 11 forks source link

Updated Polybox link to .jar #471

Open 7i6ht opened 3 weeks ago

7i6ht commented 3 weeks ago

Update polybox link to point to new .jar for testing whether the pipline fails.

7i6ht commented 3 weeks ago

@Dspil

ArquintL commented 12 hours ago

@7i6ht In case this is still relevant, you'd need to set the flag TEST_LOCAL_ON_PUSH_PR to true, otherwise the provided URL is simply ignored