Skip to content

Issues: ocaml-sf/learn-ocaml

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

98 Open 153 Closed
98 Open 153 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Highlight and write something on "Replace this string with your implementation." kind: bug
#596 opened Mar 7, 2024 by rubujeto
Bug: the release script unexpectedly runs tar kind: bug kind: infrastructure CI, build tools, development tools priority: high
#595 opened Feb 29, 2024 by erikmd
@erikmd
Feature: Configure dependabot to auto-open PRs to update docker/opam dependencies? kind: feature New user-facing feature. kind: infrastructure CI, build tools, development tools
#592 opened Feb 23, 2024 by erikmd
Note: we may want to update the opam-switch command to build learn-ocaml dependencies kind: documentation
#591 opened Feb 23, 2024 by erikmd
1
Feature: Add direct link to filters (using anchors or so) in the exercises page kind: feature New user-facing feature.
#590 opened Feb 23, 2024 by erikmd
Feature: add a .mailmap file kind: feature New user-facing feature.
#589 opened Feb 23, 2024 by erikmd
Question: what is the 1.0 alternative to private grader helper modules a la depend.txt? kind: question
#588 opened Feb 19, 2024 by dm0n3y
@AltGr
5
Feature: menhir support in exercises kind: feature New user-facing feature.
#587 opened Feb 19, 2024 by dm0n3y
Bug: does not install when following instructions kind: bug
#579 opened Dec 19, 2023 by jbulow
@AltGr
5
Feature: document https://learn-ocaml.readthedocs.io/en/master/ kind: documentation
#573 opened Nov 15, 2023 by erikmd
Bug: potential dead CSS code in learnocaml_student_view.css kind: bug
#556 opened Jun 20, 2023 by erikmd
Task: Reduce the CI/CD redundancy kind: bug kind: cleanup kind: infrastructure CI, build tools, development tools
#552 opened May 16, 2023 by erikmd
Question: open several issues in teaching-feedback as "FAQ"? kind: question
#546 opened May 1, 2023 by erikmd
Bug: we always get "0 codes were not graded" kind: bug
#543 opened Apr 30, 2023 by erikmd
@Plictox
Bug: learn-ocaml master builds with many warnings kind: bug
#542 opened Apr 22, 2023 by erikmd
2
Feature: compatibility with reverse proxy headers (X-Real-IP and/or X-Forwarded-For) kind: feature New user-facing feature. priority: high
#541 opened Apr 20, 2023 by erikmd
@erikmd
Feature: Add automated comment in PRs when static-builds.yml succeeded kind: feature New user-facing feature. kind: infrastructure CI, build tools, development tools
#537 opened Apr 12, 2023 by erikmd
Feature: Add multiple choice questions to the description page kind: feature New user-facing feature.
#533 opened Apr 4, 2023 by Rui00Barata
1
Feature: Add ability to assign different exercises to each student automatically kind: feature New user-facing feature.
#531 opened Mar 29, 2023 by Rui00Barata
1
Task: Integrate feedback from https://github.com/ocsigen/js_of_ocaml/issues/1436 kind: enhancement Enhancement to an existing user-facing feature.
#530 opened Mar 26, 2023 by erikmd
Question: Why https://ocaml.org/p/learn-ocaml/latest says Documentation status is unknown? good first issue kind: question
#526 opened Mar 21, 2023 by erikmd
2
Bug: Stack overflows on Safari kind: bug kind: documentation
#524 opened Mar 21, 2023 by erikmd
meta-issue: Improve user and developer documentation kind: documentation kind: meta Meta discussion beyond a mere feature or defect
#523 opened Mar 21, 2023 by erikmd
1 of 12 tasks
@yurug @AltGr @erikmd
Feature: Display existing teacher tokens also in the teacher dashboard kind: feature New user-facing feature.
#522 opened Mar 21, 2023 by erikmd
Feature: Disable automatic indentation, temporarily kind: feature New user-facing feature.
#520 opened Mar 21, 2023 by erikmd
ProTip! Exclude everything labeled bug with -label:bug.