Skip to content

Actions: coq-community/coq-ext-lib

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fixed compilation error Docker CI #27: Commit 685c985 pushed by liyishuai
January 10, 2024 06:48 58m 57s master
master
January 10, 2024 06:48 58m 57s
non-looping rwHyps Docker CI #26: Pull request #119 synchronize by aa755
January 10, 2024 02:53 58m 37s aa755:patch-1
aa755:patch-1
January 10, 2024 02:53 58m 37s
Set Polymorphic Inductive Cumulativity Docker CI #25: Pull request #136 synchronize by liyishuai
January 8, 2024 10:23 8m 39s JasonGross:cumul
JasonGross:cumul
January 8, 2024 10:23 8m 39s
v0.12.0 documentation Docker CI #24: Commit 6da5cc8 pushed by liyishuai
January 8, 2024 10:23 58m 10s master
master
January 8, 2024 10:23 58m 10s
Add Hint Mode to Functor, Applicative, Monad Docker CI #23: Pull request #126 synchronize by liyishuai
January 8, 2024 09:11 47m 10s Lysxia:mode
Lysxia:mode
January 8, 2024 09:11 47m 10s
quick ixmonad and examples (#55) Docker CI #22: Commit c315bb0 pushed by liyishuai
January 5, 2024 14:58 58m 17s master
master
January 5, 2024 14:58 58m 17s
quick ixmonad and examples Docker CI #21: Pull request #55 synchronize by liyishuai
January 4, 2024 07:40 8m 12s jldodds:master
jldodds:master
January 4, 2024 07:40 8m 12s
quick ixmonad and examples Docker CI #20: Pull request #55 synchronize by liyishuai
January 4, 2024 07:35 1h 0m 8s jldodds:master
jldodds:master
January 4, 2024 07:35 1h 0m 8s
Add Hint Mode to Functor, Applicative, Monad Docker CI #19: Pull request #126 synchronize by liyishuai
January 4, 2024 07:22 56m 20s Lysxia:mode
Lysxia:mode
January 4, 2024 07:22 56m 20s
non-looping rwHyps Docker CI #18: Pull request #119 synchronize by liyishuai
January 4, 2024 07:22 5m 33s aa755:patch-1
aa755:patch-1
January 4, 2024 07:22 5m 33s
quick ixmonad and examples Docker CI #17: Pull request #55 synchronize by liyishuai
January 4, 2024 07:21 57m 53s jldodds:master
jldodds:master
January 4, 2024 07:21 57m 53s
Set Polymorphic Inductive Cumulativity Docker CI #16: Pull request #136 synchronize by liyishuai
January 4, 2024 07:19 12m 46s JasonGross:cumul
JasonGross:cumul
January 4, 2024 07:19 12m 46s
Remove deprecated definitions Docker CI #15: Commit 00d3f4e pushed by liyishuai
October 27, 2023 15:30 2h 40m 47s master
master
October 27, 2023 15:30 2h 40m 47s
Remove deprecated definitions Docker CI #14: Pull request #141 synchronize by liyishuai
October 25, 2023 07:35 1h 48m 24s remove-deprecated
remove-deprecated
October 25, 2023 07:35 1h 48m 24s
CI: install Clang Docker CI #13: Commit eed3062 pushed by liyishuai
October 25, 2023 04:47 2h 9m 51s master
master
October 25, 2023 04:47 2h 9m 51s
Remove deprecated definitions Docker CI #12: Pull request #141 opened by liyishuai
October 24, 2023 04:43 1h 51m 30s remove-deprecated
remove-deprecated
October 24, 2023 04:43 1h 51m 30s
OPAM and workflow from template Docker CI #11: Commit d66cc01 pushed by liyishuai
October 24, 2023 04:39 2h 6m 12s master
master
October 24, 2023 04:39 2h 6m 12s
Adapt to Coq/Coq#18164 Docker CI #10: Commit 26626fa pushed by liyishuai
October 22, 2023 14:27 1h 47m 39s master
master
October 22, 2023 14:27 1h 47m 39s
Adapt to Coq/Coq#18164 Docker CI #9: Pull request #140 synchronize by Villetaneuse
October 22, 2023 05:07 1h 49m 13s Villetaneuse:rm_arith_files
Villetaneuse:rm_arith_files
October 22, 2023 05:07 1h 49m 13s
Adapt to Coq/Coq#18164 Docker CI #8: Pull request #140 synchronize by Villetaneuse
October 22, 2023 05:04 1h 49m 17s Villetaneuse:rm_arith_files
Villetaneuse:rm_arith_files
October 22, 2023 05:04 1h 49m 17s
Adapt to Coq/Coq#18164 Docker CI #7: Pull request #140 opened by Villetaneuse
October 21, 2023 16:49 1h 48m 28s Villetaneuse:rm_arith_files
Villetaneuse:rm_arith_files
October 21, 2023 16:49 1h 48m 28s
Update stale.yml Docker CI #6: Commit 3d4f7df pushed by liyishuai
September 20, 2023 06:59 1h 48m 51s master
master
September 20, 2023 06:59 1h 48m 51s
Create stale.yml Docker CI #5: Commit edd3027 pushed by liyishuai
September 19, 2023 08:04 1h 49m 14s master
master
September 19, 2023 08:04 1h 49m 14s
Adapt to coq/coq#17795 (Polymorphic Class does not auto lower to Prop) Docker CI #4: Commit faaab57 pushed by liyishuai
July 5, 2023 05:17 1h 48m 45s master
master
July 5, 2023 05:17 1h 48m 45s
Adapt to coq/coq#17795 (Polymorphic Class does not auto lower to Prop) Docker CI #3: Pull request #138 opened by SkySkimmer
July 4, 2023 15:30 1h 54m 42s SkySkimmer:comind-level-compute
SkySkimmer:comind-level-compute
July 4, 2023 15:30 1h 54m 42s