Skip to content
This repository was archived by the owner on Dec 16, 2024. It is now read-only.

chore: enable more plugins #56

Merged
merged 2 commits into from
May 20, 2024
Merged

chore: enable more plugins #56

merged 2 commits into from
May 20, 2024

Conversation

DawoudSheraz
Copy link
Contributor

@DawoudSheraz DawoudSheraz commented May 17, 2024 •
edited
Loading

  • Codejail
  • webui
  • jupyter

@DawoudSheraz DawoudSheraz mentioned this pull request May 17, 2024
Closed
49 tasks
FahadKhalid210
FahadKhalid210 approved these changes May 20, 2024
View reviewed changes
Copy link
Contributor

@FahadKhalid210 FahadKhalid210 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍

@DawoudSheraz DawoudSheraz merged commit 00985f9 into master May 20, 2024
@DawoudSheraz DawoudSheraz deleted the redwood-3 branch May 20, 2024 07:30
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@FahadKhalid210 FahadKhalid210 FahadKhalid210 approved these changes

Assignees
No one assigned
Labels
None yet
Projects
Tutor project management
Status: Done
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@DawoudSheraz @FahadKhalid210