Issues · open-education-hub/operating-systems · GitHub

Labels Milestones New issue

guide: Add tutorial for setting up email and user name on GitHub and locally in `git`

#341

· teodutu opened

on Oct 22, 2023

Sync repository with `cs-pub-ro` organization

#338

· gabrielmocanu opened

on Oct 20, 2023

data/lecture: broken link to Quiz in lecture slides

#337

· edi33416 opened

on Oct 17, 2023

workflows: PR deployment is only triggered when first setting the `needs-rendering` label

#335

· teodutu opened

on Oct 9, 2023

io/lab: Latex inline block is not correctly rendered

#305

· fabianpatras opened

on May 13, 2023

infra: Add precommit hooks

#303

· teodutu opened

on May 6, 2023

infra: Award Smiley Coins automatically to `student-contrib` PRs according to `*-smly` labels

#297

· teodutu opened

on May 4, 2023

`data/lab`: Add `demand-paging` section

#283

· Alex-deVis opened

on Apr 25, 2023

lab: Add a cheatsheet with debugging tools

#276

· andreia-oca opened

on Apr 11, 2023

Processes practice ps command not working properly

#274

· tudorcondrea opened

on Apr 10, 2023

infrastructure: Use CMake instead of the current build system

#268

· cristian-vijelie opened

on Apr 9, 2023

`infra`: Create a separate workflow for `superlinter` to be able to use for multiple repositories

#264

· gabrielmocanu opened

on Apr 7, 2023