Skip to content

Actions: coq/opam

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #2756 from JoJoDeveloping/master CI #202: Commit 392081d pushed by palmskog
October 11, 2023 19:15 5m 55s master
master
October 11, 2023 19:15 5m 55s
Release Iris 4.1.0 and std++ 1.9.0 CI #201: Pull request #2756 opened by JoJoDeveloping
October 11, 2023 18:06 6m 54s JoJoDeveloping:master
JoJoDeveloping:master
October 11, 2023 18:06 6m 54s
Merge pull request #2755 from hilyun07/master CI #200: Commit 22309b8 pushed by palmskog
October 11, 2023 14:57 6m 58s master
master
October 11, 2023 14:57 6m 58s
paco supports coq 8.18.x CI #199: Pull request #2755 synchronize by palmskog
October 11, 2023 07:06 6m 29s hilyun07:master
hilyun07:master
October 11, 2023 07:06 6m 29s
paco supports coq 8.18.x CI #198: Pull request #2755 opened by hilyun07
October 11, 2023 05:33 5m 40s hilyun07:master
hilyun07:master
October 11, 2023 05:33 5m 40s
Merge pull request #2754 from lemonidas/master CI #197: Commit 7cad82a pushed by palmskog
October 10, 2023 20:43 5m 49s master
master
October 10, 2023 20:43 5m 49s
coq-quickchick v2.0.1 supporting Coq 8.18 CI #196: Pull request #2754 opened by lemonidas
October 10, 2023 16:33 6m 34s lemonidas:master
lemonidas:master
October 10, 2023 16:33 6m 34s
Merge pull request #2752 from thery/coqprime CI #195: Commit 72ba63a pushed by palmskog
October 8, 2023 19:11 6m 18s master
master
October 8, 2023 19:11 6m 18s
coq 8.18 + platform for coqprime CI #194: Pull request #2752 synchronize by thery
October 8, 2023 18:49 5m 32s thery:coqprime
thery:coqprime
October 8, 2023 18:49 5m 32s
coq 8.18 + platform for coqprime CI #193: Pull request #2752 synchronize by thery
October 8, 2023 18:47 5m 27s thery:coqprime
thery:coqprime
October 8, 2023 18:47 5m 27s
Merge pull request #2753 from palmskog/compcert-3.13-8.18 CI #192: Commit 17ea0f6 pushed by palmskog
October 7, 2023 18:17 5m 48s master
master
October 7, 2023 18:17 5m 48s
CompCert 3.13 works on Coq 8.18 CI #191: Pull request #2753 opened by palmskog
October 7, 2023 17:11 5m 29s palmskog:compcert-3.13-8.18
palmskog:compcert-3.13-8.18
October 7, 2023 17:11 5m 29s
coq 8.18 + platform for coqprime CI #190: Pull request #2752 synchronize by thery
October 7, 2023 11:00 6m 13s thery:coqprime
thery:coqprime
October 7, 2023 11:00 6m 13s
coq 8.18 + platform for coqprime CI #189: Pull request #2752 synchronize by thery
October 7, 2023 11:00 5m 51s thery:coqprime
thery:coqprime
October 7, 2023 11:00 5m 51s
coq 8.18 + platform for coqprime CI #188: Pull request #2752 opened by thery
October 7, 2023 10:58 5m 37s thery:coqprime
thery:coqprime
October 7, 2023 10:58 5m 37s
Merge pull request #2751 from palmskog/buchberger-8.17 CI #187: Commit 71a92d5 pushed by palmskog
October 7, 2023 07:01 5m 55s master
master
October 7, 2023 07:01 5m 55s
Merge pull request #2750 from palmskog/ott-0.32-8.6 CI #186: Commit b27d819 pushed by palmskog
October 7, 2023 07:01 6m 39s master
master
October 7, 2023 07:01 6m 39s
add coq-buchberger.8.17.0 CI #185: Pull request #2751 opened by palmskog
October 7, 2023 06:31 6m 11s palmskog:buchberger-8.17
palmskog:buchberger-8.17
October 7, 2023 06:31 6m 11s
coq-ott.0.32 requires 8.6 or later CI #184: Pull request #2750 opened by palmskog
October 7, 2023 06:26 5m 30s palmskog:ott-0.32-8.6
palmskog:ott-0.32-8.6
October 7, 2023 06:26 5m 30s
Merge pull request #2749 from tchajed/coq-record-update-0.3.3 CI #183: Commit 55aaacb pushed by palmskog
October 5, 2023 18:53 5m 51s master
master
October 5, 2023 18:53 5m 51s
release coq-record-update v0.3.3 CI #182: Pull request #2749 opened by tchajed
October 5, 2023 17:50 5m 51s tchajed:coq-record-update-0.3.3
tchajed:coq-record-update-0.3.3
October 5, 2023 17:50 5m 51s
[coq-neural-net-interp-computed] Document incompatibility with Coq 8.… CI #181: Commit acaeb87 pushed by JasonGross
October 4, 2023 18:43 5m 40s master
master
October 4, 2023 18:43 5m 40s
[coq-neural-net-interp-computed] Document incompatibility with Coq 8.18 CI #180: Pull request #2748 opened by JasonGross
October 3, 2023 00:33 6m 14s JasonGross:nn-818-incompat
JasonGross:nn-818-incompat
October 3, 2023 00:33 6m 14s
Merge pull request #2746 from affeldt-aist/analysis.0.6.5 CI #179: Commit 4e1297a pushed by palmskog
October 2, 2023 18:44 14m 40s master
master
October 2, 2023 18:44 14m 40s
Merge pull request #2747 from palmskog/stdpp-1.8.0-8.18 CI #178: Commit b88806e pushed by palmskog
October 2, 2023 18:44 14m 36s master
master
October 2, 2023 18:44 14m 36s
ProTip! You can narrow down the results and go further in time using created:<2023-10-02 or the other filters available.