1246 Commits

Author SHA1 Message Date
mergerepo
f41110c1b5 Merge remote branch 'origin/master' into edge
(no-precommit-check no-tn-check)

Change-Id: I65de8a8dc2869b3982b85aaa8a42df5f8a5b72ce
2022-09-26 22:45:28 +00:00
Monika Kurovszky
47d29eb42f V921-009: Update test suite baselines after bump
Impacted tests:
     tools
       * codepeer.py
       * sonar-scanner.py when tested with SonarQube
     switches
       * incremental.py

Change-Id: I54986d3ed2f3f9ce90c6a381e1986fddc0db02b2
2022-09-21 18:52:51 +02:00
Boris Yakobowski
90539816a8 Remove webui directory
We now remove an intermediate 'webui' directory at package time, and
must adjust our outputs accordingly. After this change, the report is
produced at the same location it used to be put.

TN: V329-014

(cherry picked from commit 07243f04a5)
Depends-On: I1fb120da9505143eed6dbf424a9287a8f42e5224
Change-Id: I36937754c3c842f6d847971ce2ef3f681e382a41
2022-09-20 16:06:02 +02:00
Monika Kurovszky
66555dd072 V830-026: Fix for GNAThub edge build failure
Change-Id: I64c2eebc7fd650112a2d662e57f6cb4ddde877ec
(cherry picked from commit 3355cbee94)
2022-09-19 13:06:06 +00:00
Boris Yakobowski
07243f04a5 Remove webui directory
We now remove an intermediate 'webui' directory at package time, and
must adjust our outputs accordingly. After this change, the report is
produced at the same location it used to be put.

TN: V329-014

Depends-On: I1fb120da9505143eed6dbf424a9287a8f42e5224
Change-Id: I36937754c3c842f6d847971ce2ef3f681e382a41
2022-09-15 19:08:49 +02:00
mergerepo
59bd9241da Merge remote branch 'origin/master' into edge
(no-precommit-check no-tn-check)

Change-Id: Ic14206963f5cfc99ce2a06cb369d675e3b5a3286
2022-09-13 22:45:20 +00:00
Nicolas Setton
b1a2370dba V523-038 Migrate GNATdashboard to the RTD theme
Change-Id: I0e919f4abeeaca3cf75ac1cbe990e00a8a6944fd
2022-09-09 15:43:52 +00:00
mergerepo
7237126fa7 Merge remote branch 'origin/master' into edge
(no-precommit-check no-tn-check)

Change-Id: I7476a0e5b41ea770150de109b860472a4278c09a
2022-09-02 22:45:25 +00:00
Boris Yakobowski
783c0980cb Remove support for web server from GNAThub
Now that webui generates a fully static report, it is no longer
needed.

TN: V316-059

Change-Id: I3a7c50885eab2292d32d744edf1e3d31f3769bc6
2022-09-02 08:42:31 +00:00
Monika Kurovszky
3355cbee94 V830-026: Fix for GNAThub edge build failure
Change-Id: I64c2eebc7fd650112a2d662e57f6cb4ddde877ec
2022-08-31 13:02:12 +00:00
mergerepo
5a09e9fc8c Merge remote branch 'origin/master' into edge
(no-precommit-check no-tn-check)

Change-Id: I738b9f60e1d5bf025de4919468a8144ae8bd7f1b
2022-08-30 22:45:13 +00:00
Monika Kurovszky
d1bee77c1e V830-006: Fixing testsuite's gnatstack regression
Change-Id: I524489052629ce032d6ba094418efb029cd2ffea
2022-08-30 13:23:26 +02:00
mergerepo
666b3053b5 Merge remote branch 'origin/master' into edge
(no-precommit-check no-tn-check)

Change-Id: Ie2496cfd9a12738d2aca9b0fea5e2aedddabf3bf
2022-08-26 22:45:17 +00:00
Boris Yakobowski
300ea2316f Clarify error message
The current report does not allow navigation when there are
no messages, and it's not worth resurrecting this functionality.
Document the behavior instead.

Change-Id: I8288b536dfe1482aaf3fc40f9a992d46bbecae4b
TN: V316-059
2022-08-25 19:17:27 +02:00
mergerepo
4aa41cdd00 Merge remote branch 'origin/master' into edge
(no-precommit-check no-tn-check)

Change-Id: I3a719e82941f1f51c40611e88afb45adffe059e2
2022-08-24 22:45:17 +00:00
Matthieu Eyraud
28f11c3b28 Transition WebUI to Angular 13
This commit transition the application to Angular 13, and refactors the
build process to use the Angular CLI instead of hacking a webpack config.

It also removes a lot of things: junk code, or features that are no longer
needed, like the following:

    * The Codepeer history view of the various runs is removed

    * The refresh review / add review buttons with their associated dialog
      are removed

Change-Id: I8adb19aa2ec8303aa23bd38a916fac35947ee69a
Depends-On: Ie50b0def8c0c2485f890eb46317b53b62b4382dd
TN: V316-059
2022-08-24 17:02:53 +00:00
Boris Yakobowski
8c4fe8e87f Switch artifacts generation to .js files
And adapt directories, to match what's required by the new webui.

More precisely, the new webui requires javascript files (instead of
json), and those files should have the form

REPORT [<file>] = {
<json>
}

where <file> is the name of the javascript file (e.g. 'reprod2.ads.js')

For xml files, the syntax is

REPORT [<file] =
`<xml>
`
works (where file is again the javascript file)

TN: V316-059

Change-Id: Id0a8d7c67aa388a3f168ebb1730388aae8bf0677
2022-08-24 16:33:03 +00:00
mergerepo
d09f4f6b60 Merge remote branch 'origin/master' into edge
(no-precommit-check no-tn-check)

Change-Id: Ieabf42026154470e1bece294f4b5e3b4e2d3688c
2022-06-23 22:45:20 +00:00
Anthony Leonardo Gracio
6cf2a0407d V623-007: Use info ranking for gnatcheck messages
This matches the ranking used by GNAT Studio for its gnatcheck
integration.

Change-Id: I349645fe1c560828089b2e3cbf7497278e8b48c4
2022-06-23 09:48:34 +00:00
mergerepo
2d8ead34d1 Merge remote branch 'origin/master' into edge
(no-precommit-check no-tn-check)

Change-Id: I991d140bf59d341b406443f1578cd568bc6e89af
2022-06-22 22:45:18 +00:00
Monika Kurovszky
cc752ff8b4 V616-008: Update gnathub's codepeer test baseline
Change-Id: I204c03844e08ab4e2e9c4a84169de101f48a8b35
2022-06-22 11:23:28 +02:00
mergerepo
a18527583d Merge remote branch 'origin/master' into edge
(no-precommit-check no-tn-check)

Change-Id: Ieaa64a3a18801482f01ca642b970a7dd96496d15
2022-06-17 22:45:20 +00:00
Monika Kurovszky
904826bf7a V616-008: Update gnathub's codepeer test baseline
Change-Id: Id9b62cb861f033c6281af9b396c02a198eeaeb6a
2022-06-17 12:13:53 +02:00
mergerepo
b4aa8a5763 Merge remote branch 'origin/master' into edge
(no-precommit-check no-tn-check)

Change-Id: I34b588a2b1b9030272596c974d9c919ef071a29f
2022-06-10 22:45:15 +00:00
Monika Kurovszky
ee7e304473 V609-039: Fix test suite regression
Baseline update for codepeer and incremental tests
  according to latest codepeer analysis results

Change-Id: I72948225f77505ce9a3cb1d2bfcde613688f3171
2022-06-09 15:06:15 +02:00