Skip to content

Actions: coq/opam

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,306 workflow runs
1,306 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

release infotheo 0.9.0 CI #1752: Pull request #3342 synchronize by affeldt-aist
February 21, 2025 06:26 1m 31s affeldt-aist:infotheo.0.9.0
affeldt-aist:infotheo.0.9.0
February 21, 2025 06:26 1m 31s
release infotheo 0.9.0 CI #1751: Pull request #3342 synchronize by affeldt-aist
February 21, 2025 04:12 1m 42s affeldt-aist:infotheo.0.9.0
affeldt-aist:infotheo.0.9.0
February 21, 2025 04:12 1m 42s
Merge pull request #3350 from affeldt-aist/analysis.1.9.0 CI #1750: Commit ebbf5fb pushed by CohenCyril
February 20, 2025 13:14 1m 57s master
master
February 20, 2025 13:14 1m 57s
release MathComp-Analysis 1.9.0 CI #1749: Pull request #3350 opened by affeldt-aist
February 20, 2025 08:56 1m 28s affeldt-aist:analysis.1.9.0
affeldt-aist:analysis.1.9.0
February 20, 2025 08:56 1m 28s
Merge pull request #3349 from silene/menhirlib CI #1748: Commit 030ae45 pushed by silene
February 19, 2025 16:57 1m 48s master
master
February 19, 2025 16:57 1m 48s
Merge pull request #3347 from coq/coq-lean-import CI #1747: Commit fbbeb2b pushed by palmskog
February 19, 2025 16:08 1m 56s master
master
February 19, 2025 16:08 1m 56s
Add rocq-lean-import dev package CI #1746: Pull request #3347 synchronize by palmskog
February 19, 2025 14:56 1m 38s coq-lean-import
coq-lean-import
February 19, 2025 14:56 1m 38s
Update extra-dev/packages/rocq-lean-import/rocq-lean-import.dev/opam CI #1745: Commit f5ebc0f pushed by palmskog
February 19, 2025 14:56 1m 32s coq-lean-import
coq-lean-import
February 19, 2025 14:56 1m 32s
Mark some versions of menhirlib as incompatible with Coq 8.19. CI #1744: Pull request #3349 opened by silene
February 19, 2025 14:48 1m 32s silene:menhirlib
silene:menhirlib
February 19, 2025 14:48 1m 32s
Merge pull request #3346 from SkySkimmer/hott-dev CI #1743: Commit be8286d pushed by SkySkimmer
February 19, 2025 14:43 1m 49s master
master
February 19, 2025 14:43 1m 49s
add coq-hol-light-real-with-N.1.1.0 CI #1742: Commit f1b94a8 pushed by fblanqui
February 19, 2025 13:45 1m 47s master
master
February 19, 2025 13:45 1m 47s
Add rocq-lean-import dev package CI #1741: Pull request #3347 synchronize by SkySkimmer
February 19, 2025 13:06 1m 31s coq-lean-import
coq-lean-import
February 19, 2025 13:06 1m 31s
Add rocq-lean-import dev package CI #1740: Commit 2c717c1 pushed by SkySkimmer
February 19, 2025 13:06 1m 33s coq-lean-import
coq-lean-import
February 19, 2025 13:06 1m 33s
coq-hott.dev depend on rocq-core + coq-core not coq CI #1739: Pull request #3346 synchronize by SkySkimmer
February 19, 2025 13:04 2m 14s SkySkimmer:hott-dev
SkySkimmer:hott-dev
February 19, 2025 13:04 2m 14s
Merge pull request #3348 from silene/gappalib-1.7.0 CI #1738: Commit dc1f827 pushed by silene
February 19, 2025 12:35 1m 57s master
master
February 19, 2025 12:35 1m 57s
Add rocq-lean-import dev package CI #1737: Pull request #3347 synchronize by SkySkimmer
February 19, 2025 11:31 1m 58s coq-lean-import
coq-lean-import
February 19, 2025 11:31 1m 58s
Update extra-dev/packages/coq-lean-import/coq-lean-import.dev/opam CI #1736: Commit dbf43b0 pushed by SkySkimmer
February 19, 2025 11:31 1m 41s coq-lean-import
coq-lean-import
February 19, 2025 11:31 1m 41s
Add rocq-lean-import dev package CI #1735: Pull request #3347 synchronize by SkySkimmer
February 19, 2025 11:17 1m 31s coq-lean-import
coq-lean-import
February 19, 2025 11:17 1m 31s
Update extra-dev/packages/coq-lean-import/coq-lean-import.dev/opam CI #1734: Commit f68fda0 pushed by SkySkimmer
February 19, 2025 11:17 2m 18s coq-lean-import
coq-lean-import
February 19, 2025 11:17 2m 18s
Add rocq-lean-import dev package CI #1733: Pull request #3347 synchronize by SkySkimmer
February 19, 2025 11:05 1m 31s coq-lean-import
coq-lean-import
February 19, 2025 11:05 1m 31s
Apply suggestions from code review CI #1732: Commit 20be028 pushed by SkySkimmer
February 19, 2025 11:05 1m 29s coq-lean-import
coq-lean-import
February 19, 2025 11:05 1m 29s
Gappa support library 1.7.0 CI #1731: Pull request #3348 opened by silene
February 19, 2025 09:41 2m 7s silene:gappalib-1.7.0
silene:gappalib-1.7.0
February 19, 2025 09:41 2m 7s
Add rocq-lean-import dev package CI #1730: Pull request #3347 opened by JasonGross
February 19, 2025 00:28 1m 25s coq-lean-import
coq-lean-import
February 19, 2025 00:28 1m 25s
Add coq-lean-import dev package CI #1729: Commit 963bbe2 pushed by JasonGross
February 19, 2025 00:27 1m 36s coq-lean-import
coq-lean-import
February 19, 2025 00:27 1m 36s
Merge pull request #3345 from proux01/coqeal210 CI #1728: Commit 2192297 pushed by proux01
February 18, 2025 19:42 1m 59s master
master
February 18, 2025 19:42 1m 59s