Skip to content
Snippets Groups Projects

sync with frama-c master

Merged sync with frama-c master
fix/sync/master-2025-02-24 into master
Merged Andre Maroneze requested to merge fix/sync/master-2025-02-24 into master

Merge request reports

Pipeline #83313 passed

Stage: test

    Pipeline passed for 618d3e6a on fix/sync/master-2025-02-24

    Approval is optional

    Merged by Andre MaronezeAndre Maroneze 2 weeks ago (Feb 24, 2025 2:23pm UTC)

    Merge details

    • Changes merged into master with 5336d3c1.
    • Deleted the source branch.

    Pipeline #83333 passed

    Stage: test

      Pipeline passed for 5336d3c1 on master

      Activity

      Filter activity
      • Approvals
      • Assignees & reviewers
      • Comments (from bots)
      • Comments (from users)
      • Commits & branches
      • Edits
      • Labels
      • Lock status
      • Mentions
      • Merge request status
      • Tracking
      Please register or sign in to reply