Skip to content

Actions: coq-community/dedekind-reals

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
9 workflow runs
9 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #22 from coq-community/theories-dir Docker CI #9: Commit da4a745 pushed by palmskog
July 14, 2024 19:55 2m 11s master
master
July 14, 2024 19:55 2m 11s
Separate theories directory, explicit require-import Docker CI #8: Pull request #22 opened by palmskog
July 14, 2024 19:52 2m 15s theories-dir
theories-dir
July 14, 2024 19:52 2m 15s
Merge pull request #21 from coq-community/cauchy Docker CI #7: Commit 8a5b449 pushed by palmskog
July 14, 2024 18:59 2m 17s master
master
July 14, 2024 18:59 2m 17s
Rebase changes from earlier Cauchy PR Docker CI #6: Pull request #21 opened by palmskog
July 14, 2024 18:56 2m 14s cauchy
cauchy
July 14, 2024 18:56 2m 14s
Merge pull request #20 from coq-community/deprecation-8.20 Docker CI #5: Commit 295c2e9 pushed by palmskog
July 14, 2024 16:42 2m 12s master
master
July 14, 2024 16:42 2m 12s
Fix deprecations of auto using in Coq 8.20 Docker CI #4: Pull request #20 opened by palmskog
July 14, 2024 16:38 2m 20s deprecation-8.20
deprecation-8.20
July 14, 2024 16:38 2m 20s
Merge pull request #19 from coq-community/ci-boilerpolate Docker CI #3: Commit 5f8c262 pushed by palmskog
June 13, 2024 15:00 16m 37s master
master
June 13, 2024 15:00 16m 37s
add meta.yml and generate README.md, opam file and CI configuration Docker CI #2: Pull request #19 synchronize by palmskog
June 13, 2024 14:43 16m 16s ci-boilerpolate
ci-boilerpolate
June 13, 2024 14:43 16m 16s
add meta.yml and generate README.md, opam file and CI configuration Docker CI #1: Pull request #19 opened by palmskog
June 13, 2024 14:16 16m 56s ci-boilerpolate
ci-boilerpolate
June 13, 2024 14:16 16m 56s