Skip to content

Actions: janestreet/merlin-jst

Actions

Emacs lint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
102 workflow runs
102 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge in upstream main for 5.2 merge Emacs lint #184: Pull request #82 synchronize by ncik-roberts
August 22, 2024 21:48 1m 8s merge-with-upstream-merlin-5.2
merge-with-upstream-merlin-5.2
August 22, 2024 21:48 1m 8s
Merge in upstream main for 5.2 merge Emacs lint #183: Pull request #82 synchronize by ncik-roberts
August 22, 2024 20:56 1m 57s merge-with-upstream-merlin-5.2
merge-with-upstream-merlin-5.2
August 22, 2024 20:56 1m 57s
Merge in upstream main for 5.2 merge Emacs lint #182: Pull request #82 synchronize by ncik-roberts
August 22, 2024 20:51 1m 17s merge-with-upstream-merlin-5.2
merge-with-upstream-merlin-5.2
August 22, 2024 20:51 1m 17s
Merge in upstream main for 5.2 merge Emacs lint #181: Pull request #82 synchronize by ncik-roberts
August 16, 2024 13:51 1m 10s merge-with-upstream-merlin-5.2
merge-with-upstream-merlin-5.2
August 16, 2024 13:51 1m 10s
Merge in upstream main for 5.2 merge Emacs lint #180: Pull request #82 synchronize by ncik-roberts
August 15, 2024 22:44 1m 50s merge-with-upstream-merlin-5.2
merge-with-upstream-merlin-5.2
August 15, 2024 22:44 1m 50s
Merge in upstream main for 5.2 merge Emacs lint #179: Pull request #82 synchronize by ncik-roberts
August 15, 2024 21:19 1m 31s merge-with-upstream-merlin-5.2
merge-with-upstream-merlin-5.2
August 15, 2024 21:19 1m 31s
Merge in upstream main for 5.2 merge Emacs lint #178: Pull request #82 synchronize by ncik-roberts
August 15, 2024 16:00 2m 4s merge-with-upstream-merlin-5.2
merge-with-upstream-merlin-5.2
August 15, 2024 16:00 2m 4s
Merge in upstream main for 5.2 merge Emacs lint #177: Pull request #82 opened by ncik-roberts
August 14, 2024 21:06 2m 3s merge-with-upstream-merlin-5.2
merge-with-upstream-merlin-5.2
August 14, 2024 21:06 2m 3s
Fix conflicts Emacs lint #176: Commit ac53d63 pushed by ncik-roberts
August 14, 2024 20:59 1m 21s merge-with-upstream-merlin-5.2
merge-with-upstream-merlin-5.2
August 14, 2024 20:59 1m 21s
Fix conflicts Emacs lint #175: Commit 14bf5c4 pushed by ncik-roberts
August 13, 2024 17:54 1m 25s merge-with-501-plus-upstream-main-9fa77db
merge-with-501-plus-upstream-main-9fa77db
August 13, 2024 17:54 1m 25s
Fix conflicts Emacs lint #174: Commit 415c2c2 pushed by ncik-roberts
August 13, 2024 17:50 1m 39s merge-with-501-plus-upstream-main-9fa77db
merge-with-501-plus-upstream-main-9fa77db
August 13, 2024 17:50 1m 39s
Fix conflicts Emacs lint #173: Commit c9cf2e4 pushed by ncik-roberts
August 13, 2024 17:47 1m 19s merge-with-501-plus-upstream-main-9fa77db
merge-with-501-plus-upstream-main-9fa77db
August 13, 2024 17:47 1m 19s
Commit conflicts, to be fixed Emacs lint #172: Commit 572ae08 pushed by ncik-roberts
August 13, 2024 17:33 1m 37s merge-with-501-plus-upstream-main-9fa77db
merge-with-501-plus-upstream-main-9fa77db
August 13, 2024 17:33 1m 37s
501-plus-upstream-main-9fa77db Emacs lint #171: Commit 115ec0a pushed by ncik-roberts
August 13, 2024 17:25 1m 54s 501-plus-upstream-main-9fa77db
501-plus-upstream-main-9fa77db
August 13, 2024 17:25 1m 54s
Fix conflicts Emacs lint #170: Commit 354cb78 pushed by ncik-roberts
August 12, 2024 21:27 1m 19s merge-with-upstream-merlin-5.2
merge-with-upstream-merlin-5.2
August 12, 2024 21:27 1m 19s
Fix mli diffs and some mls Emacs lint #169: Commit f62f430 pushed by ncik-roberts
August 9, 2024 20:54 1m 14s merge-with-upstream-merlin-5.2
merge-with-upstream-merlin-5.2
August 9, 2024 20:54 1m 14s
Fix some merge conflicts Emacs lint #168: Commit fc02fbd pushed by ncik-roberts
August 8, 2024 16:37 1m 7s merge-with-upstream-main-for-5.2-merge
merge-with-upstream-main-for-5.2-merge
August 8, 2024 16:37 1m 7s
document the CI a little Emacs lint #167: Commit 51cd5cd pushed by ncik-roberts
November 15, 2023 22:02 Failure ci-runs-testsuite
ci-runs-testsuite
November 15, 2023 22:02 Failure
Fix that test again to show that CI passes Emacs lint #166: Commit c70d39e pushed by ncik-roberts
November 15, 2023 21:55 Failure ci-runs-testsuite
ci-runs-testsuite
November 15, 2023 21:55 Failure
Commit with failing test for evidence Emacs lint #165: Commit c7311e6 pushed by ncik-roberts
November 15, 2023 21:39 Failure ci-runs-testsuite
ci-runs-testsuite
November 15, 2023 21:39 Failure
bugfix Emacs lint #164: Commit 590bd32 pushed by ncik-roberts
November 15, 2023 21:23 Failure ci-runs-testsuite
ci-runs-testsuite
November 15, 2023 21:23 Failure
More minor changes Emacs lint #163: Commit 289cd71 pushed by ncik-roberts
November 15, 2023 21:09 Failure ci-runs-testsuite
ci-runs-testsuite
November 15, 2023 21:09 Failure
More minor changes Emacs lint #162: Commit 04e1c33 pushed by ncik-roberts
November 15, 2023 21:04 Failure ci-runs-testsuite
ci-runs-testsuite
November 15, 2023 21:04 Failure
More minor changes Emacs lint #161: Commit 5460404 pushed by ncik-roberts
November 15, 2023 21:01 Failure ci-runs-testsuite
ci-runs-testsuite
November 15, 2023 21:01 Failure
More minor changes Emacs lint #160: Commit f167a86 pushed by ncik-roberts
November 15, 2023 20:57 Failure ci-runs-testsuite
ci-runs-testsuite
November 15, 2023 20:57 Failure