ada/gnatsas-gitlab-workflow
0
0
Fork 0
mirror of https://github.com/AdaCore/gnatsas-gitlab-workflow.git synced 2026-02-12 13:13:20 -08:00
Code Issues Packages Projects Releases Wiki Activity

Commit Graph

  • 5cbbdeb308 Merge branch 'germond-main-patch-eba8' into 'main' main Léo Germond 2024-10-28 11:27:18 +00:00
  • 185f9ef92a review: infer gitlab instance and project Léo Germond 2024-10-24 08:50:56 +00:00
  • f217262662 Merge branch 'germond-main-patch-5359' into 'main' Léo Germond 2024-10-24 12:45:57 +00:00
  • acb67da048 Not using the slug for the project path, fix quoting Léo Germond 2024-10-24 12:03:54 +00:00
  • 5c148246b4 CI: Build latest, use env var instead of raw ref to projet Léo Germond 2024-10-24 09:02:06 +00:00
  • 1929ae0954 Merge branch 'remove-e3' into 'main' Léo Germond 2024-10-24 08:43:22 +00:00
  • 2998c4b029 Remove ref to e3 Léo Germond 2024-10-23 14:19:22 +00:00
  • 7f97f46e8b Merge branch 'use_pe-base_image' into 'main' Léo Germond 2024-10-08 13:55:49 +00:00
  • 63ee179f3e using anod Leo Germond 2024-10-04 16:05:46 +02:00
  • 876d24c4ad before script 2 Leo Germond 2024-10-04 12:22:06 +02:00
  • c4b30237a0 before script Leo Germond 2024-10-04 12:21:53 +02:00
  • 59d91a2c97 generic boilerplate Leo Germond 2024-09-26 11:46:06 +02:00
  • ef9df319d0 Merge branch 'fix/gen_gitlab_token_returns_dict' into 'main' Léo Germond 2024-10-02 08:20:58 +00:00
  • 6fc1ce319e Merge branch '8-use-gpr-project-extension-for-the-gnatsas-specific-options' into 'main' Léo Germond 2024-09-27 09:34:27 +00:00
  • 3e1c3d36bd Merge branch 'rm-ref-to-codepeer' into 'main' Léo Germond 2024-09-26 13:45:13 +00:00
  • f8cc341656 udpate code to get token from gen_gitlab_token Leo Germond 2024-09-26 12:12:21 +02:00
  • 2afe303422 gpr: codepeer -> gnatsas Leo Germond 2024-09-26 12:01:16 +02:00
  • 4c188e5b32 Remove useless switch Guillaume Rivier 2024-09-11 10:48:30 +09:00
  • 23fd6b1c2b Merge branch '7-review-package-registry-version-name-length-is-limited-to-63-chars' into 'main' Léo Germond 2024-09-05 09:07:44 +00:00
  • 4c56915527 Merge branch '5-save-only-the-gnatsas-output-dir-sar-and-sam-instead-of-the-whole-directory' into 'main' Léo Germond 2024-09-04 08:28:36 +00:00
  • 0a99b17bbf Merge branch '3-instrument-git-to-use-gnat-sas-report-and-document-it' into 'main' Léo Germond 2024-09-04 08:28:20 +00:00
  • a373565db1 gnatsas CI: save only sar and sam as artifacts Leo Germond 2024-07-19 11:09:10 +02:00
  • ff59706fed instrument git to use gnatsas for sar diff Leo Germond 2024-09-02 17:21:22 +02:00
  • 4b3ea0cfdd version field lenght is limited to 63 chars Leo Germond 2024-07-19 11:18:19 +02:00
  • a83e31c775 Merge branch 'run-deep' into 'main' Léo Germond 2024-07-19 09:02:04 +00:00
  • f5ce12b02a Merge branch 'fix-review-ref-slug' into 'main' Léo Germond 2024-07-10 13:11:01 +00:00
  • 3596aaf5aa Document use of SLUG Léo Germond 2024-06-07 09:28:00 +00:00
  • 2e87e37f19 mode deep using gpr Leo Germond 2024-06-07 10:45:43 +02:00
  • d9965ed942 run mode deep Leo Germond 2024-06-06 10:45:50 +02:00
  • bee69a337b can specify project file Leo Germond 2024-06-06 10:27:09 +02:00
  • eb9e396878 fix slug replacement Leo Germond 2024-06-06 10:26:58 +02:00
  • 657725ead0 review fix handle slug - no sha Leo Germond 2024-06-06 10:17:15 +02:00
  • b65b003e0e Merge branch 'no-more-token' into 'main' Léo Germond 2024-04-30 12:51:38 +00:00
  • 7b63d30fd9 use token only if its needed Leo Germond 2024-04-30 14:25:27 +02:00
  • 3c0d020e5f GITLAB_TOKEN only for workflows without e3 Leo Germond 2024-04-30 14:05:38 +02:00
  • 433d0bc60f gpr: remove non-existing package Reporter Leo Germond 2024-01-17 17:56:56 +01:00
  • 146cf53a22 Merge branch 'remove-legacy-csv-export' into 'main' Léo Germond 2023-11-27 12:05:26 +00:00
  • 1456f61644 remove CSV export in CI Leo Germond 2023-11-27 12:04:12 +01:00
  • 285f42c84b Merge branch 'change-registry' into 'main' Boris Yakobowski 2023-11-23 10:39:02 +00:00
  • c91691a3be Tweak script Boris Yakobowski 2023-10-31 17:28:52 +01:00
  • ed84c8407f Merge branch 'review-by-leo' into 'main' Léo Germond 2023-11-17 14:53:00 +00:00
  • a2bbaa9c02 Adding important review Léo Germond 2023-11-17 15:07:35 +01:00
  • 742a2c51d0 Merge branch 'autolint' into 'main' 1.0.0_for_24.0w Léo Germond 2023-11-02 14:08:49 +00:00
  • 74eb8ecd80 autolint CI quality_report_1 Léo Germond 2023-10-17 12:03:08 +02:00
  • c7d9062fae Merge branch 'gnatsas_annotate' into 'main' Léo Germond 2023-10-19 12:24:22 +00:00
  • 2ae65863c2 CodePeer -> GNATSAS in pragma Léo Germond 2023-10-19 13:37:28 +02:00
  • 77e6fdd134 Merge branch 'fix/review' into 'main' Léo Germond 2023-10-18 16:08:12 +00:00
  • 6799745c08 remove unused cpr Léo Germond 2023-10-18 14:54:19 +02:00
  • 2a5a2bfbc6 Merge branch 'guillaume_test_branch' into 'fix/review' Léo Germond 2023-10-18 12:52:34 +00:00
  • 9bba8dfd68 Readme: setup and use update Guillaume Rivier 2023-10-18 13:55:21 +09:00
  • 9ec0464787 Fix high-ranking errors being undetected Léo Germond 2023-10-18 11:33:49 +02:00
  • d94309506f Review messages Guillaume Rivier 2023-10-18 13:45:36 +09:00
  • 4f309cc7a9 remove cpr Léo Germond 2023-10-18 11:32:29 +02:00
  • 378c31f300 Ada pretty-print Léo Germond 2023-10-18 12:28:50 +02:00
  • 6d47a5070a rename project Léo Germond 2023-10-17 11:47:12 +02:00
  • 5741266f28 py Léo Germond 2023-10-17 11:42:41 +02:00
  • c111d81b63 conversion continues Léo Germond 2023-10-17 11:41:50 +02:00
  • 1197d1c206 fix gpr name Léo Germond 2023-10-17 11:39:24 +02:00
  • 717eb226c4 gnatsas -> codepeer Léo Germond 2023-10-17 10:26:09 +02:00
  • d93b706124 show rank high messages by default Léo Germond 2023-10-16 16:06:14 +02:00
  • 93346475dc codepeer -> gnatsas Léo Germond 2023-10-16 16:05:50 +02:00
  • 8f73d51d08 Merge branch 'fix/review' into 'main' Léo Germond 2023-08-02 10:52:19 +00:00
  • 0b3ba15a68 add back inspector switch Léo Germond 2023-08-01 17:07:11 +02:00
  • e0535f2cd9 Merge branch 'gnatsas_entry' into 'fix/review' Léo Germond 2023-08-01 14:40:23 +00:00
  • 15ce8247fc remove legacy call to aws creds Léo Germond 2023-08-01 16:35:58 +02:00
  • 5473397ded Merge branch 'fix/upload_version_name' into 'gnatsas_entry' Léo Germond 2023-08-01 14:38:43 +00:00
  • 75931fb56e remove legacy call to aws creds Léo Germond 2023-08-01 16:35:58 +02:00
  • e6388d262b gnatsas: fix paths and option Léo Germond 2023-07-28 11:29:17 +02:00
  • 2bf2ce2b52 using gnatsas exec Léo Germond 2023-07-10 18:27:42 +02:00
  • 0a6c0a872b fix branch with / analysis Léo Germond 2023-07-10 18:56:17 +02:00
  • 9bf6a4c1f8 using gnatsas exec Léo Germond 2023-07-10 18:27:42 +02:00
  • 0cb5c3029d review: fix project path Léo Germond 2023-07-10 18:23:55 +02:00
  • 6494a302a2 Merge branch 'codepeer_native_codeclimate' into 'main' Léo Germond 2023-05-12 10:26:08 +00:00
  • 08d489aca6 Merge branch 'blogpost' into 'main' Léo Germond 2023-05-09 13:58:08 +00:00
  • 30b51eae97 fix the fix Rowan Walshe 2023-05-09 13:40:56 +00:00
  • b814f70b26 Apply 1 suggestion(s) to 1 file(s) Rowan Walshe 2023-05-09 12:45:32 +00:00
  • df15c33111 codeclimate: use the codeclimate-root feature of eng/codepeer/codepeer!549 Léo Germond 2023-05-05 17:04:08 +02:00
  • f847dff881 codepeer native codeclimate output Léo Germond 2023-05-03 16:04:07 +02:00
  • 7763318f0e add the blogpost Dockerfile Léo Germond 2023-05-03 15:51:46 +02:00
  • 614118993c Merge branch 'manual_review_tooling' into 'main' Léo Germond 2023-04-24 12:11:49 +00:00
  • 9f5e9c52d8 Merge branch 'upload_cpm' into 'main' Léo Germond 2023-04-24 12:11:35 +00:00
  • ebfb68155a Workaround for #522 Léo Germond 2023-04-24 10:20:37 +02:00
  • 468a52f4e4 Remove cpm-review-merge.py: merge is automatic Léo Germond 2023-04-21 13:37:30 +02:00
  • 4cecadb467 README: Workflow for starting a new branch, and for doing a review Léo Germond 2023-04-17 17:28:20 +02:00
  • 79b951640c add another review Léo Germond 2023-04-17 17:12:51 +02:00
  • be74a10268 run cpm-merge from CI Léo Germond 2023-04-24 10:37:25 +02:00
  • efaf831ab1 add glue for merge of cpr files Léo Germond 2023-04-17 15:37:17 +02:00
  • 339c903ea4 codepeer text output in CI console Léo Germond 2023-04-24 10:37:10 +02:00
  • cec401663e add review Léo Germond 2023-04-17 16:34:14 +02:00
  • 39a3016848 manual review script Léo Germond 2023-04-13 16:58:02 +02:00
  • a6c11448d1 gitignore up Léo Germond 2023-04-17 17:13:35 +02:00
  • 6f6197635d need whole codepeer directory Léo Germond 2023-04-17 12:42:18 +02:00
  • ff233c049a use unique version strings Léo Germond 2023-04-13 11:09:32 +02:00
  • 05c8b4fe6e aws container credentials Léo Germond 2023-04-12 17:24:06 +02:00
  • 8a48bdc612 upload cpms as generic package Léo Germond 2023-04-11 16:55:30 +02:00
  • 5763012121 Merge branch 'fix_codeq_path' into 'main' Boris Yakobowski 2023-04-22 11:56:46 +00:00
  • cc94cfc38a CI: default codepeer image Léo Germond 2023-04-13 15:47:10 +02:00
  • faf422c659 fix paths for codepeer CSV Léo Germond 2023-04-13 15:49:37 +02:00
  • 204d296ab5 Merge branch 'ci-fragments' into 'main' Léo Germond 2023-04-12 12:36:19 +00:00
  • 28a5442a24 use ci-fragment for code climate conversion Léo Germond 2023-04-11 16:38:16 +02:00