Skip to content

Activity

Showing most recent first

Merge pull request #465 from MSoegtropIMC/2025.01-prep-10

Pull request merge
MSoegtropIMCpushed 3 commits to main • 78a643c…c64cb9a • 
on Feb 5

Merge pull request #464 from MSoegtropIMC/2025.01-prep-9

Pull request merge
MSoegtropIMCpushed 5 commits to main • 4475633…78a643c • 
on Feb 4

Merge pull request #463 from MSoegtropIMC/2025.01-prep-8

Pull request merge
MSoegtropIMCpushed 12 commits to main • 0bcba70…4475633 • 
on Feb 2

Merge pull request #462 from MSoegtropIMC/2025.01-prep-7

Pull request merge
MSoegtropIMCpushed 10 commits to main • 93c1c0d…0bcba70 • 
on Jan 28

Merge pull request #461 from MSoegtropIMC/ci-stability-test

Pull request merge
MSoegtropIMCpushed 2 commits to main • 93afd1d…93c1c0d • 
on Jan 27

Merge pull request #459 from MSoegtropIMC/cygwin-test-release-2

Pull request merge
MSoegtropIMCpushed 2 commits to main • 972dbc8…93afd1d • 
on Jan 16

Merge pull request #458 from MSoegtropIMC/cygwin-test-release

Pull request merge
MSoegtropIMCpushed 2 commits to coq-ci • 98af8ad…0bc993e • 
on Jan 16

Deleted branch

SkySkimmerdeleted rocqide • 
on Jan 16

Merge pull request #460 from coq/rocqide

Pull request merge
SkySkimmerpushed 2 commits to coq-ci • 33f0dc4…98af8ad • 
on Jan 16

More rocqide renaming

SkySkimmercreated rocqide • d931040 • 
on Jan 16

Merge pull request #457 from proux01/coqide_ico

Pull request merge
proux01pushed 2 commits to coq-ci • e99ad1c…33f0dc4 • 
on Jan 15

Merge pull request #456 from proux01/coq_20036

Pull request merge
proux01pushed 3 commits to coq-ci • 0a5decb…e99ad1c • 
on Jan 15

Merge pull request #454 from MSoegtropIMC/2025.01-prep-6

Pull request merge
MSoegtropIMCpushed 4 commits to main • cfaa14b…972dbc8 • 
on Dec 20, 2024

Merge pull request #453 from MSoegtropIMC/2025.01-prep-5

Pull request merge
MSoegtropIMCpushed 4 commits to main • efaead8…cfaa14b • 
on Dec 17, 2024

Merge pull request #452 from MSoegtropIMC/2025.01-prep-4

Pull request merge
MSoegtropIMCpushed 4 commits to main • ca39f72…efaead8 • 
on Dec 9, 2024

Merge pull request #447 from caelum02/caelum02-patch-1

Pull request merge
MSoegtropIMCpushed 2 commits to main • b03df97…ca39f72 • 
on Dec 6, 2024

Merge pull request #451 from MSoegtropIMC/2025.01-prep-3-windows

Pull request merge
MSoegtropIMCpushed 4 commits to main • de85c30…b03df97 • 
on Dec 6, 2024

Merge pull request #450 from MSoegtropIMC/8.20-prep-1

Pull request merge
MSoegtropIMCpushed 6 commits to main • 7c4352c…de85c30 • 
on Dec 5, 2024

Deleted branch

MSoegtropIMCdeleted 8.19-release-prep-2 • 
on Dec 4, 2024

Coq-CI: add separate pick for CI

MSoegtropIMCpushed 1 commit to coq-ci • 594b1a5…0a5decb • 
on Dec 3, 2024

Windows installer: handle case that CompCert is not installed

Force push
MSoegtropIMCforce pushed to coq-ci • 2ffcffc…594b1a5 • 
on Dec 3, 2024

Merge pull request #448 from MSoegtropIMC/release-2024.10.1

Pull request merge
MSoegtropIMCpushed 2 commits to main • 1a7db05…7c4352c • 
on Dec 2, 2024

Merge pull request #429 from jfehrle/ltac2_debugger

Pull request merge
MSoegtropIMCpushed 2 commits to main • b2b4f44…1a7db05 • 
on Nov 19, 2024

Merge pull request #445 from MSoegtropIMC/opam-230-adjustments

Pull request merge
MSoegtropIMCpushed 2 commits to main • 55afa8b…b2b4f44 • 
on Nov 15, 2024

Merge pull request #444 from rtetley/update-readme

Pull request merge
MSoegtropIMCpushed 2 commits to main • 6f5ba3a…55afa8b • 
on Oct 29, 2024

Merge pull request #443 from MSoegtropIMC/remove-release-in-progress

Pull request merge
MSoegtropIMCpushed 2 commits to main • 483a341…6f5ba3a • 
on Oct 28, 2024

Merge pull request #440 from MSoegtropIMC/8.19-release-prep-3

Pull request merge
MSoegtropIMCpushed 2 commits to main • 508bf23…483a341 • 
on Oct 17, 2024

Merge pull request #437 from coq/8.19-release-prep-2

Pull request merge
MSoegtropIMCpushed 2 commits to main • 7a2aab3…508bf23 • 
on Oct 14, 2024

- Added more details on release process to maintainer_doc/release_pro…

MSoegtropIMCcreated 8.19-release-prep-2 • 42ee444 • 
on Oct 14, 2024

Merge pull request #436 from MSoegtropIMC/8.19-release-prep-1

Pull request merge
MSoegtropIMCpushed 2 commits to main • 8ea5c21…7a2aab3 • 
on Oct 14, 2024