Skip to content

Actions: lukaszcz/coqhammer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11 workflow runs
11 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
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
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
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
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
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
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
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
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
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
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