Skip to content

Actions: coq/platform

Actions

Ubuntu

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ubuntu.yml
688 workflow runs
688 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Ubuntu Ubuntu #2017: Scheduled
November 30, 2024 01:15 2h 49m 4s main
main
November 30, 2024 01:15 2h 49m 4s
Ubuntu Ubuntu #2016: Scheduled
November 29, 2024 01:17 2h 49m 10s main
main
November 29, 2024 01:17 2h 49m 10s
Ubuntu Ubuntu #2015: Scheduled
November 28, 2024 01:17 2h 49m 36s main
main
November 28, 2024 01:17 2h 49m 36s
Ubuntu Ubuntu #2014: Scheduled
November 27, 2024 01:18 2h 47m 0s main
main
November 27, 2024 01:18 2h 47m 0s
Fixed minor Typo in MacOS installation doc Ubuntu #2013: Pull request #447 opened by caelum02
November 26, 2024 05:37 2h 52m 53s caelum02:caelum02-patch-1
caelum02:caelum02-patch-1
November 26, 2024 05:37 2h 52m 53s
Ubuntu Ubuntu #2012: Scheduled
November 26, 2024 01:16 1h 3m 19s main
main
November 26, 2024 01:16 1h 3m 19s
Ubuntu Ubuntu #2011: Scheduled
November 25, 2024 01:17 2h 49m 27s main
main
November 25, 2024 01:17 2h 49m 27s
Ubuntu Ubuntu #2010: Scheduled
November 24, 2024 01:20 2h 48m 53s main
main
November 24, 2024 01:20 2h 48m 53s
Ubuntu Ubuntu #2009: Scheduled
November 23, 2024 01:13 2h 50m 0s main
main
November 23, 2024 01:13 2h 50m 0s
Ubuntu Ubuntu #2008: Scheduled
November 22, 2024 01:16 2h 51m 30s main
main
November 22, 2024 01:16 2h 51m 30s
Ubuntu Ubuntu #2007: Scheduled
November 21, 2024 01:15 2h 50m 40s main
main
November 21, 2024 01:15 2h 50m 40s
Ubuntu Ubuntu #2006: Scheduled
November 20, 2024 01:15 2h 50m 54s main
main
November 20, 2024 01:15 2h 50m 54s
Merge pull request #429 from jfehrle/ltac2_debugger Ubuntu #2005: Commit 1a7db05 pushed by MSoegtropIMC
November 19, 2024 09:45 2h 45m 59s main
main
November 19, 2024 09:45 2h 45m 59s
Ubuntu Ubuntu #2004: Scheduled
November 19, 2024 01:16 2h 49m 40s main
main
November 19, 2024 01:16 2h 49m 40s
Add a pick for 8.19.2 with the Ltac2 debugger (preview) Ubuntu #2003: Pull request #429 synchronize by jfehrle
November 18, 2024 18:25 2h 48m 19s jfehrle:ltac2_debugger
jfehrle:ltac2_debugger
November 18, 2024 18:25 2h 48m 19s
Add a pick for 8.19.2 with the Ltac2 debugger (preview) Ubuntu #2002: Pull request #429 synchronize by jfehrle
November 18, 2024 17:38 34m 45s jfehrle:ltac2_debugger
jfehrle:ltac2_debugger
November 18, 2024 17:38 34m 45s
Ubuntu Ubuntu #2001: Scheduled
November 18, 2024 01:17 2h 50m 26s main
main
November 18, 2024 01:17 2h 50m 26s
Ubuntu Ubuntu #2000: Scheduled
November 17, 2024 01:20 2h 51m 12s main
main
November 17, 2024 01:20 2h 51m 12s
Add a pick for 8.19.2 with the Ltac2 debugger (preview) Ubuntu #1999: Pull request #429 synchronize by jfehrle
November 16, 2024 21:25 2h 48m 16s jfehrle:ltac2_debugger
jfehrle:ltac2_debugger
November 16, 2024 21:25 2h 48m 16s
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
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) 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
Ubuntu Ubuntu #1995: Scheduled
November 16, 2024 01:14 2h 46m 18s main
main
November 16, 2024 01:14 2h 46m 18s
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
Ubuntu Ubuntu #1993: Scheduled
November 15, 2024 01:16 8m 41s main
main
November 15, 2024 01:16 8m 41s