Skip to content

Actions: coq-community/bits

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
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
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
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
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
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
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
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
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
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
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
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
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
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
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
November 3, 2023 13:32 25m 42s