Skip to content

Actions: coq/platform

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,638 workflow runs
2,638 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add a pick for 8.19.2 with the Ltac2 debugger (preview) Macos #1978: Pull request #429 synchronize by jfehrle
November 16, 2024 21:25 1h 17m 29s jfehrle:ltac2_debugger
jfehrle:ltac2_debugger
November 16, 2024 21:25 1h 17m 29s
Give more detail on creating customized versions Ubuntu #1998: Pull request #446 opened by jfehrle
November 16, 2024 06:01 4h 49m 24s jfehrle:doc_update
jfehrle:doc_update
November 16, 2024 06:01 4h 49m 24s
Give more detail on creating customized versions Macos #1977: Pull request #446 opened by jfehrle
November 16, 2024 06:01 2h 14m 54s jfehrle:doc_update
jfehrle:doc_update
November 16, 2024 06:01 2h 14m 54s
Give more detail on creating customized versions Windows #2043: Pull request #446 opened by jfehrle
November 16, 2024 06:01 3h 31m 23s jfehrle:doc_update
jfehrle:doc_update
November 16, 2024 06:01 3h 31m 23s
Add a pick for 8.19.2 with the Ltac2 debugger (preview) Ubuntu #1997: Pull request #429 synchronize by jfehrle
November 16, 2024 05:52 3h 51m 2s jfehrle:ltac2_debugger
jfehrle:ltac2_debugger
November 16, 2024 05:52 3h 51m 2s
Add a pick for 8.19.2 with the Ltac2 debugger (preview) Windows #2042: Pull request #429 synchronize by jfehrle
November 16, 2024 05:52 2h 52m 52s jfehrle:ltac2_debugger
jfehrle:ltac2_debugger
November 16, 2024 05:52 2h 52m 52s
Add a pick for 8.19.2 with the Ltac2 debugger (preview) Macos #1976: Pull request #429 synchronize by jfehrle
November 16, 2024 05:52 2h 16m 57s jfehrle:ltac2_debugger
jfehrle:ltac2_debugger
November 16, 2024 05:52 2h 16m 57s
Add a pick for 8.19.2 with the Ltac2 debugger (preview) Macos #1975: Pull request #429 synchronize by jfehrle
November 16, 2024 05:47 2h 7m 11s jfehrle:ltac2_debugger
jfehrle:ltac2_debugger
November 16, 2024 05:47 2h 7m 11s
Add a pick for 8.19.2 with the Ltac2 debugger (preview) Ubuntu #1996: Pull request #429 synchronize by jfehrle
November 16, 2024 05:47 2h 49m 1s jfehrle:ltac2_debugger
jfehrle:ltac2_debugger
November 16, 2024 05:47 2h 49m 1s
Add a pick for 8.19.2 with the Ltac2 debugger (preview) Windows #2041: Pull request #429 synchronize by jfehrle
November 16, 2024 05:47 2h 45m 25s jfehrle:ltac2_debugger
jfehrle:ltac2_debugger
November 16, 2024 05:47 2h 45m 25s
Windows Windows #2040: Scheduled
November 16, 2024 01:50 3h 2m 29s main
main
November 16, 2024 01:50 3h 2m 29s
Ubuntu_dev Ubuntu_dev #787: Scheduled
November 16, 2024 01:42 1h 6m 10s main
main
November 16, 2024 01:42 1h 6m 10s
Ubuntu Ubuntu #1995: Scheduled
November 16, 2024 01:14 2h 46m 18s main
main
November 16, 2024 01:14 2h 46m 18s
Macos Macos #1974: Scheduled
November 16, 2024 00:53 1h 25m 21s main
main
November 16, 2024 00:53 1h 25m 21s
Merge pull request #445 from MSoegtropIMC/opam-230-adjustments Windows #2039: Commit b2b4f44 pushed by MSoegtropIMC
November 15, 2024 12:37 2h 44m 52s main
main
November 15, 2024 12:37 2h 44m 52s
Merge pull request #445 from MSoegtropIMC/opam-230-adjustments Ubuntu #1994: Commit b2b4f44 pushed by MSoegtropIMC
November 15, 2024 12:37 2h 46m 13s main
main
November 15, 2024 12:37 2h 46m 13s
Merge pull request #445 from MSoegtropIMC/opam-230-adjustments Macos #1973: Commit b2b4f44 pushed by MSoegtropIMC
November 15, 2024 12:37 1h 27m 39s main
main
November 15, 2024 12:37 1h 27m 39s
Windows Windows #2038: Scheduled
November 15, 2024 01:53 2h 49m 43s main
main
November 15, 2024 01:53 2h 49m 43s
Ubuntu_dev Ubuntu_dev #786: Scheduled
November 15, 2024 01:44 10m 29s main
main
November 15, 2024 01:44 10m 29s
Ubuntu Ubuntu #1993: Scheduled
November 15, 2024 01:16 8m 41s main
main
November 15, 2024 01:16 8m 41s
Macos Macos #1972: Scheduled
November 15, 2024 00:54 11m 2s main
main
November 15, 2024 00:54 11m 2s
Opam: add back 'extra-files' field for opam 2.3.0 Ubuntu #1992: Pull request #445 opened by MSoegtropIMC
November 14, 2024 13:33 2h 49m 49s MSoegtropIMC:opam-230-adjustments
MSoegtropIMC:opam-230-adjustments
November 14, 2024 13:33 2h 49m 49s
Opam: add back 'extra-files' field for opam 2.3.0 Macos #1971: Pull request #445 opened by MSoegtropIMC
November 14, 2024 13:33 1h 29m 45s MSoegtropIMC:opam-230-adjustments
MSoegtropIMC:opam-230-adjustments
November 14, 2024 13:33 1h 29m 45s
Opam: add back 'extra-files' field for opam 2.3.0 Windows #2037: Pull request #445 opened by MSoegtropIMC
November 14, 2024 13:33 2h 48m 53s MSoegtropIMC:opam-230-adjustments
MSoegtropIMC:opam-230-adjustments
November 14, 2024 13:33 2h 48m 53s
Windows Windows #2036: Scheduled
November 14, 2024 01:46 2h 44m 16s main
main
November 14, 2024 01:46 2h 44m 16s