Skip to content

Actions: rescript-lang/rescript-vscode

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
749 workflow runs
749 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Various uncurried fixes
CI #2162: Pull request #810 synchronize by zth
August 17, 2023 19:23 9m 59s uncurried-fixes
August 17, 2023 19:23 9m 59s
Various uncurried fixes
CI #2161: Pull request #810 synchronize by zth
August 17, 2023 19:19 3m 50s uncurried-fixes
August 17, 2023 19:19 3m 50s
Various uncurried fixes
CI #2160: Pull request #810 synchronize by zth
August 17, 2023 19:19 35s uncurried-fixes
August 17, 2023 19:19 35s
cancel running actions on new commits
CI #2159: Commit e9894aa pushed by zth
August 17, 2023 18:08 1s master
August 17, 2023 18:08 1s
cancel running actions on new commits
CI #2158: Pull request #811 opened by zth
August 17, 2023 17:22 7m 33s ci-concurrency
August 17, 2023 17:22 7m 33s
Various uncurried fixes
CI #2157: Pull request #810 synchronize by zth
August 17, 2023 17:18 7m 37s uncurried-fixes
August 17, 2023 17:18 7m 37s
Various uncurried fixes
CI #2156: Pull request #810 synchronize by zth
August 17, 2023 16:25 9m 22s uncurried-fixes
August 17, 2023 16:25 9m 22s
Various uncurried fixes
CI #2155: Pull request #810 synchronize by zth
August 17, 2023 16:23 9m 57s uncurried-fixes
August 17, 2023 16:23 9m 57s
Various uncurried fixes
CI #2154: Pull request #810 synchronize by zth
August 17, 2023 12:14 7m 27s uncurried-fixes
August 17, 2023 12:14 7m 27s
Various uncurried fixes
CI #2153: Pull request #810 synchronize by zth
August 17, 2023 11:31 19m 7s uncurried-fixes
August 17, 2023 11:31 19m 7s
Various uncurried fixes
CI #2152: Pull request #810 synchronize by zth
August 17, 2023 11:23 9m 35s uncurried-fixes
August 17, 2023 11:23 9m 35s
Various uncurried fixes
CI #2151: Pull request #810 synchronize by zth
August 17, 2023 10:53 7m 9s uncurried-fixes
August 17, 2023 10:53 7m 9s
changelog
CI #2150: Commit eab5d85 pushed by zth
August 17, 2023 06:40 16m 44s master
August 17, 2023 06:40 16m 44s
changelog
CI #2149: Commit 29b377b pushed by zth
August 17, 2023 06:28 11m 28s master
August 17, 2023 06:28 11m 28s
Various uncurried fixes
CI #2148: Pull request #810 opened by zth
August 16, 2023 20:33 9m 41s uncurried-fixes
August 16, 2023 20:33 9m 41s
Fix signature help in uncurried mode
CI #2147: Pull request #809 synchronize by zth
August 16, 2023 18:59 10m 17s uncurried-signature-help
August 16, 2023 18:59 10m 17s
Fix signature help in uncurried mode
CI #2146: Pull request #809 opened by zth
August 16, 2023 18:58 10m 18s uncurried-signature-help
August 16, 2023 18:58 10m 18s
Complete via TypeAtPos
CI #2145: Pull request #808 synchronize by zth
August 16, 2023 16:36 10m 15s complete-via-typeatpos
August 16, 2023 16:36 10m 15s
Update changelog
CI #2144: Commit b4bccca pushed by zth
August 16, 2023 16:35 11m 6s master
August 16, 2023 16:35 11m 6s
Complete via TypeAtPos
CI #2143: Pull request #808 synchronize by zth
August 16, 2023 16:33 8m 22s complete-via-typeatpos
August 16, 2023 16:33 8m 22s
Complete via TypeAtPos
CI #2142: Pull request #808 opened by zth
August 16, 2023 16:31 9m 59s complete-via-typeatpos
August 16, 2023 16:31 9m 59s
changelog
CI #2140: Commit f35e465 pushed by zth
August 16, 2023 16:23 11m 0s master
August 16, 2023 16:23 11m 0s
Code action: Wrap in Some
CI #2139: Pull request #806 synchronize by zth
August 16, 2023 16:23 11m 48s code-action-wrap-in-some
August 16, 2023 16:23 11m 48s
cleanup
CI #2138: Commit c36e79f pushed by zth
August 16, 2023 16:17 11m 10s master
August 16, 2023 16:17 11m 10s
ProTip! You can narrow down the results and go further in time using created:<2023-08-16 or the other filters available.