Skip to content

Actions: MSoegtropIMC/coq

Actions

Windows CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Windows: fix path normalization in coqdep Windows CI #8: Commit fdf332e pushed by MSoegtropIMC
October 7, 2024 09:20 51m 4s windows-fix-coqdep-8.20
windows-fix-coqdep-8.20
October 7, 2024 09:20 51m 4s
Windows: fix path normalization in coqdep Windows CI #7: Commit 87ea1a0 pushed by MSoegtropIMC
October 3, 2024 13:01 45m 34s windows-fix-coqdep-m
windows-fix-coqdep-m
October 3, 2024 13:01 45m 34s
Windows: fix path normalization in coqdep Windows CI #6: Commit 2b93006 pushed by MSoegtropIMC
October 3, 2024 12:59 36m 25s windows-fix-coqdep
windows-fix-coqdep
October 3, 2024 12:59 36m 25s
coqdep: Windows: fix normalisation of paths containing \ Windows CI #5: Commit 8239bfe pushed by MSoegtropIMC
August 11, 2023 15:14 36m 59s fix-windows-paths
fix-windows-paths
August 11, 2023 15:14 36m 59s
coqdep: Windows: fix normalisation of paths containing \ Windows CI #4: Commit e8e338f pushed by MSoegtropIMC
August 11, 2023 15:09 38m 43s fix-windows-paths
fix-windows-paths
August 11, 2023 15:09 38m 43s
CI: adjust Windows CI to changes in Coq Platform (folder name) Windows CI #3: Commit ffae5a7 pushed by MSoegtropIMC
July 21, 2023 08:56 1h 5m 22s fix-windows-ci
fix-windows-ci
July 21, 2023 08:56 1h 5m 22s