Supporting new modulectomy scoping of CSS #98

Merged

rand merged 3 commits from 20220315_supporting_new_modulectomy_scoping_of_CSS into main 11 months ago

rand commented 11 months ago

Owner

This PR depends on: https://github.com/roburio/modulectomy/pull/4

rand added 3 commits 11 months ago

bfd0299844 Builder-viz: Supporting new modulectomy scoping of CSS

2a3130b170 builder-web.opam: Removed pin-depend on modulectomy, as this PR depends on coming released version

c41b9808d5 builder-web.opam: Added pin-depend on Roburs modulectomy fork again - would like to merge this before modulectomy is released

reynir commented 11 months ago

Owner

LGTM

rand merged commit b2b593796a into main 11 months ago

rand referenced this issue from a commit 11 months ago

Merge pull request 'Supporting new modulectomy scoping of CSS' (#98) from 20220315_supporting_new_modulectomy_scoping_of_CSS into main

The pull request has been merged as b2b593796a.

Sign in to join this conversation.

No reviewers

No Label

No Milestone

No Assignees

2 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: robur/builder-web#98