Skip to content

Actions: coq/opam

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,334 workflow runs
1,334 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #2787 from LasseBlaauwbroek/coq-tactician-beta2-1 CI #285: Commit 3e58b8a pushed by palmskog
October 21, 2023 09:37 6m 22s master
master
October 21, 2023 09:37 6m 22s
Merge pull request #2790 from LasseBlaauwbroek/remove-broken-tactician CI #284: Commit b21b39b pushed by palmskog
October 21, 2023 09:17 6m 41s master
master
October 21, 2023 09:17 6m 41s
Remove broken Tactician beta 2 packages CI #283: Pull request #2790 opened by LasseBlaauwbroek
October 21, 2023 04:18 5m 21s LasseBlaauwbroek:remove-broken-tactician
LasseBlaauwbroek:remove-broken-tactician
October 21, 2023 04:18 5m 21s
Merge pull request #2789 from LasseBlaauwbroek/tactician-avoid CI #282: Commit a4cff4c pushed by palmskog
October 20, 2023 20:49 5m 38s master
master
October 20, 2023 20:49 5m 38s
Tactician: Version beta2.1 CI #281: Pull request #2787 synchronize by LasseBlaauwbroek
October 20, 2023 18:31 6m 8s LasseBlaauwbroek:coq-tactician-beta2-1
LasseBlaauwbroek:coq-tactician-beta2-1
October 20, 2023 18:31 6m 8s
Avoid beta2 release of Tactician due to critical bug CI #280: Pull request #2789 opened by LasseBlaauwbroek
October 20, 2023 18:28 5m 24s LasseBlaauwbroek:tactician-avoid
LasseBlaauwbroek:tactician-avoid
October 20, 2023 18:28 5m 24s
Tactician: Version beta2.1 CI #279: Pull request #2787 synchronize by LasseBlaauwbroek
October 20, 2023 18:26 5m 42s LasseBlaauwbroek:coq-tactician-beta2-1
LasseBlaauwbroek:coq-tactician-beta2-1
October 20, 2023 18:26 5m 42s
Merge pull request #2788 from damien-pous/master CI #278: Commit 86f1d6f pushed by palmskog
October 20, 2023 17:25 6m 15s master
master
October 20, 2023 17:25 6m 15s
coq-relation-algebra 1.7.10, for Coq 8.18 CI #277: Pull request #2788 synchronize by damien-pous
October 20, 2023 16:32 13m 15s damien-pous:master
damien-pous:master
October 20, 2023 16:32 13m 15s
coq-relation-algebra 1.7.10, for Coq 8.18 CI #276: Pull request #2788 opened by damien-pous
October 20, 2023 16:24 15m 29s damien-pous:master
damien-pous:master
October 20, 2023 16:24 15m 29s
Merge pull request #2786 from palmskog/coinduction-1.8 CI #275: Commit 8ee4250 pushed by palmskog
October 20, 2023 15:40 21m 30s master
master
October 20, 2023 15:40 21m 30s
Tactician: Version beta2.1 CI #274: Pull request #2787 opened by LasseBlaauwbroek
October 20, 2023 14:43 15m 12s LasseBlaauwbroek:coq-tactician-beta2-1
LasseBlaauwbroek:coq-tactician-beta2-1
October 20, 2023 14:43 15m 12s
add coq-coinduction.1.8, adjust Coq bound for coq-coinduction.1.7 CI #273: Pull request #2786 opened by palmskog
October 20, 2023 14:35 7m 48s palmskog:coinduction-1.8
palmskog:coinduction-1.8
October 20, 2023 14:35 7m 48s
Merge pull request #2785 from LasseBlaauwbroek/license-geometric-algebra CI #272: Commit 2ed9f46 pushed by palmskog
October 20, 2023 14:03 33m 41s master
master
October 20, 2023 14:03 33m 41s
Fix licenses for coq-geometric-algebra CI #271: Pull request #2785 synchronize by LasseBlaauwbroek
October 20, 2023 12:52 34m 1s LasseBlaauwbroek:license-geometric-algebra
LasseBlaauwbroek:license-geometric-algebra
October 20, 2023 12:52 34m 1s
Merge pull request #2784 from LasseBlaauwbroek/fix-licenses CI #270: Commit a43229f pushed by palmskog
October 20, 2023 08:05 5m 44s master
master
October 20, 2023 08:05 5m 44s
Merge pull request #2783 from LasseBlaauwbroek/license-ltac-iter CI #269: Commit ede367c pushed by palmskog
October 20, 2023 07:24 5m 45s master
master
October 20, 2023 07:24 5m 45s
Merge pull request #2780 from LasseBlaauwbroek/tactician-beta2-814-815 CI #268: Commit 5468034 pushed by palmskog
October 20, 2023 06:14 5m 55s master
master
October 20, 2023 06:14 5m 55s
Fix licenses for coq-geometric-algebra CI #267: Pull request #2785 opened by LasseBlaauwbroek
October 20, 2023 03:53 5m 50s LasseBlaauwbroek:license-geometric-algebra
LasseBlaauwbroek:license-geometric-algebra
October 20, 2023 03:53 5m 50s
Fix a bunch of licenses CI #266: Pull request #2784 opened by LasseBlaauwbroek
October 20, 2023 03:48 5m 34s LasseBlaauwbroek:fix-licenses
LasseBlaauwbroek:fix-licenses
October 20, 2023 03:48 5m 34s
Fix license of coq-ltac-iter from "BSD" to "MIT" CI #265: Pull request #2783 opened by LasseBlaauwbroek
October 20, 2023 03:25 5m 49s LasseBlaauwbroek:license-ltac-iter
LasseBlaauwbroek:license-ltac-iter
October 20, 2023 03:25 5m 49s
Merge pull request #2779 from LasseBlaauwbroek/tactician-beta2-812-813 CI #264: Commit 954c4a2 pushed by palmskog
October 19, 2023 21:58 5m 50s master
master
October 19, 2023 21:58 5m 50s
Merge pull request #2781 from LasseBlaauwbroek/tactician-beta2-816-818 CI #263: Commit 1e1aef7 pushed by palmskog
October 19, 2023 20:53 6m 36s master
master
October 19, 2023 20:53 6m 36s
Tactician beta2 for Coq 8.16 and 8.18 CI #262: Pull request #2781 synchronize by palmskog
October 19, 2023 19:53 6m 2s LasseBlaauwbroek:tactician-beta2-816-818
LasseBlaauwbroek:tactician-beta2-816-818
October 19, 2023 19:53 6m 2s
Merge pull request #2782 from vzaliva/master CI #261: Commit a6d1951 pushed by palmskog
October 19, 2023 19:53 5m 42s master
master
October 19, 2023 19:53 5m 42s
ProTip! You can narrow down the results and go further in time using created:<2023-10-19 or the other filters available.