Skip to content

Actions: coq/platform

Actions

Ubuntu

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ubuntu.yml
704 workflow runs
704 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Ubuntu Ubuntu #1933: Scheduled
October 5, 2024 01:11 2h 45m 45s main
main
October 5, 2024 01:11 2h 45m 45s
Ubuntu Ubuntu #1932: Scheduled
October 4, 2024 01:12 2h 46m 27s main
main
October 4, 2024 01:12 2h 46m 27s
Windows: fix coqdep for coq 8.19.2 and enable coq-quickick for Windows Ubuntu #1931: Pull request #435 opened by MSoegtropIMC
October 3, 2024 13:12 2h 42m 23s MSoegtropIMC:windows-fix-coqdep
MSoegtropIMC:windows-fix-coqdep
October 3, 2024 13:12 2h 42m 23s
Windows: fix coqdep for coq 8.19.2 and enable coq-quickick for Windows Ubuntu #1930: Pull request #434 opened by MSoegtropIMC
October 3, 2024 12:44 2h 42m 52s MSoegtropIMC:windows-fix-coqdep
MSoegtropIMC:windows-fix-coqdep
October 3, 2024 12:44 2h 42m 52s
Ubuntu Ubuntu #1929: Scheduled
October 3, 2024 01:12 2h 44m 6s main
main
October 3, 2024 01:12 2h 44m 6s
Ubuntu Ubuntu #1928: Scheduled
October 2, 2024 01:12 2h 43m 35s main
main
October 2, 2024 01:12 2h 43m 35s
Ubuntu Ubuntu #1927: Scheduled
October 1, 2024 01:18 2h 43m 19s main
main
October 1, 2024 01:18 2h 43m 19s
Merge pull request #433 from Yewzir/patch-1 Ubuntu #1926: Commit 4205af8 pushed by MSoegtropIMC
September 30, 2024 07:46 2h 44m 46s main
main
September 30, 2024 07:46 2h 44m 46s
Ubuntu Ubuntu #1925: Scheduled
September 30, 2024 01:14 2h 44m 1s main
main
September 30, 2024 01:14 2h 44m 1s
Fix typo Ubuntu #1924: Pull request #433 opened by Yewzir
September 29, 2024 21:42 2h 44m 13s Yewzir:patch-1
Yewzir:patch-1
September 29, 2024 21:42 2h 44m 13s
Ubuntu Ubuntu #1923: Scheduled
September 29, 2024 01:17 2h 46m 14s main
main
September 29, 2024 01:17 2h 46m 14s
Ubuntu Ubuntu #1922: Scheduled
September 28, 2024 01:11 2h 46m 34s main
main
September 28, 2024 01:11 2h 46m 34s
Ubuntu Ubuntu #1921: Scheduled
September 27, 2024 01:12 2h 42m 30s main
main
September 27, 2024 01:12 2h 42m 30s
Ubuntu Ubuntu #1920: Scheduled
September 26, 2024 01:11 2h 45m 38s main
main
September 26, 2024 01:11 2h 45m 38s
Ubuntu Ubuntu #1919: Scheduled
September 25, 2024 01:13 2h 45m 38s main
main
September 25, 2024 01:13 2h 45m 38s
Ubuntu Ubuntu #1918: Scheduled
September 24, 2024 01:12 2h 43m 33s main
main
September 24, 2024 01:12 2h 43m 33s
Ubuntu Ubuntu #1917: Scheduled
September 23, 2024 01:12 2h 45m 34s main
main
September 23, 2024 01:12 2h 45m 34s
Ubuntu Ubuntu #1916: Scheduled
September 22, 2024 01:16 2h 45m 21s main
main
September 22, 2024 01:16 2h 45m 21s
Ubuntu Ubuntu #1915: Scheduled
September 21, 2024 01:08 2h 43m 6s main
main
September 21, 2024 01:08 2h 43m 6s
Ubuntu Ubuntu #1914: Scheduled
September 20, 2024 01:10 2h 46m 40s main
main
September 20, 2024 01:10 2h 46m 40s
Ubuntu Ubuntu #1913: Scheduled
September 19, 2024 01:10 2h 45m 4s main
main
September 19, 2024 01:10 2h 45m 4s
Ubuntu Ubuntu #1912: Scheduled
September 18, 2024 01:09 2h 47m 9s main
main
September 18, 2024 01:09 2h 47m 9s
Merge pull request #431 from MSoegtropIMC/windows-package-fixes Ubuntu #1911: Commit ff62d7a pushed by MSoegtropIMC
September 17, 2024 07:29 2h 46m 33s main
main
September 17, 2024 07:29 2h 46m 33s
Ubuntu Ubuntu #1910: Scheduled
September 17, 2024 00:57 2h 47m 15s main
main
September 17, 2024 00:57 2h 47m 15s
Windows package fixes Ubuntu #1909: Pull request #431 opened by MSoegtropIMC
September 16, 2024 20:50 2h 47m 24s MSoegtropIMC:windows-package-fixes
MSoegtropIMC:windows-package-fixes
September 16, 2024 20:50 2h 47m 24s