Skip to content

Actions: coq/platform

Windows

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
711 workflow runs
711 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Split mathcomp
Windows #1489: Pull request #390 synchronize by MSoegtropIMC
November 17, 2023 18:44 2h 19m 50s MSoegtropIMC:split-mathcomp
November 17, 2023 18:44 2h 19m 50s
Windows
Windows #1488: Scheduled
November 17, 2023 01:20 2h 28m 18s main
November 17, 2023 01:20 2h 28m 18s
Split mathcomp
Windows #1487: Pull request #390 synchronize by MSoegtropIMC
November 16, 2023 18:01 2h 18m 18s MSoegtropIMC:split-mathcomp
November 16, 2023 18:01 2h 18m 18s
Windows
Windows #1486: Scheduled
November 16, 2023 01:20 2h 23m 4s main
November 16, 2023 01:20 2h 23m 4s
Split mathcomp
Windows #1485: Pull request #390 opened by MSoegtropIMC
November 15, 2023 14:02 3h 27m 4s MSoegtropIMC:split-mathcomp
November 15, 2023 14:02 3h 27m 4s
Merge pull request #389 from MSoegtropIMC/prepare-2023.10-2
Windows #1484: Commit 7394dfd pushed by MSoegtropIMC
November 15, 2023 09:49 5h 27m 25s main
November 15, 2023 09:49 5h 27m 25s
Windows
Windows #1483: Scheduled
November 15, 2023 01:19 2h 23m 17s main
November 15, 2023 01:19 2h 23m 17s
Prepare 2023.10 2
Windows #1482: Pull request #389 opened by MSoegtropIMC
November 14, 2023 15:44 4h 28m 53s MSoegtropIMC:prepare-2023.10-2
November 14, 2023 15:44 4h 28m 53s
Windows
Windows #1481: Scheduled
November 14, 2023 01:18 3h 35m 12s main
November 14, 2023 01:18 3h 35m 12s
Windows
Windows #1480: Scheduled
November 13, 2023 01:19 3h 48m 3s main
November 13, 2023 01:19 3h 48m 3s
Windows
Windows #1479: Scheduled
November 12, 2023 01:22 4h 12m 21s main
November 12, 2023 01:22 4h 12m 21s
Windows
Windows #1478: Scheduled
November 11, 2023 02:14 3h 30m 20s main
November 11, 2023 02:14 3h 30m 20s
Windows
Windows #1477: Scheduled
November 10, 2023 01:17 40m 31s main
November 10, 2023 01:17 40m 31s
Windows
Windows #1476: Scheduled
November 9, 2023 01:18 5h 19m 43s main
November 9, 2023 01:18 5h 19m 43s
Windows
Windows #1475: Scheduled
November 8, 2023 01:17 4h 33m 23s main
November 8, 2023 01:17 4h 33m 23s
Windows
Windows #1474: Scheduled
November 7, 2023 01:18 2h 16m 20s main
November 7, 2023 01:18 2h 16m 20s
Windows
Windows #1473: Scheduled
November 6, 2023 01:19 4h 28m 2s main
November 6, 2023 01:19 4h 28m 2s
Windows
Windows #1472: Scheduled
November 5, 2023 01:22 3h 23m 13s main
November 5, 2023 01:22 3h 23m 13s
Windows
Windows #1471: Scheduled
November 4, 2023 01:16 3h 32m 59s main
November 4, 2023 01:16 3h 32m 59s
Merge pull request #385 from rtetley/upgrade-algebra-tactics
Windows #1470: Commit c3c4422 pushed by rtetley
November 3, 2023 10:23 4h 22m 25s main
November 3, 2023 10:23 4h 22m 25s
Windows
Windows #1469: Scheduled
November 3, 2023 01:17 5h 16m 0s main
November 3, 2023 01:17 5h 16m 0s
Remove unecessary packages
Windows #1468: Pull request #388 opened by rtetley
November 2, 2023 15:30 6h 45m 15s rtetley:remove-packages
November 2, 2023 15:30 6h 45m 15s
Correct fiat crypto and dependencies
Windows #1467: Pull request #387 opened by rtetley
November 2, 2023 10:25 8h 59m 25s rtetley:fiat-crypto
November 2, 2023 10:25 8h 59m 25s
Upgrade algebra tactics
Windows #1466: Pull request #385 opened by rtetley
November 2, 2023 08:25 10h 21m 17s rtetley:upgrade-algebra-tactics
November 2, 2023 08:25 10h 21m 17s
Merge pull request #384 from rtetley/dpdgraph
Windows #1465: Commit 5982975 pushed by rtetley
November 2, 2023 07:39 8h 52m 6s main
November 2, 2023 07:39 8h 52m 6s
ProTip! You can narrow down the results and go further in time using created:<2023-11-02 or the other filters available.