Skip to content
Snippets Groups Projects

Ultra light

Open Ultra light
rousselin/jscoq-light:ultra-light into v8.17
Open Pierre Rousselin requested to merge rousselin/jscoq-light:ultra-light into v8.17

Removed wacoq, examples, hastebin and some useless dependencies. TODO: more cleanup with the removal of wacoq

Merge request reports

Members who can merge are allowed to add commits.

Pipeline #8977 skipped

Stage:

    Pipeline skipped for 1fab5874 on rousselin:ultra-light

    Ready to merge by members who can write to the target branch.
    Loading

    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