Skip to content
Windows CI

Merge pull request #27304 from Leonidas-from-XIV/dune-5.3-conflict #6

Sign in to view logs

Merge pull request #27304 from Leonidas-from-XIV/dune-5.3-conflict

Merge pull request #27304 from Leonidas-from-XIV/dune-5.3-conflict #6

Triggered via push January 23, 2025 15:18
@opam-release-botopam-release-bot
pushed 9cc7a2a
master
Status Success
Total duration 11m 3s
Artifacts –

windows.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in