Skip to content

Actions: just-max/less-power

Actions

Deploy odoc

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
odoc.yml
131 workflow runs
131 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix interface type Deploy odoc #70: Commit 702eb72 pushed by just-max
October 13, 2023 14:12 7m 27s multi-file-grading
multi-file-grading
October 13, 2023 14:12 7m 27s
tidy up the public API a bit Deploy odoc #69: Commit 96c5d75 pushed by just-max
October 13, 2023 14:10 7m 31s multi-file-grading
multi-file-grading
October 13, 2023 14:10 7m 31s
split out a task for running dune exec and add env param in p_run Deploy odoc #68: Commit ad1bd3b pushed by just-max
October 13, 2023 13:58 9m 22s factor-dune-exec-task
factor-dune-exec-task
October 13, 2023 13:58 9m 22s
remove now unnecessary helpers Deploy odoc #67: Commit 5485543 pushed by just-max
October 13, 2023 13:37 7m 39s multi-file-grading
multi-file-grading
October 13, 2023 13:37 7m 39s
update interface to match, rename a bit Deploy odoc #66: Commit 02092e2 pushed by just-max
October 13, 2023 13:30 8m 11s multi-file-grading
multi-file-grading
October 13, 2023 13:30 8m 11s
mostly done: grade multiple files Deploy odoc #65: Commit 4c6e0fe pushed by just-max
October 12, 2023 17:13 9m 24s multi-file-grading
multi-file-grading
October 12, 2023 17:13 9m 24s
add short description of local pin/upgrade workflow Deploy odoc #64: Commit 5e00a80 pushed by just-max
October 12, 2023 12:01 7m 33s main
main
October 12, 2023 12:01 7m 33s
grading: show messages in attributes Deploy odoc #63: Commit dd74d4b pushed by just-max
October 9, 2023 06:10 7m 35s 20231009
20231009
October 9, 2023 06:10 7m 35s
20231009 Deploy odoc #62: Release 20231009 published by just-max
October 9, 2023 06:10 7m 58s
October 9, 2023 06:10 7m 58s
grading: show messages in attributes Deploy odoc #61: Commit dd74d4b pushed by just-max
October 9, 2023 05:32 7m 28s main
main
October 9, 2023 05:32 7m 28s
runner: restore show-anon false by default Deploy odoc #60: Commit dba135b pushed by just-max
October 9, 2023 04:29 7m 48s main
main
October 9, 2023 04:29 7m 48s
runner: fix summary [X] in anon. tasks Deploy odoc #59: Commit c8ed85d pushed by just-max
October 9, 2023 03:59 8m 43s main
main
October 9, 2023 03:59 8m 43s
runner: split out a task for a single dune build call Deploy odoc #58: Commit 5435617 pushed by just-max
October 9, 2023 03:32 8m 21s main
main
October 9, 2023 03:32 8m 21s
20231004 Deploy odoc #57: Release 20231004 published by just-max
October 4, 2023 16:11 8m 8s
October 4, 2023 16:11 8m 8s
runner: don't fail 'build' test when build succeeds Deploy odoc #56: Commit 9a78cf8 pushed by just-max
October 4, 2023 16:11 7m 25s 20231004
20231004
October 4, 2023 16:11 7m 25s
runner: don't fail 'build' test when build succeeds Deploy odoc #55: Commit 9a78cf8 pushed by just-max
October 4, 2023 15:37 7m 19s main
main
October 4, 2023 15:37 7m 19s
runner: don't fail 'build' test when build succeeds Deploy odoc #54: Commit 9a78cf8 pushed by just-max
October 4, 2023 15:19 8m 33s runner-build-success
runner-build-success
October 4, 2023 15:19 8m 33s
runner: check that exercise start is before exercise end Deploy odoc #53: Commit 99d79e1 pushed by just-max
October 4, 2023 14:53 7m 54s main
main
October 4, 2023 14:53 7m 54s
runner: check that exercise start is before exercise end Deploy odoc #52: Commit fce2bb9 pushed by just-max
October 4, 2023 14:38 7m 38s runner-start-before-end
runner-start-before-end
October 4, 2023 14:38 7m 38s
20230913 Deploy odoc #51: Release 20230913 published by just-max
September 13, 2023 14:05 7m 36s
September 13, 2023 14:05 7m 36s
runner: add --now flag (#7) Deploy odoc #50: Commit 9d8e89a pushed by just-max
September 13, 2023 14:05 8m 13s 20230913
20230913
September 13, 2023 14:05 8m 13s
runner: add --now flag (#7) Deploy odoc #49: Commit 9d8e89a pushed by just-max
September 12, 2023 16:29 7m 23s main
main
September 12, 2023 16:29 7m 23s
runner: add --now flag Deploy odoc #48: Commit 1f05bed pushed by just-max
September 12, 2023 16:17 7m 12s runner-now-option
runner-now-option
September 12, 2023 16:17 7m 12s
switch docker image to debian Deploy odoc #47: Commit fe70428 pushed by just-max
September 12, 2023 16:16 7m 24s main
main
September 12, 2023 16:16 7m 24s
20230909 Deploy odoc #46: Release 20230909 published by just-max
September 9, 2023 16:19 7m 21s
September 9, 2023 16:19 7m 21s