Skip to content

Actions: stefan-hoeck/idris2-pack

Actions

Docker Build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-build.yml
20 workflow run results
20 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Docker Build Docker Build #826: Scheduled
December 2, 2023 23:11 19m 32s main
main
December 2, 2023 23:11 19m 32s
Docker Build Docker Build #825: Scheduled
December 1, 2023 23:12 18m 52s main
main
December 1, 2023 23:12 18m 52s
Docker Build Docker Build #824: Scheduled
November 30, 2023 23:12 18m 47s main
main
November 30, 2023 23:12 18m 47s
Docker Build Docker Build #823: Scheduled
November 29, 2023 23:12 18m 58s main
main
November 29, 2023 23:12 18m 58s
Docker Build Docker Build #822: Scheduled
November 28, 2023 23:12 19m 31s main
main
November 28, 2023 23:12 19m 31s
Docker Build Docker Build #821: Scheduled
November 27, 2023 23:12 19m 59s main
main
November 27, 2023 23:12 19m 59s
Docker Build Docker Build #820: Scheduled
November 26, 2023 23:11 19m 15s main
main
November 26, 2023 23:11 19m 15s
Docker Build Docker Build #819: Scheduled
November 25, 2023 23:11 17m 53s main
main
November 25, 2023 23:11 17m 53s
Docker Build Docker Build #818: Scheduled
November 24, 2023 23:11 19m 49s main
main
November 24, 2023 23:11 19m 49s
Docker Build Docker Build #817: Scheduled
November 23, 2023 23:12 18m 2s main
main
November 23, 2023 23:12 18m 2s
[ feature ] Add the extra-args option Docker Build #816: Pull request #270 opened by 0xd34df00d
November 23, 2023 21:30 17m 17s 0xd34df00d:cmd-opts
0xd34df00d:cmd-opts
November 23, 2023 21:30 17m 17s
[ fix ] cleanup lib dir when removing or re-installing libs Docker Build #815: Pull request #268 opened by stefan-hoeck
November 23, 2023 04:59 17m 45s fix_lib
fix_lib
November 23, 2023 04:59 17m 45s
[ fix ] example apps list in install script Docker Build #814: Pull request #267 opened by stefan-hoeck
November 23, 2023 04:50 18m 8s lsp_in_install
lsp_in_install
November 23, 2023 04:50 18m 8s
Docker Build Docker Build #813: Scheduled
November 22, 2023 23:12 19m 20s main
main
November 22, 2023 23:12 19m 20s
Docker Build Docker Build #812: Scheduled
November 21, 2023 23:12 17m 53s main
main
November 21, 2023 23:12 17m 53s
Docker Build Docker Build #811: Scheduled
November 20, 2023 23:12 19m 40s main
main
November 20, 2023 23:12 19m 40s
Docker Build Docker Build #810: Scheduled
November 19, 2023 23:11 18m 41s main
main
November 19, 2023 23:11 18m 41s
Docker Build Docker Build #809: Scheduled
November 18, 2023 23:11 18m 0s main
main
November 18, 2023 23:11 18m 0s
Docker Build Docker Build #808: Scheduled
November 17, 2023 23:12 18m 8s main
main
November 17, 2023 23:12 18m 8s
Docker Build Docker Build #807: Scheduled
November 16, 2023 23:12 18m 24s main
main
November 16, 2023 23:12 18m 24s