Skip to content

Actions: coq-community/coqtail-math

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-action.yml
14 workflow runs
14 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Merge pull request #8 from coq-community/even-odd-t Docker CI #20: Commit 1d65c7f pushed by palmskog
July 13, 2024 15:39 3m 0s master
master
July 13, 2024 15:39 3m 0s
use Nat.Even_EvenT and Nat.Odd_OddT Docker CI #19: Pull request #8 synchronize by palmskog
July 13, 2024 15:36 2m 56s even-odd-t
even-odd-t
July 13, 2024 15:36 2m 56s
Merge pull request #9 from coq-community/compat-8.20 Docker CI #18: Commit 641eef1 pushed by palmskog
July 13, 2024 15:34 3m 6s master
master
July 13, 2024 15:34 3m 6s
Compatibility with Coq 8.20 Docker CI #17: Pull request #9 opened by palmskog
July 13, 2024 15:28 2m 59s compat-8.20
compat-8.20
July 13, 2024 15:28 2m 59s
use Nat.Even_EvenT and Nat.Odd_OddT Docker CI #16: Pull request #8 opened by palmskog
January 6, 2024 22:14 2m 58s even-odd-t
even-odd-t
January 6, 2024 22:14 2m 58s
Merge pull request #7 from coq-community/fix-deprec Docker CI #15: Commit fecbacd pushed by palmskog
January 5, 2024 13:49 2m 57s master
master
January 5, 2024 13:49 2m 57s
fix some intuition and arith deprecations Docker CI #14: Pull request #7 synchronize by palmskog
January 5, 2024 13:42 3m 0s fix-deprec
fix-deprec
January 5, 2024 13:42 3m 0s
fix some intuition and arith deprecations Docker CI #13: Pull request #7 synchronize by palmskog
December 3, 2023 16:11 2m 59s fix-deprec
fix-deprec
December 3, 2023 16:11 2m 59s
fix some intuition and arith deprecations Docker CI #12: Pull request #7 synchronize by palmskog
December 3, 2023 14:51 2m 57s fix-deprec
fix-deprec
December 3, 2023 14:51 2m 57s
fix some intuition and arith deprecations Docker CI #11: Pull request #7 synchronize by palmskog
December 2, 2023 23:39 2m 55s fix-deprec
fix-deprec
December 2, 2023 23:39 2m 55s
fix some intuition and arith deprecations Docker CI #10: Pull request #7 synchronize by palmskog
November 19, 2023 15:06 2m 58s fix-deprec
fix-deprec
November 19, 2023 15:06 2m 58s
fix some intuition and arith deprecations Docker CI #9: Pull request #7 opened by palmskog
November 19, 2023 14:59 3m 1s fix-deprec
fix-deprec
November 19, 2023 14:59 3m 1s
Merge pull request #6 from coq-community/compat-boilerplate Docker CI #8: Commit 87d3c24 pushed by palmskog
November 19, 2023 12:33 3m 15s master
master
November 19, 2023 12:33 3m 15s
Compatibility with 8.18 and beyond Docker CI #7: Pull request #6 opened by palmskog
November 19, 2023 12:29 3m 16s compat-boilerplate
compat-boilerplate
November 19, 2023 12:29 3m 16s