Skip to content

Actions: coq/platform

Actions

Ubuntu

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ubuntu.yml
677 workflow runs
677 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Updating mtac2 version Ubuntu #1440: Pull request #383 opened by rtetley
October 31, 2023 14:27 5h 26m 53s rtetley:mtac2
rtetley:mtac2
October 31, 2023 14:27 5h 26m 53s
Merge pull request #381 from rtetley/elpi Ubuntu #1439: Commit a07d6ac pushed by rtetley
October 31, 2023 09:54 5h 19m 31s main
main
October 31, 2023 09:54 5h 19m 31s
Ubuntu Ubuntu #1438: Scheduled
October 31, 2023 00:55 6h 0m 25s main
main
October 31, 2023 00:55 6h 0m 25s
Ubuntu Ubuntu #1437: Scheduled
October 30, 2023 00:54 6h 2m 57s main
main
October 30, 2023 00:54 6h 2m 57s
Ubuntu Ubuntu #1436: Scheduled
October 29, 2023 00:57 5h 16m 38s main
main
October 29, 2023 00:57 5h 16m 38s
Ubuntu Ubuntu #1435: Scheduled
October 28, 2023 00:52 5h 11m 17s main
main
October 28, 2023 00:52 5h 11m 17s
Ubuntu Ubuntu #1434: Scheduled
October 27, 2023 00:53 6h 3m 26s main
main
October 27, 2023 00:53 6h 3m 26s
Ubuntu Ubuntu #1433: Scheduled
October 26, 2023 00:53 5h 19m 57s main
main
October 26, 2023 00:53 5h 19m 57s
Ubuntu Ubuntu #1432: Scheduled
October 25, 2023 00:54 5h 51m 2s main
main
October 25, 2023 00:54 5h 51m 2s
Merge pull request #379 from rtetley/coq-relation-algebra Ubuntu #1431: Commit ed96e7d pushed by rtetley
October 24, 2023 13:52 7h 32m 33s main
main
October 24, 2023 13:52 7h 32m 33s
Testing removal of gappa patch Ubuntu #1430: Pull request #382 opened by rtetley
October 24, 2023 09:05 8h 1m 43s rtetley:gappa-test
rtetley:gappa-test
October 24, 2023 09:05 8h 1m 43s
Updating elpi and coq-elpi. Ubuntu #1429: Pull request #381 opened by rtetley
October 24, 2023 09:03 4h 24m 54s rtetley:elpi
rtetley:elpi
October 24, 2023 09:03 4h 24m 54s
Ubuntu Ubuntu #1428: Scheduled
October 24, 2023 00:54 6h 0m 22s main
main
October 24, 2023 00:54 6h 0m 22s
add vscoq language server Ubuntu #1427: Pull request #348 synchronize by rtetley
October 23, 2023 14:13 5h 18m 4s gares:add-vscoq2
gares:add-vscoq2
October 23, 2023 14:13 5h 18m 4s
Ubuntu Ubuntu #1426: Scheduled
October 23, 2023 00:54 4h 30m 41s main
main
October 23, 2023 00:54 4h 30m 41s
Ubuntu Ubuntu #1425: Scheduled
October 22, 2023 00:58 4h 56m 53s main
main
October 22, 2023 00:58 4h 56m 53s
Ubuntu Ubuntu #1424: Scheduled
October 21, 2023 00:53 6h 0m 44s main
main
October 21, 2023 00:53 6h 0m 44s
New tag for coq-relation-algebra Ubuntu #1423: Pull request #379 opened by rtetley
October 20, 2023 12:35 4h 39m 45s rtetley:coq-relation-algebra
rtetley:coq-relation-algebra
October 20, 2023 12:35 4h 39m 45s
Merge pull request #377 from rtetley/iris-and-stdpp Ubuntu #1422: Commit 17a7a56 pushed by rtetley
October 20, 2023 12:29 6h 9m 4s main
main
October 20, 2023 12:29 6h 9m 4s
Ubuntu Ubuntu #1421: Scheduled
October 20, 2023 00:54 5h 15m 50s main
main
October 20, 2023 00:54 5h 15m 50s
Updating versions for iris and stdpp packages. Ubuntu #1420: Pull request #377 opened by rtetley
October 19, 2023 09:11 6h 38m 27s rtetley:iris-and-stdpp
rtetley:iris-and-stdpp
October 19, 2023 09:11 6h 38m 27s
Merge pull request #376 from rtetley/coq-corn-new-tag Ubuntu #1419: Commit b5f217c pushed by rtetley
October 19, 2023 06:05 5h 41m 42s main
main
October 19, 2023 06:05 5h 41m 42s
Ubuntu Ubuntu #1418: Scheduled
October 19, 2023 00:54 4h 56m 1s main
main
October 19, 2023 00:54 4h 56m 1s
Ubuntu Ubuntu #1417: Scheduled
October 18, 2023 00:54 4h 38m 47s main
main
October 18, 2023 00:54 4h 38m 47s
New tag for coq-corn Ubuntu #1416: Pull request #376 opened by rtetley
October 17, 2023 06:42 5h 30m 48s rtetley:coq-corn-new-tag
rtetley:coq-corn-new-tag
October 17, 2023 06:42 5h 30m 48s
ProTip! You can narrow down the results and go further in time using created:<2023-10-17 or the other filters available.