Workflow runs · lukaszcz/coqhammer

Actions

All workflows

Actions

16 workflow runs

16 workflow runs

Filter by Event

Filter

Filter by Status

Filter

Filter by Branch

Filter

Filter by Actor

Filter

Adapt to rocq-prover/rocq#20397 (removal of sort families) Docker CI #29: Commit 8649603 pushed by lukaszcz
April 14, 2025 14:16 2m 32s master

master

April 14, 2025 14:16 2m 32s

View workflow file

Adapt to coq/coq#20371 (dirpath_of_module -> path_of_module, returnin… Docker CI #27: Commit e32de1a pushed by lukaszcz
March 27, 2025 11:33 2m 40s master

master

March 27, 2025 11:33 2m 40s

View workflow file

Adapt to coq/coq#20371 (dirpath_of_module -> path_of_module, returning full_path) Docker CI #26: Pull request #190 opened by SkySkimmer
March 20, 2025 14:46 2m 38s SkySkimmer:dirpath-full-path

SkySkimmer:dirpath-full-path

March 20, 2025 14:46 2m 38s

View #190

View workflow file

Fix CI Docker CI #25: Commit c405d3f pushed by lukaszcz
March 5, 2025 14:43 2m 35s master

master

March 5, 2025 14:43 2m 35s

View workflow file

Adapt to coq/coq#20315 (may_eval type moved) Docker CI #24: Pull request #189 synchronize by SkySkimmer
March 3, 2025 17:00 2m 43s SkySkimmer:ltac-may-eval

SkySkimmer:ltac-may-eval

March 3, 2025 17:00 2m 43s

View #189

View workflow file

Adapt to coq/coq#20315 (may_eval type moved) Docker CI #23: Pull request #189 opened by SkySkimmer
March 3, 2025 16:56 22s SkySkimmer:ltac-may-eval

SkySkimmer:ltac-may-eval

March 3, 2025 16:56 22s

View #189

View workflow file

fix tests Docker CI #22: Commit 31442e8 pushed by lukaszcz
November 15, 2024 18:36 3m 25s master

master

November 15, 2024 18:36 3m 25s

View workflow file

Adapt to https://github.com/coq/coq/pull/19530 Docker CI #21: Pull request #185 opened by proux01
September 17, 2024 09:49 3m 10s proux01:stdlib_repo

proux01:stdlib_repo

September 17, 2024 09:49 3m 10s

View #185

View workflow file

Adapt to coq/coq#19390 (goptions tables can discharge) + fix module s… Docker CI #20: Commit eca8630 pushed by lukaszcz
July 28, 2024 10:55 3m 21s master

master

July 28, 2024 10:55 3m 21s

View workflow file

Adapt to coq/coq#19390 (goptions tables can discharge) + fix module substitution Docker CI #19: Pull request #182 opened by SkySkimmer
July 18, 2024 11:30 3m 16s SkySkimmer:ref-table-locality

SkySkimmer:ref-table-locality

July 18, 2024 11:30 3m 16s

View #182

View workflow file

Adapt to coq/coq#18973. Docker CI #18: Commit 7dcbc6a pushed by lukaszcz
June 14, 2024 15:05 3m 17s master

master

June 14, 2024 15:05 3m 17s

View workflow file

Adapt w.r.t. coq/coq#18956. Docker CI #16: Commit 252aa5e pushed by lukaszcz
April 23, 2024 17:48 3m 30s master

master

April 23, 2024 17:48 3m 30s

View workflow file

< 8469 div class="d-table-cell v-align-top col-11 col-md-6 position-relative">

Adapt to coq/coq#18938 (EConstr.ERelevance) Docker CI #15: Commit 448444a pushed by lukaszcz
April 23, 2024 17:20 1m 57s master

master

April 23, 2024 17:20 1m 57s

View workflow file

Adapt w.r.t. coq/coq#18956. Docker CI #14: Pull request #179 opened by ppedrot
April 21, 2024 11:41 3m 19s ppedrot:template-no-lower-bound

ppedrot:template-no-lower-bound

April 21, 2024 11:41 3m 19s

View #179

View workflow file

Adapt to coq/coq#18938 (EConstr.ERelevance) Docker CI #13: Pull request #178 opened by SkySkimmer
April 17, 2024 11:23 1m 52s SkySkimmer:erelevance

SkySkimmer:erelevance

April 17, 2024 11:23 1m 52s

View #178

View workflow file

fix tests Docker CI #12: Commit 69efdf9 pushed by lukaszcz
April 9, 2024 18:08 3m 31s master

master

April 9, 2024 18:08 3m 31s

View workflow file

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Actions

Workflows

Management

All workflows

Actions

All workflows

Filter by Event

Sorry, something went wrong.

Sorry, something went wrong.

No matching events.

Filter by Status

Sorry, something went wrong.

Sorry, something went wrong.

No matching statuses.

Filter by Branch

Sorry, something went wrong.

Sorry, something went wrong.

No matching branches.

Filter by Actor

Sorry, something went wrong.

Sorry, something went wrong.

No matching users.

Actions: lukaszcz/coqhammer

Actions

All workflows All workflows Actions Loading... Loading Sorry, something went wrong.

All workflows

All workflows

Actions