Skip to content

Actions: coq-community/coq-ext-lib

Actions

Docker CI

Actions

Loading...

Show workflow options

Create status badge

docker-action.yml
41 workflow runs
41 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
CI: upload artifact v4 Docker CI #41: Commit b1fa280 pushed by liyishuai
May 20, 2024 07:15 11m 0s master
master
May 20, 2024 07:15 11m 0s
v0.12.1 documentation Docker CI #40: Commit 95ee7a0 pushed by liyishuai
May 20, 2024 06:50 10m 54s master
master
May 20, 2024 06:50 10m 54s
Update stale.yml Docker CI #39: Commit f3d86bc pushed by liyishuai
March 6, 2024 07:19 7m 23s master
master
March 6, 2024 07:19 7m 23s
CI for Coq 8.19 Docker CI #38: Commit 7f2663d pushed by liyishuai
February 26, 2024 08:43 7m 49s master
master
February 26, 2024 08:43 7m 49s
Adapt to https://github.com/coq/coq/pull/18590 Docker CI #37: Commit 2b9b50d pushed by liyishuai
February 1, 2024 07:58 8m 9s master
master
February 1, 2024 07:58 8m 9s
CI: checkout v4 Docker CI #36: Commit 5b8f234 pushed by liyishuai
January 31, 2024 18:36 47m 47s master
master
January 31, 2024 18:36 47m 47s
Adapt to https://github.com/coq/coq/pull/18590 Docker CI #35: Pull request #142 opened by proux01
January 31, 2024 12:16 48m 41s coq_18590
coq_18590
January 31, 2024 12:16 48m 41s
Add Hint Mode to Functor, Applicative, Monad Docker CI #34: Commit d47e472 pushed by liyishuai
January 26, 2024 06:25 48m 3s master
master
January 26, 2024 06:25 48m 3s
Add Hint Mode to Functor, Applicative, Monad Docker CI #33: Pull request #126 synchronize by liyishuai
January 26, 2024 06:10 47m 29s Lysxia:mode
Lysxia:mode
January 26, 2024 06:10 47m 29s
Update templates Docker CI #32: Commit 961c802 pushed by liyishuai
January 17, 2024 22:59 58m 39s master
master
January 17, 2024 22:59 58m 39s
Update templates Docker CI #31: Commit 652db53 pushed by liyishuai
January 17, 2024 22:58 58m 18s master
master
January 17, 2024 22:58 58m 18s
Add Hint Mode to Functor, Applicative, Monad Docker CI #30: Pull request #126 synchronize by liyishuai
January 16, 2024 19:06 31m 9s Lysxia:mode
Lysxia:mode
January 16, 2024 19:06 31m 9s
Add Hint Mode to Functor, Applicative, Monad Docker CI #29: Pull request #126 synchronize by liyishuai
January 12, 2024 18:40 44m 0s Lysxia:mode
Lysxia:mode
January 12, 2024 18:40 44m 0s
Add Hint Mode to Functor, Applicative, Monad Docker CI #28: Pull request #126 synchronize by Lysxia
January 10, 2024 15:11 7m 0s Lysxia:mode
Lysxia:mode
January 10, 2024 15:11 7m 0s
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