Skip to content

Actions: coq-community/coqtail-math

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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