Skip to content

Actions: p11menova/functional-programming

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
44 workflow runs
44 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
fixed review CI #44: Commit 1793ce5 pushed by p11menova
6m 58s main
main
6m 58s
Update README.md CI #43: Commit 5abcc5d pushed by p11menova
7m 5s main
main
7m 5s
fixed ref usage to immutable CI #42: Commit cc68a89 pushed by p11menova
7m 0s main
main
7m 0s
fixed CI #41: Commit b541e76 pushed by p11menova
7m 8s main
main
7m 8s
fix CI #40: Commit c60eaa5 pushed by p11menova
7m 5s main
main
7m 5s
lab3 is dome CI #39: Commit 944dbd7 pushed by p11menova
6m 48s main
main
6m 48s
lab3 init CI #38: Commit 4bdec8c pushed by p11menova
6m 56s main
main
6m 56s
updated codes in readme CI #37: Commit 6f67471 pushed by p11menova
7m 2s main
main
7m 2s
changed ocamlformat style + formatted code blocks in readme as code CI #36: Commit 7de0c1b pushed by p11menova
7m 29s main
main
7m 29s
added readme CI #35: Commit 8db47fb pushed by p11menova
6m 48s main
main
6m 48s
formatting CI #34: Commit 179c56f pushed by p11menova
7m 11s main
main
7m 11s
added scenarios in main to demonstrate adding/removing strategies CI #33: Commit 3940bd6 pushed by p11menova
45s main
main
45s
added property-based tests CI #32: Commit d836995 pushed by p11menova
6m 14s main
main
6m 14s
lab2 done [я хз почему комменты на разых языках] CI #31: Commit e06c948 pushed by p11menova
6m 49s main
main
6m 49s
added helpers for creating RBT CI #30: Commit 2e418ac pushed by p11menova
6m 40s main
main
6m 40s
lab2: added rb_bag interface + ocamlformat file CI #29: Commit bd5fdd8 pushed by p11menova
6m 55s main
main
6m 55s
lab2: initial commit CI #28: Commit 1399c59 pushed by p11menova
6m 49s main
main
6m 49s
formatting CI #27: Commit c89fe61 pushed by p11menova
6m 44s main
main
6m 44s
refactor: reorganized project structure: separated util files for eac… CI #26: Commit b540fe7 pushed by p11menova
6m 21s main
main
6m 21s
Update README with author and task details CI #25: Commit 1dbd0cd pushed by p11menova
6m 46s main
main
6m 46s
Add conclusions section to README CI #24: Commit ac85f8d pushed by p11menova
7m 8s main
main
7m 8s
task25: renamed the file CI #23: Commit a274985 pushed by p11menova
6m 52s main
main
6m 52s
task25: added mixed solving (lazy iterator+map+fold) CI #22: Commit 3e98c96 pushed by p11menova
7m 42s main
main
7m 42s
task25: basic recursion [не сильно симпатично] CI #21: Commit bd8b078 pushed by p11menova
5m 50s main
main
5m 50s
ci: added zarith to dependencies CI #20: Commit 3723b3e pushed by p11menova
6m 8s main
main
6m 8s