https://forge.ispras.ru/https://forge.ispras.ru/favicon.ico?16490126692018-07-03T08:18:39ZOpen-Source ProjectsKlever - Feature #8987: Support remote sourceshttps://forge.ispras.ru/issues/8987?journal_id=336842018-07-03T08:18:39ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Target version</strong> changed from <i>2.0</i> to <i>1.1</i></li></ul><p>This issue is not strictly bound with purposes of <a class="version" href="https://forge.ispras.ru/versions/247">2.0</a> that targets verification of C software.</p> Klever - Feature #8987: Support remote sourceshttps://forge.ispras.ru/issues/8987?journal_id=339812018-07-17T19:24:32ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>New</i> to <i>Resolved</i></li></ul><p>Implemented in branch <em>deploy-remote-sources</em>. Because of this functionality also touches local deployment, it will be tested.</p> Klever - Feature #8987: Support remote sourceshttps://forge.ispras.ru/issues/8987?journal_id=339852018-07-18T08:42:19ZEvgeny Novikovnovikov@ispras.ru
<ul><li><strong>Status</strong> changed from <i>Resolved</i> to <i>Closed</i></li></ul><p>After fixing several times issues detected by CI and tests passing, I merged the branch to master in <a class="changeset" title="Clone only remote Git repositories" href="https://forge.ispras.ru/projects/klever/repository/331/revisions/f223fa7be9fe69e99e1b879b4fe1d2fc38d80f26">f223fa7b</a>. From now everybody can provide Klever addons and software to be verified by means of URLs.</p>