Skip to content

Actions: coq-tactician/coq-tactician-stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'coq8.15' into coq8.16 CI #145: Commit 2166961 pushed by LasseBlaauwbroek
October 17, 2023 20:18 10m 19s 1.0-beta2-8.16
1.0-beta2-8.16
October 17, 2023 20:18 10m 19s
Merge branch 'coq8.14' into coq8.15 CI #144: Commit 65310dc pushed by LasseBlaauwbroek
October 17, 2023 20:17 12m 17s 1.0-beta2-8.15
1.0-beta2-8.15
October 17, 2023 20:17 12m 17s
Merge branch 'coq8.13' into coq8.14 CI #143: Commit 7cb40d9 pushed by LasseBlaauwbroek
October 17, 2023 20:15 12m 12s 1.0-beta2-8.14
1.0-beta2-8.14
October 17, 2023 20:15 12m 12s
Merge branch 'coq8.12' into coq8.13 CI #142: Commit 3694f8c pushed by LasseBlaauwbroek
October 17, 2023 20:14 9m 49s 1.0-beta2-8.13
1.0-beta2-8.13
October 17, 2023 20:14 9m 49s
Merge branch 'coq8.11' into coq8.12 CI #141: Commit 108b9ee pushed by LasseBlaauwbroek
October 17, 2023 20:14 10m 22s 1.0-beta2-8.12
1.0-beta2-8.12
October 17, 2023 20:14 10m 22s
Chance license to lgpl since this is what Coq is CI #140: Commit 62044c6 pushed by LasseBlaauwbroek
October 17, 2023 20:13 11m 28s 1.0-beta2-8.11
1.0-beta2-8.11
October 17, 2023 20:13 11m 28s