Skip to content

Actions: affeldt-aist/monae

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-action.yml
132 workflow runs
132 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Wrt infotheo master Docker CI #424: Pull request #127 synchronize by affeldt-aist
November 22, 2023 01:22 1s wrt_infotheo_master
wrt_infotheo_master
November 22, 2023 01:22 1s
Wrt infotheo master Docker CI #423: Pull request #127 synchronize by t6s
November 21, 2023 07:30 Startup failure wrt_infotheo_master
wrt_infotheo_master
November 21, 2023 07:30 Startup failure
coqgen examples executable in monad_model Docker CI #422: Pull request #128 synchronize by t6s
November 21, 2023 07:02 1s eval_cyclic
eval_cyclic
November 21, 2023 07:02 1s
coqgen examples executable in monad_model Docker CI #421: Pull request #128 synchronize by t6s
November 21, 2023 07:01 Startup failure eval_cyclic
eval_cyclic
November 21, 2023 07:01 Startup failure
coqgen examples executable in monad_model Docker CI #420: Pull request #128 synchronize by t6s
November 21, 2023 06:46 Startup failure eval_cyclic
eval_cyclic
November 21, 2023 06:46 Startup failure
coqgen examples executable in monad_model Docker CI #419: Pull request #128 synchronize by t6s
November 21, 2023 06:46 1s eval_cyclic
eval_cyclic
November 21, 2023 06:46 1s
coqgen examples executable in monad_model Docker CI #418: Pull request #128 opened by t6s
November 21, 2023 06:37 Startup failure eval_cyclic
eval_cyclic
November 21, 2023 06:37 Startup failure
Wrt infotheo master Docker CI #417: Pull request #127 synchronize by garrigue
November 21, 2023 05:36 1s wrt_infotheo_master
wrt_infotheo_master
November 21, 2023 05:36 1s
Wrt infotheo master Docker CI #416: Pull request #127 synchronize by affeldt-aist
November 21, 2023 05:12 1s wrt_infotheo_master
wrt_infotheo_master
November 21, 2023 05:12 1s
Wrt infotheo master Docker CI #415: Pull request #127 synchronize by affeldt-aist
November 21, 2023 04:46 1s wrt_infotheo_master
wrt_infotheo_master
November 21, 2023 04:46 1s
Wrt infotheo master Docker CI #414: Pull request #127 synchronize by affeldt-aist
November 20, 2023 15:49 1s wrt_infotheo_master
wrt_infotheo_master
November 20, 2023 15:49 1s
Wrt infotheo master Docker CI #413: Pull request #127 synchronize by affeldt-aist
November 20, 2023 07:21 Startup failure wrt_infotheo_master
wrt_infotheo_master
November 20, 2023 07:21 Startup failure
Wrt infotheo master Docker CI #412: Pull request #127 opened by affeldt-aist
November 20, 2023 06:17 Startup failure wrt_infotheo_master
wrt_infotheo_master
November 20, 2023 06:17 Startup failure
simplify proofs for cyclic lists (#126) Docker CI #411: Commit 68841f8 pushed by affeldt-aist
October 31, 2023 09:33 38m 19s master
master
October 31, 2023 09:33 38m 19s
simplify proofs for cyclic lists Docker CI #410: Pull request #126 opened by garrigue
October 31, 2023 08:16 35m 14s simplify_cyclic
simplify_cyclic
October 31, 2023 08:16 35m 14s
More interesting example for cyclic list (#125) Docker CI #409: Commit 1679e81 pushed by affeldt-aist
October 30, 2023 10:49 28m 12s master
master
October 30, 2023 10:49 28m 12s
More interesting example for cyclic list Docker CI #408: Pull request #125 opened by garrigue
October 30, 2023 08:56 33m 40s hd_tl_tl_is_true
hd_tl_tl_is_true
October 30, 2023 08:56 33m 40s
avoid hb.1.6.0 (#124) Docker CI #407: Commit 5d2c8aa pushed by affeldt-aist
October 20, 2023 08:40 27m 28s master
master
October 20, 2023 08:40 27m 28s
avoid hb.1.6.0 Docker CI #406: Pull request #124 opened by affeldt-aist
October 20, 2023 07:54 32m 19s opam_20231020
opam_20231020
October 20, 2023 07:54 32m 19s
CI test Docker CI #405: Pull request #123 opened by t6s
October 20, 2023 05:27 17m 29s 20231020_CI_test
20231020_CI_test
October 20, 2023 05:27 17m 29s
replace fsdist_convA by its generic version convA0 Docker CI #404: Pull request #122 synchronize by t6s
September 28, 2023 07:48 22m 4s remove_fsdist_convA
remove_fsdist_convA
September 28, 2023 07:48 22m 4s
replace fsdist_convA by its generic version convA0 Docker CI #403: Pull request #122 opened by t6s
September 25, 2023 12:22 19m 14s remove_fsdist_convA
remove_fsdist_convA
September 25, 2023 12:22 19m 14s
coercible (#121) Docker CI #402: Commit 9695399 pushed by affeldt-aist
August 5, 2023 12:30 30m 37s master
master
August 5, 2023 12:30 30m 37s
coercible Docker CI #401: Pull request #121 opened by affeldt-aist
July 30, 2023 22:29 24m 50s coercible
coercible
July 30, 2023 22:29 24m 50s
update readme (#120) Docker CI #400: Commit 076edc2 pushed by affeldt-aist
July 28, 2023 00:06 31m 29s master
master
July 28, 2023 00:06 31m 29s