Skip to content

Actions: janestreet/merlin-jst

Actions

Run Tests

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
573 workflow runs
573 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Layouts: Add test showing effect of changes (#27)
Run Tests #95: Commit e301b76 pushed by ncik-roberts
December 11, 2023 15:19 16m 46s main
December 11, 2023 15:19 16m 46s
Add tests suggested in review
Run Tests #94: Commit ee54502 pushed by ncik-roberts
December 11, 2023 15:03 16m 11s layouts0
December 11, 2023 15:03 16m 11s
Add tests suggested in review
Run Tests #93: Commit a96179f pushed by ncik-roberts
December 11, 2023 15:02 15m 43s layouts0
December 11, 2023 15:02 15m 43s
Try 3: use comments instead of fake constraint construct
Run Tests #92: Commit bbb6dda pushed by ncik-roberts
December 5, 2023 16:54 4m 8s layouts4-try3
December 5, 2023 16:54 4m 8s
Try 3: use comments instead of fake constraint construct
Run Tests #91: Commit d3f9ceb pushed by ncik-roberts
December 5, 2023 16:38 11m 26s layouts4-try3
December 5, 2023 16:38 11m 26s
Try 3: use comments instead of fake constraint construct
Run Tests #90: Commit 5deae29 pushed by ncik-roberts
December 5, 2023 16:26 18m 1s layouts4-try3
December 5, 2023 16:26 18m 1s
December 5, 2023 14:42 5m 6s
Not very good
Run Tests #88: Commit 5d8a3d7 pushed by ncik-roberts
December 2, 2023 04:45 18m 49s modes1
December 2, 2023 04:45 18m 49s
Add regression tests for the printing of modes in merlin
Run Tests #87: Commit bdf103b pushed by ncik-roberts
December 2, 2023 03:46 13m 30s modes0
December 2, 2023 03:46 13m 30s
Add regression tests for the printing of modes in merlin
Run Tests #86: Commit 9d68317 pushed by ncik-roberts
December 2, 2023 00:18 16m 47s modes0
December 2, 2023 00:18 16m 47s
Try 2: print constraints off to the side rather than inline.
Run Tests #85: Commit 1a73f07 pushed by ncik-roberts
December 1, 2023 21:59 14m 30s layouts4-try2
December 1, 2023 21:59 14m 30s
Print non-value layouts on type variables
Run Tests #84: Commit 8b80239 pushed by ncik-roberts
December 1, 2023 21:56 4m 7s layouts4
December 1, 2023 21:56 4m 7s
Try 2: print constraints off to the side rather than inline.
Run Tests #83: Commit 6827ac8 pushed by ncik-roberts
December 1, 2023 21:52 16m 53s layouts4-try2
December 1, 2023 21:52 16m 53s
Print non-value layouts on type variables
Run Tests #82: Commit 3e7a990 pushed by ncik-roberts
December 1, 2023 20:02 4m 22s layouts4
December 1, 2023 20:02 4m 22s
Print non-value layouts on type variables
Run Tests #81: Commit c16cac4 pushed by ncik-roberts
December 1, 2023 20:00 4m 26s layouts4
December 1, 2023 20:00 4m 26s
Fix bug and print locally-abstract type layouts more eagerly
Run Tests #80: Commit 8d89715 pushed by ncik-roberts
December 1, 2023 19:56 4m 10s layouts2
December 1, 2023 19:56 4m 10s
December 1, 2023 19:15 4m 30s
Add more tests
Run Tests #78: Commit 161cc05 pushed by ncik-roberts
December 1, 2023 19:14 4m 16s layouts0
December 1, 2023 19:14 4m 16s
Add more tests
Run Tests #77: Commit fe14e39 pushed by ncik-roberts
December 1, 2023 19:11 4m 12s layouts0
December 1, 2023 19:11 4m 12s
Add more tests
Run Tests #76: Commit 2aeaeea pushed by ncik-roberts
December 1, 2023 19:11 4m 36s layouts0
December 1, 2023 19:11 4m 36s
Add even more tests
Run Tests #75: Commit e413edc pushed by ncik-roberts
December 1, 2023 19:06 4m 23s layouts0
December 1, 2023 19:06 4m 23s
Print type declaration, and thus inferred layout, in more cases
Run Tests #74: Commit e759551 pushed by ncik-roberts
December 1, 2023 18:51 4m 15s layouts2
December 1, 2023 18:51 4m 15s
December 1, 2023 18:46 4m 20s
Print non-value layouts on type variables
Run Tests #72: Commit adf2068 pushed by ncik-roberts
November 30, 2023 23:37 11m 56s layouts4
November 30, 2023 23:37 11m 56s
Print type declaration, and thus inferred layout, in more cases
Run Tests #71: Commit 0239db7 pushed by ncik-roberts
November 30, 2023 23:37 4m 7s layouts2
November 30, 2023 23:37 4m 7s
ProTip! You can narrow down the results and go further in time using created:<2023-11-30 or the other filters available.