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

Fix merge conflicts Emacs lint #109: Commit cd8407a pushed by ncik-roberts
November 13, 2023 20:20 Failure merge-flambda-backend-pre-501
merge-flambda-backend-pre-501
November 13, 2023 20:20 Failure
Committing merge conflicts Emacs lint #108: Commit 7e3028e pushed by ncik-roberts
November 13, 2023 20:14 Failure merge-flambda-backend-pre-501
merge-flambda-backend-pre-501
November 13, 2023 20:14 Failure
Merge branch 'main' into rae/merge-upstream-501 Emacs lint #107: Commit d9ee605 pushed by ncik-roberts
November 13, 2023 20:01 Failure rae/merge-upstream-501
rae/merge-upstream-501
November 13, 2023 20:01 Failure
warnings.mli Emacs lint #106: Commit 6065838 pushed by ccasin
November 13, 2023 19:29 Failure merge-flambda-backend-501
merge-flambda-backend-501
November 13, 2023 19:29 Failure
Initial commit with merge conflicts Emacs lint #105: Commit 273af7e pushed by ncik-roberts
November 13, 2023 19:18 Failure merge-flambda-backend-501
merge-flambda-backend-501
November 13, 2023 19:18 Failure
Fix build errors Emacs lint #104: Commit 6779ca7 pushed by ccasin
November 13, 2023 19:16 Failure rae/merge-upstream-501
rae/merge-upstream-501
November 13, 2023 19:16 Failure
Fix conflicts in typecore Emacs lint #103: Commit fed5d34 pushed by ccasin
November 12, 2023 21:16 Failure rae/merge-upstream-501
rae/merge-upstream-501
November 12, 2023 21:16 Failure
Fix build errors in parsing/utils Emacs lint #102: Commit d5386be pushed by ncik-roberts
November 10, 2023 17:11 Failure rae/merge-upstream-501
rae/merge-upstream-501
November 10, 2023 17:11 Failure
Fix build errors in things that aren't parsing/utils Emacs lint #101: Commit e120459 pushed by ncik-roberts
November 10, 2023 17:11 Failure rae/merge-upstream-501
rae/merge-upstream-501
November 10, 2023 17:11 Failure
Fix type errors in everything except for typecore.ml Emacs lint #100: Commit bfac2ab pushed by ncik-roberts
November 10, 2023 17:02 Failure rae/merge-upstream-501
rae/merge-upstream-501
November 10, 2023 17:02 Failure
resolve chdir_to_root Emacs lint #99: Commit 08b4099 pushed by ncik-roberts
November 10, 2023 00:10 Failure rae/merge-upstream-501
rae/merge-upstream-501
November 10, 2023 00:10 Failure
Get typetexp compiling Emacs lint #98: Commit 9d5d056 pushed by ncik-roberts
November 10, 2023 00:09 Failure rae/merge-upstream-501
rae/merge-upstream-501
November 10, 2023 00:09 Failure
Fix build for typemod Emacs lint #97: Commit 536d775 pushed by ncik-roberts
November 9, 2023 22:59 Failure rae/merge-upstream-501
rae/merge-upstream-501
November 9, 2023 22:59 Failure
Fix typedecl Emacs lint #96: Commit 8f404e0 pushed by ncik-roberts
November 9, 2023 20:52 Failure rae/merge-upstream-501
rae/merge-upstream-501
November 9, 2023 20:52 Failure
Get typedtree building Emacs lint #95: Commit 058dd1e pushed by ncik-roberts
November 9, 2023 20:24 Failure rae/merge-upstream-501
rae/merge-upstream-501
November 9, 2023 20:24 Failure
Get config building Emacs lint #94: Commit 126213a pushed by ncik-roberts
November 9, 2023 20:21 Failure rae/merge-upstream-501
rae/merge-upstream-501
November 9, 2023 20:21 Failure
Fix build for typedecl_variance.ml Emacs lint #93: Commit eb9d3bd pushed by ncik-roberts
November 9, 2023 20:03 Failure rae/merge-upstream-501
rae/merge-upstream-501
November 9, 2023 20:03 Failure
tast_mapper conflicts Emacs lint #92: Commit 2d4b34c pushed by ccasin
November 9, 2023 19:03 Failure rae/merge-upstream-501
rae/merge-upstream-501
November 9, 2023 19:03 Failure
Fix conflicts in typeclass Emacs lint #91: Commit b358127 pushed by ncik-roberts
November 9, 2023 18:45 Failure rae/merge-upstream-501
rae/merge-upstream-501
November 9, 2023 18:45 Failure
fix build error in mlis; now all mlis build Emacs lint #90: Commit 6eb3c6e pushed by ncik-roberts
November 9, 2023 17:37 Failure rae/merge-upstream-501
rae/merge-upstream-501
November 9, 2023 17:37 Failure
Resolve all mlis Emacs lint #89: Commit e115bef pushed by ncik-roberts
November 9, 2023 17:31 Failure rae/merge-upstream-501
rae/merge-upstream-501
November 9, 2023 17:31 Failure
Fix warnings Emacs lint #88: Commit da50d09 pushed by ncik-roberts
November 9, 2023 17:26 Failure rae/merge-upstream-501
rae/merge-upstream-501
November 9, 2023 17:26 Failure
Resolve consistbl Emacs lint #87: Commit 165c8aa pushed by ncik-roberts
November 9, 2023 17:23 Failure rae/merge-upstream-501
rae/merge-upstream-501
November 9, 2023 17:23 Failure
Delete [typedecl_unboxed.ml*] (internally, layouts supplant it) Emacs lint #86: Commit 5d0ea2d pushed by ncik-roberts
November 9, 2023 17:21 Failure rae/merge-upstream-501
rae/merge-upstream-501
November 9, 2023 17:21 Failure
Delete [typedecl_immediacy.ml*] (internally, layouts supplant it) Emacs lint #85: Commit e1275c9 pushed by ncik-roberts
November 9, 2023 17:19 Failure rae/merge-upstream-501
rae/merge-upstream-501
November 9, 2023 17:19 Failure