Skip to content
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.

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

WIP PR to help reviewing oauth-moodle-dev #2

Open
wants to merge 296 commits into
base: oauth-moodle
Choose a base branch
from
Open
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
296 commits
Select commit Hold shift + click to select a range
ed76d38
Revert "feat: split warning when redirection fail"
Fixiss Jul 19, 2021
bf02dee
feat: split warning when redirection fail
Fixiss Jul 19, 2021
e27415c
fix: better error msg for X-token registration
EmileRolley Jul 20, 2021
1b4a112
Merge pull request #406 from EmileRolley/fix-Xtoken-registration-errmsg
erikmd Jul 20, 2021
a556f76
More robust static-build.sh
AltGr Jul 22, 2021
d1a25f6
test: Run more tests
erikmd Jul 22, 2021
91cef45
chore(Makefile): Add `make detect-libs`
erikmd Jul 22, 2021
a25955c
test(.ci-macosx.sh): Run `make detect-libs`
erikmd Jul 22, 2021
e41d8a1
fix: details
erikmd Jul 22, 2021
7276fab
fix: small issue with `make detect-libs` on macOS
erikmd Jul 23, 2021
74cb300
chore: Skip -lpthread as libpthread is builtin in libSystem.dylib
erikmd Jul 23, 2021
516f19c
feat: add redirect to homepage after upgrade
Fixiss Jul 23, 2021
18e1d50
fix(client,main): Add -lcurses if (= %{ocaml-config:system} macosx)
erikmd Jul 23, 2021
a1265b2
chore(GHA): Split cmd => (Build the binaries, Test the binaries)
erikmd Jul 23, 2021
68a302f
chore(GHA): Print OS version for macosx
erikmd Jul 23, 2021
ff9f091
Merge pull request #391 from AltGr/gh-act-static-bin
erikmd Jul 23, 2021
ab699ca
feat: refactoring redirection and add too many parameters warning
Fixiss Jul 23, 2021
d089f36
feat: add command print-nickname to learn-ocaml-client
Fixiss Jul 26, 2021
01d2bdb
Fix: return 1 if cookie file not existing
Fixiss Jul 27, 2021
20b62bb
Feat: Implement set-nickname
Fixiss Jul 27, 2021
4be47cd
Cleanup obsolete ocp-build files
AltGr Jul 28, 2021
9665258
Merge remote-tracking branch 'origin/master' into oauth-moodle-dev
erikmd Jul 28, 2021
2fcd683
fix(dune|linking_flags.sh): missing libs after the merge
erikmd Jul 28, 2021
bf6795b
fix(alpine|client): Add missing gmp system dependency
erikmd Jul 28, 2021
9869bf1
Fix: exercise_score become exercise-score.json
Fixiss Jul 28, 2021
5b2750d
Fix: align return button on upgrade
Fixiss Jul 28, 2021
2a3ca80
Fix: useless Return remove from Api
Fixiss Jul 28, 2021
b66cf2c
Upgrade ppx-metaquot from upstream
AltGr Jul 28, 2021
2ac5c54
Port to OCaml 4.12
AltGr Jul 28, 2021
66994f2
Debug add env var LEARNOCAML_SERVER_NOCACHE to disable all http caching
AltGr Jul 28, 2021
b037001
fix: "ezjsonm" {>= "1.1.0"}
erikmd Jul 28, 2021
91382b1
chore: Run opam config list
erikmd Jul 28, 2021
f3f7e5e
chore: Print debug info
erikmd Jul 28, 2021
6d73442
fix: s/opam config list/opam --version/
erikmd Jul 28, 2021
73578c6
Fix: warnings
Fixiss Jul 28, 2021
71f26d0
fix(GHA job static-bin-linux): Add zlib-static in static.build.sh
erikmd Jul 28, 2021
a251678
fix(GHA job static-bin-macos): brew install lzlib
erikmd Jul 28, 2021
c4539cc
docs(linking_flags.sh): Fix details
erikmd Jul 28, 2021
b5b7694
chore(GHA macOS): brew install lzlib
erikmd Jul 28, 2021
c9c77a9
Fixes for Docker and CI
AltGr Jul 28, 2021
c704ef5
Worst typo ever
AltGr Jul 30, 2021
82cea09
Fix linking
AltGr Jul 29, 2021
16d2d12
Revert "Merge pull request #261 from beobillly/placement_toplevel_but…
AltGr Jul 28, 2021
d61e7c0
Fix for #400 and #202
AltGr Jul 28, 2021
3075e44
Bump version to 0.14 for use_passwd support
erikmd Aug 20, 2021
a56cd1b
test: Install {bash, make}
erikmd Aug 20, 2021
276dac9
fix(docs): should fix #399 and unify the markdown syntax
EmileRolley Aug 20, 2021
f7bf420
Merge pull request #413 from EmileRolley/fix-md-syntax-err
erikmd Aug 25, 2021
65ce0c4
QoL: reset the toplevel every time before evaluating code from the ed…
AltGr Sep 1, 2021
34f04af
Merge pull request #408 from AltGr/ocaml-412-port
erikmd Sep 15, 2021
90066d0
Merge pull request #409 from AltGr/movbuttons
erikmd Sep 15, 2021
cbd2009
Fixes unicode caracters display in ace
Apr 22, 2021
fdb5def
removes the call to Js.Unsafe.eval_string
Apr 23, 2021
0ea0663
Moves the position conversion function to js_utils
Apr 26, 2021
e0fa640
some corrections
Apr 27, 2021
debb635
Merge pull request #412 from AltGr/fix-utf8
erikmd Sep 15, 2021
5c5e209
Blacklist jsoo version 3.10.0
AltGr Sep 17, 2021
2696f86
Merge pull request #420 from AltGr/blacklist-jsoo310
erikmd Sep 17, 2021
83630d5
UX: Welcome returning users first (#410)
AltGr Sep 17, 2021
526bc07
Add a ppx facility to test expressions (#403)
lsylvestre Sep 17, 2021
d5ece9b
fix: CI
erikmd Sep 25, 2021
6478085
test(GHA): Enable cron build for static-builds.yml
erikmd Sep 25, 2021
17a6703
fix(.ci-macosx.sh): Avoid { set -e; c1 && c2; } bug & Improve script
erikmd Sep 25, 2021
0a30b4f
fix(.ci-macosx.sh): Install openssl
erikmd Sep 25, 2021
d13b7a8
Merge pull request #422 from pfitaxel/fix-ci-4.12
erikmd Sep 26, 2021
ca504b0
doc: add an index page for the learn-ocaml documentation
EmileRolley Jul 13, 2021
41e0bf0
doc: fix odoc markups
EmileRolley Jul 15, 2021
a2f181b
docs: add a note about the `make doc` command
EmileRolley Jul 13, 2021
e10975f
Merge pull request #404 from EmileRolley/fix-odoc-markup
erikmd Sep 26, 2021
a7367bf
Fixes ocaml-sf/learn-ocaml#424
hferee Sep 27, 2021
c26f814
Adds tests for find_binding
hferee Sep 28, 2021
b277b38
Merge pull request #425 from hferee/master
erikmd Sep 28, 2021
51ed717
feat: Make the prelude available in description page (#393)
YoanwM Sep 29, 2021
a825d7e
feat: Improve description entrypoint (#423)
erikmd Sep 29, 2021
3113861
feat: Relax the client/server coupling & Add support for API versioni…
erikmd Sep 29, 2021
b7bf61b
docs(Learnocaml_api): Fix details in ocamldoc comments
erikmd Sep 29, 2021
9b1a551
docs: Document student answers classification (#421)
yurug Sep 29, 2021
64722ed
docs: Improve the new text of the old "API version mismatch" error (#…
erikmd Sep 29, 2021
2c1347c
docs(Learnocaml_api): Fix other details in ocamldoc comments
erikmd Sep 30, 2021
7a7f1f6
docs(fr.po): s/type/compile/ (as suggested by @pPomCo)
erikmd Sep 30, 2021
27fc946
docs(fr.po): Fix typos; s/Évaluer/Exécuter/ (no mix-up with "Noter")
erikmd Sep 30, 2021
0835d39
Run `make update-fr-translation`
erikmd Sep 30, 2021
ce6ef6e
Bump version to 0.15.0 for oauth-moodle-dev images
erikmd Oct 2, 2021
0e6cf0a
feat: Add "learn-ocaml-client server-version" command
erikmd Oct 3, 2021
997440b
refactor: learn-ocaml-client server-version don't take a --token arg
Fixiss Jun 22, 2021
713c19d
feat: Relax the client/server coupling & Add support for API versioni…
erikmd Sep 29, 2021
2b1a0b2
docs: Improve the new text of the old "API version mismatch" error (#…
erikmd Sep 29, 2021
6791321
feat(learn-ocaml-client:)
erikmd Oct 3, 2021
425188f
refactor(learn-ocaml-client):
erikmd Oct 3, 2021
aeeb0da
fixup
erikmd Oct 3, 2021
ee4d5f5
fixup
erikmd Oct 3, 2021
25311fa
perf(learn-ocaml-client server-version): Trigger only 1 GET /version
erikmd Oct 3, 2021
c200d97
fix(learn-ocaml-client server-version): No need for a cookie file
erikmd Oct 3, 2021
5a2a55b
perf(learn-ocaml-client):
erikmd Oct 3, 2021
9c170ab
fix(learn-ocaml-client):
erikmd Oct 3, 2021
5f16d4d
fixup
erikmd Oct 3, 2021
d3fc9c5
feat: Make the prelude available in description page (#393)
YoanwM Sep 29, 2021
e1bc4be
feat: Improve description entrypoint (#423)
erikmd Sep 29, 2021
c3ef206
fixup
erikmd Oct 3, 2021
b9a4af8
fix: Remove unneeded Markup.pretty_print
erikmd Oct 3, 2021
d67a392
fix(static/*.html): Use HTML5 Doctype
erikmd Oct 3, 2021
fe0fe8b
fix: Use HTML5 Doctype
erikmd Oct 3, 2021
e5ce820
perf(Learnocaml_main): Remove unneeded Markup.pretty_print
erikmd Oct 3, 2021
064dafd
fix: Workaround the static-bin-macos failure (#431)
erikmd Oct 4, 2021
017f049
Merge pull request #428 from pfitaxel/improve-text-details
erikmd Oct 4, 2021
7fc1324
Merge pull request #430 from pfitaxel/fix-markup
erikmd Oct 4, 2021
d607281
Merge pull request #429 from pfitaxel/server-version
erikmd Oct 4, 2021
adbb063
refactor: Ensure the uploaded artifacts are single .tar.gz files (#432)
erikmd Oct 4, 2021
dce8f00
chore: Deploy ocamlsf/emacs-learn-ocaml-client:{master,$tags} (#433)
erikmd Oct 4, 2021
7e389ef
feat(release.yml): Add a (3 jobs)-based GHA using release-please (#434)
erikmd Oct 5, 2021
f6b3b26
chore: release 0.13.0
erikmd Oct 5, 2021
875b72b
chore: release 0.13.0 (#435)
github-actions[bot] Oct 5, 2021
6d86ce6
test: Add Dockefile.test-server to repro issue with learn-ocaml.opam
erikmd Oct 9, 2021
2e74227
chore(*.opam): Sort deps alphabetically to ease review and update
erikmd Oct 9, 2021
26a50ef
fix(*.opam): Make common deps constraints uniform & Add missing deps
erikmd Oct 9, 2021
e6048f9
Merge pull request #441 from pfitaxel/add-test
erikmd Oct 9, 2021
d7a5252
chore: Bump version numbers for next dev cycle
erikmd Oct 9, 2021
4fd56f7
chore(release.yml): Show all changelog-types but "style:", "chore:"
erikmd Oct 9, 2021
7c11083
deps: Fix version of dune package (w.r.t. that of dune-project file)
erikmd Oct 9, 2021
71c3590
ci: Ensure release-please triggers docker/build-push-action jobs (#443)
erikmd Oct 13, 2021
881982a
fix(UI): Fix CSS bug regarding the loading animation (#445)
erikmd Oct 13, 2021
19477a5
docs(tests/README.md): Add hint for test case generation
erikmd Oct 13, 2021
07033c9
test: Add test to repro issue #440
erikmd Oct 13, 2021
6b8c49b
ci: Ensure the CD-related workflows won't run on forks (#446)
erikmd Oct 13, 2021
87bb9b5
chore(release.yml): Swap two changelog types
erikmd Oct 13, 2021
6c21d9c
ci(build-and-test.yml): Add ocamlsf/learn-ocaml:0.13.0 in client test…
erikmd Oct 13, 2021
498d11f
Merge pull request #449 from pfitaxel/ci/details
erikmd Oct 13, 2021
b6d44db
fix(UI): Display Actions=teacher_menubar properly in responsive mode;…
erikmd Oct 15, 2021
35941b5
fix(grader): Display negative numbers with mandatory parens; Fix #440
erikmd Oct 13, 2021
2b7f304
Merge pull request #448 from pfitaxel/fix/440-neg-int
erikmd Oct 15, 2021
3cb9dd1
fix(UI): Increase timeout during grading
AltGr Oct 6, 2021
06a71ae
fix(UI): Update one fr translation
AltGr Oct 11, 2021
03d871a
fix(UI): Cleanup duplicate, inconsistent camel logos
AltGr Oct 6, 2021
3c781cb
fix(API): Fix listing exercise status when the status list hasn't bee…
AltGr Oct 6, 2021
3962166
chore(Makefile): Add "rm -f docs/odoc.html" step
erikmd Oct 16, 2021
5ebb02d
Merge pull request #439 from AltGr/fixes
erikmd Oct 16, 2021
fbf3125
chore: release 0.13.1 (#442)
github-actions[bot] Oct 16, 2021
efcc145
chore: Add missing `uses: actions/checkout@v2` for upcoming release
erikmd Oct 16, 2021
1f73141
chore: Bump version numbers for next dev cycle
erikmd Oct 16, 2021
c2399b0
fix(docker): Add missing libs for partition-view/… using compiler-lib…
erikmd Nov 7, 2021
f5d66c6
fix(grader): Workaround issue #457 about the `Introspection` module (…
erikmd Nov 8, 2021
d511d58
Improve PR/issues templates (#453)
erikmd Dec 21, 2021
6e3fa0f
docs: Add `CONTRIBUTING.md` file (#452)
erikmd Jan 3, 2022
e3ff435
docs: Improve `{ISSUE,PULL_REQUEST}_TEMPLATE`s, slightly (#464)
erikmd Jan 21, 2022
79ce07e
refactor: Remove unneeded `hooks/` directory (#465)
erikmd Jan 21, 2022
9d5c7de
fix(UI): Restore UX of the welcome message "Choose an activity." (#455)
erikmd Jan 21, 2022
9651160
feat: Rename Try_OCaml→Tutorials, --enable-tryocaml→--enable-tutorial…
erikmd Feb 25, 2022
e36d874
feat: Build `learn-ocaml-www.zip` (`learn-ocaml --contents-dir=www`) …
erikmd Mar 4, 2022
82a314a
chore: Update maintainer list & Add our e-mail address (#468)
erikmd Mar 4, 2022
5c12539
feat: Offer better protections against solution overwriting (#372)
yurug Mar 5, 2022
41706ea
build(docker): Refine the `.dockerignore` as a whitelist (#471)
erikmd Mar 6, 2022
2817bad
chore: Remove manual `-verbose` flag (provided by `make detect-libs`)
erikmd Mar 6, 2022
05fc26d
chore(Dockerfile.test-server): Avoid warning for unneeded `--locked`
erikmd Mar 6, 2022
7c81d7f
test: Improve `make detect-libs` & Use it (`Dockerfile.test-server`)
erikmd Mar 6, 2022
28ad355
Merge pull request #473 from pfitaxel/debug-linking-flags
erikmd Mar 6, 2022
9d6da39
deps(opam): Bump `ssl` version
erikmd Mar 5, 2022
f7c223d
chore(opam): Set ipaddr {= "2.9.0"}; may reduce deps-solving time
erikmd Mar 6, 2022
38809a5
deps(opam): Add missing package (ocaml-migrate-parsetree v1.8.0)
erikmd Mar 6, 2022
19a8e1a
Merge pull request #472 from pfitaxel/bump-ssl
erikmd Mar 6, 2022
a602ba2
fix: Change `learn-ocaml-www.zip` inner dir (`www` → `learn-ocaml-www…
erikmd Mar 6, 2022
4285dfc
chore: release 0.14.0 (#466)
github-actions[bot] Mar 9, 2022
3f44a98
chore(GHA): Use `google-github-actions/release-please-action@v3` (#476)
erikmd Mar 20, 2022
fbbe567
chore(.github/ISSUE_TEMPLATE/*.md): Add `--tags` (#483)
erikmd Apr 21, 2022
7c14d4c
docs(src/main/*): Move server options to ad-hoc section in man pages
hernoufM Mar 22, 2022
590034f
deps(opam): Upgrade cmdliner version to 1.1.1 & Improve man pages
hernoufM Mar 22, 2022
c6ae2ca
docs(src/main/*): Document exit codes in man pages forall cmd/subcmd
hernoufM Apr 6, 2022
6cb82d6
Merge pull request #480 from hernoufM/upgrade-cmdliner.1.1.0
erikmd Apr 28, 2022
b91050e
fix(learnocaml_common.ml): Ask token (not secret) when opening exerci…
JossyYila May 30, 2022
c538200
ci(update-index.sh): Add a script to update docs/index.md
cesclass Jun 23, 2022
7174547
docs(README.md): Update/Fix README.md
cesclass Jun 23, 2022
2fdc853
docs(index.md): Update index.md
cesclass Jun 23, 2022
24c56b3
ci(check-update-index.yml): Add a workflow to check index.md
cesclass Jun 26, 2022
dd16e46
Merge pull request #492 from pfitaxel/index-update
erikmd Jun 30, 2022
bcb0ff7
build(static-binaries): Fix building of static binaries on CI (#497)
yurug Sep 15, 2022
9bc28a6
deps(opam): Bump ssl (0.5.10 -> 0.5.12) (#499)
erikmd Sep 30, 2022
e55cf61
ci(pin-artifacts.yml): Add build artifacts links within upstream comm…
erikmd Nov 26, 2022
c1054ab
fix(learnocaml_report.css): Display multiple spaces in code excerpts …
erikmd Dec 3, 2022
1c068dd
fix(web-app): Disable the Sync button at load time
erikmd Dec 16, 2022
7ea03f1
fix(web-app): Remove automatic dialog (cf. Mechanism-2 of PR #372)
erikmd Dec 16, 2022
918b79e
fix(web-app): Add Reload button that replaces Mechanism-2 of PR #372
erikmd Dec 28, 2022
dc5c89c
fix(learnocaml_common.ml): Remove unused var (leftover of PR #489)
erikmd Dec 28, 2022
dd69f3c
fix(web-app): Disable Sync after local save for a static deployment
erikmd Dec 28, 2022
b72c6d3
Merge pull request #506 from pfitaxel/fix-reload
yurug Jan 6, 2023
acab77e
chore(master): release 0.14.1 (#486)
github-actions[bot] Jan 6, 2023
64f8e44
chore(release.yml): s/git/https/ to avoid a git-clone timeout error
erikmd Jan 7, 2023
dcb2f90
chore(.github/ISSUE_TEMPLATE/*): Fix label names
erikmd Jan 7, 2023
7205c39
docs: Refactor `ISSUE_TEMPLATE`s to use GitHub issue forms (#509)
erikmd Jan 7, 2023
9000a18
chore(LICENSE): Refactor header so GitHub's parser recognizes the MIT…
erikmd Jan 13, 2023
ffb8abc
chore(LICENSE): Bump year
erikmd Jan 13, 2023
6cb8165
ci(*.yml): Use actions/checkout@v3
erikmd Jan 13, 2023
a99c61b
ci(macos): Fix `brew upgrade` failure
erikmd Jan 13, 2023
4de34a7
Merge pull request #513 from pfitaxel/fix-ci-macos
erikmd Jan 13, 2023
97668ac
chore(.github/ISSUE_TEMPLATE/config.yml): Add "questions" keyword
erikmd Feb 1, 2023
a4f9425
chore: Fix README to better reflect the history of the development
yurug Feb 10, 2023
04bb39f
docs: Fix date in README.md and Copyright headers (#517)
yurug Mar 10, 2023
68221ba
ci(macos): Fix `brew upgrade` failure, bis (#518)
erikmd Mar 12, 2023
a6e4c5e
fix(partition-view): Use Ctrl-click or ⌘-click (instead of middle-cli…
yurug Mar 12, 2023
56db6a0
chore: Update PULL_REQUEST_TEMPLATE.md
erikmd Mar 24, 2023
af83c70
ci(macos): Fix `brew upgrade` failure, ter (#536)
erikmd Apr 12, 2023
3a7c42e
feat(js_utils): Add HTMLElement.title support
erikmd Apr 17, 2023
6b7b226
feat(web-app): Add feedback button with internationalized tooltip
Apr 11, 2023
8878c9b
Merge pull request #535 from pfitaxel/feedback
erikmd Apr 18, 2023
58b3644
feat(partition-view): Add a selector to show (tokens, nicks, or anon …
Plictox May 1, 2023
84b7863
ci(macos): Run the `macOS` workflow as well in the weekly CI build
erikmd May 1, 2023
69006f8
ci(docker): Use docker/build-push-action@v4 (#544)
erikmd May 1, 2023
a31ff2b
ci(docker): Fix GHA input name: s/build_args/build-args/
erikmd May 1, 2023
046087d
ci(docker): Fix build-args syntax (docker/build-push-action@v4)
erikmd May 1, 2023
8d86f01
refactor(partition-view): Move adhoc CSS code to learnocaml_partition…
erikmd May 1, 2023
84bc393
fix(web-app): Fix `process_html_file` w.r.t. `base_url`
erikmd May 1, 2023
185328c
chore: Add 2 checkboxes in PULL_REQUEST_TEMPLATE.md
erikmd May 1, 2023
1584a08
Merge pull request #547 from pfitaxel/dont-prefix-absolute-urls
erikmd May 1, 2023
03669eb
feat(ui): better string input dialog
AltGr May 4, 2023
c341fca
feat(ui): allow name input on teacher token creation
AltGr May 4, 2023
d5d82fc
feat(ui): allow partial CSV export
AltGr May 4, 2023
8c2c639
fix(ui): show different status for open and closed assigned exercises
AltGr May 4, 2023
b20ce4e
feat(ui): teacher tab: highlight the "apply" button on unsaved changes
AltGr May 4, 2023
651456a
feat(ui): add some inline documentation to the teacher tab
AltGr May 4, 2023
1b88a18
fix(ui): update fr translation
AltGr May 4, 2023
e060517
fix(i18n): fix escaping issue in i18n
AltGr May 9, 2023
ce8c006
ci(docker): Replace `LABEL` Dockerfile commands with `labels:` (GHA) …
erikmd May 16, 2023
41c9b65
chore(docker): Fix org.opencontainers.image.source label
erikmd May 16, 2023
4e8ff45
fix: ports for docker.io/maildev/maildev
erikmd May 22, 2023
7f63d40
docs(demo-repository): Enable use_passwd, Disable use_moodle by dflt
erikmd May 22, 2023
0b150b9
Merge pull request #549 from AltGr/teacher-page-improvements
AltGr Jun 12, 2023
9694dd9
Merge branch 'master' into oauth-moodle-dev
erikmd Jun 15, 2023
a2b3726
bug: duplicate translation definition
Jun 15, 2023
b50ab2e
bug: missing parenthesis
Jun 15, 2023
78793be
fix: fixing dependencies
Jun 16, 2023
49fa30a
chore: Start .mailmap file
erikmd Jun 18, 2023
8bdd46f
chore: Add credit-region.sh
erikmd Jun 18, 2023
0cc9480
chore: Generalize credit-region.sh
erikmd Jun 19, 2023
b25d249
chore: Add missing bash option
erikmd Jun 19, 2023
211a3fd
chore: Add credit-region.el
erikmd Jun 19, 2023
e54a50e
chore(git blame): Add option -w
erikmd Jun 19, 2023
da672dc
fix: wrong signature for callbcak functions
Jun 20, 2023
a7688b2
fix: learnocaml_lti_main errors
Jun 20, 2023
42b2807
fix: handling error for crsf_token
Jun 20, 2023
c36beac
fix: handling error for token_index in signature_oauth
Jun 20, 2023
099a61b
feat: token_index.mli: fonction documentation
Jul 3, 2023
b36f7f9
fix: *.opam
erikmd Jul 5, 2023
c45b349
fix: compilation
erikmd Jul 5, 2023
d6155ff
feat: dependencies related to irmin
Jul 21, 2023
617c41d
feat: random_nonce function
Jul 21, 2023
b3f2f85
feat: module NonceIndex added for the token-nonce mapping
Jul 21, 2023
562a619
fix: correctings for token_index.ml
Jul 24, 2023
799bbc0
feat: function from_nonce added in NonceIndex module
Jul 28, 2023
a1a682e
feat: deleting the entry for NonceIndex after logout
Jul 28, 2023
3119c32
fix: wrong module name
Jul 28, 2023
e47f4a3
feat: creating the nonce for first connection
Jul 28, 2023
3fdfbc8
fix: renaming token to nonce
Jul 28, 2023
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
38 changes: 34 additions & 4 deletions .ci-macosx.sh
Original file line number Diff line number Diff line change
@@ -1,13 +1,43 @@
#!/bin/sh

set -e
set -ex

sw_vers
system_profiler SPSoftwareDataType
uname -a

brew update

# homebrew fails to upgrade python due to unlinking failure
# (cf. https://github.com/actions/setup-python/issues/577 )
rm -f /usr/local/bin/2to3
rm -f /usr/local/bin/idle3
rm -f /usr/local/bin/pydoc3
rm -f /usr/local/bin/python3
rm -f /usr/local/bin/python3-config
rm -f /usr/local/bin/2to3-3.11
rm -f /usr/local/bin/idle3.11
rm -f /usr/local/bin/pydoc3.11
rm -f /usr/local/bin/python3.11
rm -f /usr/local/bin/python3.11-config
rm -f /usr/local/lib/libtcl8.6.dylib
rm -f /usr/local/lib/libtk8.6.dylib
rm -f /usr/local/bin/go
rm -f /usr/local/bin/gofmt

brew upgrade

brew install pkg-config
brew install opam
brew install libev
opam init -y --compiler=4.05.0
brew install lzlib
brew install openssl
opam init -y -a --bare

opam switch create . ocaml-base-compiler --deps-only --locked -y -j 2 # -v
eval $(opam env)
make
make opaminstall

opam install -y -j 2 . --deps-only --locked
make && make opaminstall
# See src/main/linking_flags.sh
make detect-libs
23 changes: 19 additions & 4 deletions .dockerignore
Original file line number Diff line number Diff line change
@@ -1,4 +1,19 @@
.git
_obuild
_opam
www
*
# whitelist: ignore everything except:
!src
!static
!translations
!scripts
!demo-repository

!learn-ocaml.opam
!learn-ocaml.opam.locked
!learn-ocaml-client.opam
!learn-ocaml-client.opam.locked

!Makefile
!dune-project
!dune

# ignore backup files
**/*~
118 changes: 118 additions & 0 deletions .github/ISSUE_TEMPLATE/bug_report.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,118 @@
name: 'Bug report'
description: 'Report a bug with the Learn-OCaml project.'
title: 'Bug: '
labels: ['kind: bug']
assignees: []
body:
- type: markdown
attributes:
value: |
Thanks for taking the time to report this bug!
- type: input
id: users
attributes:
label: 'Related user(s):'
description: '(other GitHub users involved, if applicable)'
placeholder: '@…, @…'
- type: textarea
id: related
attributes:
label: 'Related issue(s) or PR(s):'
description: '(if applicable)'
placeholder: |-
- #…
- #…
- type: dropdown
id: scopes
attributes:
label: 'Related project scope(s):'
description: '(you can select multiple choices)'
multiple: true
options:
- web-app UI
- teacher dashboard
- partition-view
- 'grading, test_lib'
- web API
- learn-ocaml-client
- build
- documentation
- other
- type: textarea
id: descr
attributes:
label: 'Bug description:'
description: 'A clear and concise description of what the bug is.'
validations:
required: true
- type: textarea
id: repro
attributes:
label: 'To reproduce:'
description: 'Steps to reproduce the behavior.'
placeholder: |-
1. Open …
1. Click on …
1. Then …
- type: textarea
id: expected
attributes:
label: 'Expected behavior:'
description: 'A clear and concise description of what you expected to happen.'
- type: input
id: learn-ocaml-version
attributes:
label: 'learn-ocaml --version'
description: '(if you used a released version)'
- type: input
id: commit
attributes:
label: 'git describe --long --always --abbrev=40 --tags'
description: '(if you compiled the code yourself)'
- type: dropdown
id: os
attributes:
label: 'What OS do you use?'
multiple: true
options:
- GNU/Linux
- MacOS
- Windows
- other
validations:
required: true
- type: input
id: distro
attributes:
label: 'What OS version/distribution do you use?'
validations:
required: true
- type: dropdown
id: browser
attributes:
label: 'What browser(s) do you use with learn-ocaml?'
description: '(you can select multiple choices)'
multiple: true
options:
- Firefox
- Chromium
- Chrome
- Safari
- Edge
- other
- type: input
id: browser-version
attributes:
label: 'What browser(s) version did you used to reproduce the issue?'
description: >-
(you can omit this question if the issue doesn't involve the web-app)
- type: textarea
id: screenshots
attributes:
label: 'Screenshots (if need be):'
description: 'If applicable, add screenshots to document your problem.'
- type: textarea
id: context
attributes:
label: 'Additional context:'
description: 'Add any other useful details about the problem here.'
7 changes: 7 additions & 0 deletions .github/ISSUE_TEMPLATE/config.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,7 @@
blank_issues_enabled: true

contact_links:
- name: 'Share feedback as an Learn-OCaml teacher or learner'
url: https://github.com/learn-ocaml-community/teaching-feedback/issues/new/choose
about: >-
This is a new place to share questions and feedback within the learn-ocaml-community organization.
65 changes: 65 additions & 0 deletions .github/ISSUE_TEMPLATE/feature_request.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,65 @@
name: 'Feature request'
description: 'Suggest an idea for the Learn-OCaml project.'
title: 'Feature: '
labels: ['kind: feature']
assignees: []
body:
- type: markdown
attributes:
value: |
Thanks for taking the time to open this issue!
- type: input
id: users
attributes:
label: 'Related user(s):'
description: '(other GitHub users involved, if applicable)'
placeholder: '@…, @…'
- type: textarea
id: related
attributes:
label: 'Related issue(s) or PR(s):'
description: '(if applicable)'
placeholder: |-
- #…
- #…
- type: dropdown
id: scopes
attributes:
label: 'Related project scope(s):'
description: '(you can select multiple choices)'
multiple: true
options:
- web-app UI
- teacher dashboard
- partition-view
- 'grading, test_lib'
- web API
- learn-ocaml-client
- build
- documentation
- other
- type: textarea
id: descr
attributes:
label: 'The problem:'
description: 'A clear and concise description of what the problem is.'
placeholder: >-
(e.g., I'm always frustrated when …)
validations:
required: true
- type: textarea
id: solution
attributes:
label: 'Wanted solution:'
description: 'A clear and concise description of what you want to happen.'
- type: textarea
id: alternatives
attributes:
label: 'Considered alternatives:'
description: >-
A clear and concise description of any alternative solutions or features you considered.
- type: textarea
id: context
attributes:
label: 'Additional context:'
description: 'Add any other useful details about the problem here.'
92 changes: 92 additions & 0 deletions .github/ISSUE_TEMPLATE/question.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,92 @@
name: Question
description: 'Ask a question about the Learn-OCaml project.'
title: 'Question: '
labels: ['kind: question']
assignees: []
body:
- type: markdown
attributes:
value: |
Thanks for taking the time to ask this question!
- type: input
id: users
attributes:
label: 'Related user(s):'
description: '(other GitHub users involved, if applicable)'
placeholder: '@…, @…'
- type: textarea
id: related
attributes:
label: 'Related issue(s) or PR(s):'
description: '(if applicable)'
placeholder: |-
- #…
- #…
- type: dropdown
id: scopes
attributes:
label: 'Related project scope(s):'
description: '(you can select multiple choices)'
multiple: true
options:
- web-app UI
- teacher dashboard
- partition-view
- 'grading, test_lib'
- web API
- learn-ocaml-client
- build
- documentation
- other
- type: textarea
id: descr
attributes:
label: 'Question?'
description: 'A clear and concise description of what you want to know.'
validations:
required: true
- type: textarea
id: tested
attributes:
label: 'What has already been tested:'
description: 'A clear and concise description of what you have already tried.'
- type: input
id: learn-ocaml-version
attributes:
label: 'learn-ocaml --version'
description: '(if you used a released version)'
- type: input
id: commit
attributes:
label: 'git describe --long --always --abbrev=40 --tags'
description: '(if you compiled the code yourself)'
- type: dropdown
id: os
attributes:
label: 'What OS do you use?'
multiple: true
options:
- GNU/Linux
- MacOS
- Windows
- other
validations:
required: true
- type: dropdown
id: browser
attributes:
label: 'What browser(s) do you use with learn-ocaml?'
description: '(you can select multiple choices)'
multiple: true
options:
- Firefox
- Chromium
- Chrome
- Safari
- Edge
- other
- type: textarea
id: context
attributes:
label: 'Additional context:'
description: 'Add any other useful details or screenshots about the inquiry here.'
38 changes: 38 additions & 0 deletions .github/PULL_REQUEST_TEMPLATE.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,38 @@
* **Kind:** bugfix / enhancement / feature

<!-- For a bug fix, make sure the bug was already reported in an issue. -->

* Close #…

### Description

<!-- Please recap the motivation and/or implementation choices for this change. -->

### Checklist

<!-- You can remove all the check-boxes that are not applicable. -->

* [ ] Read the [CONTRIBUTING.md](https://github.com/ocaml-sf/learn-ocaml/blob/master/CONTRIBUTING.md) guide and:
* [ ] Use [Atomic Commits](https://github.com/ocaml-sf/learn-ocaml/blob/master/CONTRIBUTING.md#atomic-commits) so each commit gathers a single logical change
* [ ] Use [Conventional Commits](https://github.com/ocaml-sf/learn-ocaml/blob/master/CONTRIBUTING.md#conventional-commits) regarding commit messages (needed by our release toolchain)
* [ ] Add/update [tests](https://github.com/ocaml-sf/learn-ocaml/tree/master/tests#readme)
<!-- if the change impacts the grading feature. -->
* [ ] Add/update [documentation](https://github.com/ocaml-sf/learn-ocaml/tree/master/docs)
<!-- if there are some user-facing changes. -->
* [ ] …
<!-- you can add more items to summarize what remains to do. -->

<!-- You can leave this note below as a reminder for maintainers: -->
### Note to maintainers

* Read [this wiki page](https://github.com/ocaml-sf/learn-ocaml/wiki/Checklist-for-testing-and-merging-a-PR).
* Make sure the PR has a **milestone**.
* ***Assign*** yourself before merging.
* [ ] Either do a regular **merge**:
* for PRs containing *several commits* following [conventional-commits](https://github.com/ocaml-sf/learn-ocaml/blob/master/CONTRIBUTING.md#conventional-commits),
* or for PRs containing 1 commit shared with a later PR (to preserve the SHA1)
* [ ] Or do a **squash-merge**:
* for PRs containing *only 1 commit* (not shared with a later PR),
* or for PRs containing several commits that need not be kept in the history;
* → ***Update the commit message header*** with a [conventional-commit type](https://github.com/ocaml-sf/learn-ocaml/blob/master/CONTRIBUTING.md#conventional-commits-examples),
* → ***Add a footer*** `Close #…` if a related issue exists.
Loading
Loading