Skip to content
Snippets Groups Projects

synchronize with frama-c master

Merged synchronize with frama-c master
sync-fc-master-2025-03-07 into master
Merged Andre Maroneze requested to merge sync-fc-master-2025-03-07 into master

Merge request reports

Pipeline #84093 passed

Stage: test

    Pipeline passed for 1ecbe737 on sync-fc-master-2025-03-07

    Approval is optional

    Merged by Andre MaronezeAndre Maroneze 1 week ago (Mar 7, 2025 1:57pm UTC)

    Merge details

    • Changes merged into master with bf5deb7b.
    • Deleted the source branch.

    Pipeline #84096 passed

    Stage: test

      Pipeline passed for bf5deb7b 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