Skip to content

Actions: SkySkimmer/coq-lean-import

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
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