Skip to content

Actions: SkySkimmer/coq-lean-import

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #20 from SkySkimmer/push-context-strict Docker CI #56: Commit c513cee pushed by SkySkimmer
October 14, 2024 10:12 2m 45s master
master
October 14, 2024 10:12 2m 45s
Adapt to coq/coq#19620 (Global.push_context_set no strict argument) Docker CI #55: Pull request #20 opened by SkySkimmer
October 1, 2024 14:04 2m 14s push-context-strict
push-context-strict
October 1, 2024 14:04 2m 14s
comment mathlib test Docker CI #54: Commit 810eee3 pushed by SkySkimmer
June 24, 2024 15:01 9m 45s master
master
June 24, 2024 15:01 9m 45s
Merge pull request #19 from SkySkimmer/erelevance Docker CI #53: Commit ce8ed08 pushed by SkySkimmer
April 23, 2024 17:19 2m 3s master
master
April 23, 2024 17:19 2m 3s
Adapt to coq/coq#18938 (EConstr.ERelevance) Docker CI #52: Pull request #19 opened by SkySkimmer
April 17, 2024 11:50 1m 53s erelevance
erelevance
April 17, 2024 11:50 1m 53s
Merge pull request #18 from ppedrot/econstr-inductiveops-api Docker CI #51: Commit cd19535 pushed by SkySkimmer
April 16, 2024 11:05 2m 15s master
master
April 16, 2024 11:05 2m 15s
Adapt w.r.t. coq/coq#18935. Docker CI #50: Pull request #18 opened by ppedrot
April 16, 2024 06:51 1m 54s ppedrot:econstr-inductiveops-api
ppedrot:econstr-inductiveops-api
April 16, 2024 06:51 1m 54s
Merge pull request #16 from rlepigre/br/evaluable_refactoring Docker CI #49: Commit 06d4418 pushed by SkySkimmer
April 3, 2024 10:54 1m 59s master
master
April 3, 2024 10:54 1m 59s
Adapt to coq/coq#18546. Docker CI #48: Pull request #16 synchronize by rlepigre
April 2, 2024 08:52 9m 43s rlepigre:br/evaluable_refactoring
rlepigre:br/evaluable_refactoring
April 2, 2024 08:52 9m 43s
Merge pull request #17 from SkySkimmer/indrec-no-family Docker CI #47: Commit 7be3a84 pushed by SkySkimmer
March 26, 2024 13:38 2m 34s master
master
March 26, 2024 13:38 2m 34s
Adapt to coq/coq#18833 (indrec doesn't use sort family) Docker CI #46: Pull request #17 opened by SkySkimmer
March 22, 2024 16:00 1m 57s indrec-no-family
indrec-no-family
March 22, 2024 16:00 1m 57s
Adapt to coq/coq#18546. Docker CI #45: Pull request #16 opened by rlepigre
February 6, 2024 10:09 1m 55s rlepigre:br/evaluable_refactoring
rlepigre:br/evaluable_refactoring
February 6, 2024 10:09 1m 55s
Merge pull request #15 from rlepigre/br/fix-18281 Docker CI #44: Commit d37cdff pushed by SkySkimmer
January 24, 2024 08:04 1m 48s master
master
January 24, 2024 08:04 1m 48s
Adapt to coq/coq#18327 (projection opacity) Docker CI #43: Pull request #15 opened by rlepigre
December 14, 2023 16:36 1m 50s rlepigre:br/fix-18281
rlepigre:br/fix-18281
December 14, 2023 16:36 1m 50s
Merge pull request #14 from SkySkimmer/sort-poly-ind Docker CI #42: Commit 1036369 pushed by SkySkimmer
November 29, 2023 19:08 2m 20s master
master
November 29, 2023 19:08 2m 20s
Adapt to coq/coq#18331 (mind_kelim -> mind_squashed) Docker CI #41: Pull request #14 opened by SkySkimmer
November 20, 2023 14:17 2m 24s sort-poly-ind
sort-poly-ind
November 20, 2023 14:17 2m 24s
Merge pull request #12 from SkySkimmer/sort-poly Docker CI #40: Commit d0d8403 pushed by SkySkimmer
November 6, 2023 20:45 2m 27s master
master
November 6, 2023 20:45 2m 27s
Adapt to coq/coq#17836 (sort poly) Docker CI #39: Pull request #12 opened by SkySkimmer
September 19, 2023 12:24 2m 14s sort-poly
sort-poly
September 19, 2023 12:24 2m 14s
Merge pull request #11 from rlepigre/br/cleanup-cclosure Docker CI #38: Commit fc9bc2a pushed by SkySkimmer
September 19, 2023 07:00 2m 57s master
master
September 19, 2023 07:00 2m 57s