Skip to content

Actions: coq-community/bits

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
14 workflow runs
14 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #25 from Tragicus/pr2216 Docker CI #35: Commit 2dc5920 pushed by palmskog
August 4, 2024 10:29 3m 57s master
master
August 4, 2024 10:29 3m 57s
apply val_inj early Docker CI #34: Pull request #25 synchronize by palmskog
August 4, 2024 10:18 3m 53s Tragicus:pr2216
Tragicus:pr2216
August 4, 2024 10:18 3m 53s
apply val_inj early Docker CI #33: Pull request #25 opened by Tragicus
August 2, 2024 07:35 3m 59s Tragicus:pr2216
Tragicus:pr2216
August 2, 2024 07:35 3m 59s
Merge pull request #24 from coq-community/mc_1190 Docker CI #32: Commit d4559b3 pushed by pi8027
March 28, 2024 16:39 28m 2s master
master
March 28, 2024 16:39 28m 2s
Adapt to math-comp/math-comp#1190 Docker CI #31: Pull request #24 synchronize by pi8027
March 28, 2024 16:09 29m 14s mc_1190
mc_1190
March 28, 2024 16:09 29m 14s
Adapt to math-comp/math-comp#1190 Docker CI #30: Pull request #24 synchronize by pi8027
March 28, 2024 15:59 32m 10s mc_1190
mc_1190
March 28, 2024 15:59 32m 10s
Adapt to math-comp/math-comp#1190 Docker CI #29: Pull request #24 opened by pi8027
March 28, 2024 15:48 28m 29s mc_1190
mc_1190
March 28, 2024 15:48 28m 29s
Merge pull request #23 from coq-community/function_scope Docker CI #28: Commit fc68cb0 pushed by pi8027
December 8, 2023 15:36 2m 37s master
master
December 8, 2023 15:36 2m 37s
Adapt to math-comp/math-comp#1133 (replace fun_scope with function_scope) Docker CI #27: Pull request #23 opened by pi8027
December 7, 2023 16:55 2m 27s function_scope
function_scope
December 7, 2023 16:55 2m 27s
Merge pull request #20 from coq-community/hierarchy-builder Docker CI #26: Commit 64ae535 pushed by proux01
December 7, 2023 16:49 2m 34s master
master
December 7, 2023 16:49 2m 34s
Port to Hierarchy Builder Docker CI #25: Pull request #20 synchronize by proux01
December 7, 2023 16:45 2m 35s hierarchy-builder
hierarchy-builder
December 7, 2023 16:45 2m 35s
Port to Hierarchy Builder Docker CI #24: Pull request #20 synchronize by proux01
December 7, 2023 16:40 1m 44s hierarchy-builder
hierarchy-builder
December 7, 2023 16:40 1m 44s
Port to Hierarchy Builder Docker CI #23: Pull request #20 synchronize by proux01
December 7, 2023 16:35 2m 3s hierarchy-builder
hierarchy-builder
December 7, 2023 16:35 2m 3s
Port to Hierarchy Builder Docker CI #22: Pull request #20 synchronize by proux01
November 3, 2023 13:32 25m 42s hierarchy-builder
hierarchy-builder
November 3, 2023 13:32 25m 42s