Skip to content

Actions: tarides/ocaml-eglot

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27 workflow runs
27 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove useless group on auxiliary files CI #27: Commit 5c2baac pushed by xvw
December 16, 2024 16:37 1m 8s main
main
December 16, 2024 16:37 1m 8s
Merge pull request #10 from tarides/construct-error-relaxation CI #26: Commit 67e715a pushed by xvw
December 16, 2024 16:31 57s main
main
December 16, 2024 16:31 57s
Construct error relaxation CI #25: Pull request #10 synchronize by xvw
December 16, 2024 16:30 1m 6s construct-error-relaxation
construct-error-relaxation
December 16, 2024 16:30 1m 6s
Merge pull request #11 from tarides/jump-no-target-to-suggest-availab… CI #24: Commit 3f88949 pushed by xvw
December 16, 2024 14:39 1m 26s main
main
December 16, 2024 14:39 1m 26s
Rewrite ocaml-eglot-jump to infer available target CI #23: Pull request #11 opened by xvw
December 13, 2024 15:56 1m 0s jump-no-target-to-suggest-available-jump
jump-no-target-to-suggest-available-jump
December 13, 2024 15:56 1m 0s
Construct error relaxation CI #22: Pull request #10 opened by xvw
December 13, 2024 13:34 2m 9s construct-error-relaxation
construct-error-relaxation
December 13, 2024 13:34 2m 9s
Merge pull request #9 from tarides/media-on-README CI #21: Commit 6e95199 pushed by xvw
December 12, 2024 15:31 1m 59s main
main
December 12, 2024 15:31 1m 59s
Document features (and add fancy gifs) CI #20: Pull request #9 synchronize by xvw
December 12, 2024 15:19 4m 53s media-on-README
media-on-README
December 12, 2024 15:19 4m 53s
Document features (and add fancy gifs) CI #19: Pull request #9 opened by xvw
December 10, 2024 13:37 1m 16s media-on-README
media-on-README
December 10, 2024 13:37 1m 16s
Merge pull request #8 from tarides/some-function-normalisation CI #18: Commit cdc273b pushed by xvw
December 10, 2024 12:09 58s main
main
December 10, 2024 12:09 58s
Normalize next and prev function CI #17: Pull request #8 opened by xvw
December 10, 2024 12:07 53s some-function-normalisation
some-function-normalisation
December 10, 2024 12:07 53s
Merge pull request #7 from tarides/get-documentation-request CI #16: Commit 1913210 pushed by xvw
December 10, 2024 11:57 1m 12s main
main
December 10, 2024 11:57 1m 12s
Add support for get documentation CI #15: Pull request #7 opened by xvw
December 10, 2024 11:56 57s get-documentation-request
get-documentation-request
December 10, 2024 11:56 57s
Merge pull request #6 from tarides/add-ert-test-first-step CI #14: Commit 64caa2c pushed by xvw
December 10, 2024 00:58 1m 44s main
main
December 10, 2024 00:58 1m 44s
Add unit-test for ocaml-eglot-util CI #13: Pull request #6 opened by xvw
December 10, 2024 00:36 58s add-ert-test-first-step
add-ert-test-first-step
December 10, 2024 00:36 58s
Merge pull request #5 from tarides/some-fixtures-and-first-attempt-of… CI #12: Commit 9d27875 pushed by xvw
December 9, 2024 23:39 53s main
main
December 9, 2024 23:39 53s
Some fixtures and first attempt of lint CI #11: Pull request #5 synchronize by xvw
December 9, 2024 23:38 50s some-fixtures-and-first-attempt-of-lint
some-fixtures-and-first-attempt-of-lint
December 9, 2024 23:38 50s
Some fixtures and first attempt of lint CI #10: Pull request #5 synchronize by xvw
December 9, 2024 23:34 1m 25s some-fixtures-and-first-attempt-of-lint
some-fixtures-and-first-attempt-of-lint
December 9, 2024 23:34 1m 25s
Some fixtures and first attempt of lint CI #9: Pull request #5 synchronize by xvw
December 9, 2024 23:32 58s some-fixtures-and-first-attempt-of-lint
some-fixtures-and-first-attempt-of-lint
December 9, 2024 23:32 58s
Some fixtures and first attempt of lint CI #8: Pull request #5 synchronize by xvw
December 9, 2024 23:32 49s some-fixtures-and-first-attempt-of-lint
some-fixtures-and-first-attempt-of-lint
December 9, 2024 23:32 49s
Some fixtures and first attempt of lint CI #7: Pull request #5 synchronize by xvw
December 9, 2024 23:31 50s some-fixtures-and-first-attempt-of-lint
some-fixtures-and-first-attempt-of-lint
December 9, 2024 23:31 50s
Some fixtures and first attempt of lint CI #6: Pull request #5 synchronize by xvw
December 9, 2024 23:09 53s some-fixtures-and-first-attempt-of-lint
some-fixtures-and-first-attempt-of-lint
December 9, 2024 23:09 53s
Some fixtures and first attempt of lint CI #5: Pull request #5 synchronize by xvw
December 9, 2024 23:06 39s some-fixtures-and-first-attempt-of-lint
some-fixtures-and-first-attempt-of-lint
December 9, 2024 23:06 39s
Some fixtures and first attempt of lint CI #4: Pull request #5 synchronize by xvw
December 9, 2024 23:05 25s some-fixtures-and-first-attempt-of-lint
some-fixtures-and-first-attempt-of-lint
December 9, 2024 23:05 25s
Some fixtures and first attempt of lint CI #3: Pull request #5 synchronize by xvw
December 9, 2024 23:02 29s some-fixtures-and-first-attempt-of-lint
some-fixtures-and-first-attempt-of-lint
December 9, 2024 23:02 29s