Skip to content

Actions: just-max/less-power

Actions

Build and deploy Docker image

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker.yml
118 workflow runs
118 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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