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 #2711 from silene/flocq-4.1.3 CI #77: Commit 67bb56e pushed by silene
September 8, 2023 08:56 3m 41s master
master
September 8, 2023 08:56 3m 41s
Flocq 4.1.3 CI #76: Pull request #2711 opened by silene
September 8, 2023 08:24 3m 24s silene:flocq-4.1.3
silene:flocq-4.1.3
September 8, 2023 08:24 3m 24s
Add package for coq's bench for neural-net interp project CI #75: Pull request #2709 synchronize by JasonGross
September 8, 2023 03:37 3m 29s JasonGross:add-neural-net-coq-interp
JasonGross:add-neural-net-coq-interp
September 8, 2023 03:37 3m 29s
Make vcfloat compatible with coq-native CI #74: Pull request #2710 opened by JasonGross
September 8, 2023 03:28 7m 11s JasonGross:fix-vcfloat-native
JasonGross:fix-vcfloat-native
September 8, 2023 03:28 7m 11s
Fix coq-vst.2.12 to work with coq-native installed CI #73: Pull request #2708 synchronize by JasonGross
September 8, 2023 03:13 3m 26s JasonGross:fix-vst-native
JasonGross:fix-vst-native
September 8, 2023 03:13 3m 26s
Fix coq-vst.2.12 to work with coq-native installed CI #72: Pull request #2708 synchronize by JasonGross
September 8, 2023 02:53 3m 17s JasonGross:fix-vst-native
JasonGross:fix-vst-native
September 8, 2023 02:53 3m 17s
Add package for coq's bench for neural-net interp project CI #71: Pull request #2709 opened by JasonGross
September 8, 2023 02:43 3m 15s JasonGross:add-neural-net-coq-interp
JasonGross:add-neural-net-coq-interp
September 8, 2023 02:43 3m 15s
Fix coq-vst.2.12 to work with coq-native installed CI #70: Pull request #2708 opened by JasonGross
September 8, 2023 02:16 3m 57s JasonGross:fix-vst-native
JasonGross:fix-vst-native
September 8, 2023 02:16 3m 57s
Make coq-interval.4.8.0 compatible with flocq 4.1.2 CI #69: Pull request #2707 opened by JasonGross
September 8, 2023 01:48 4m 14s JasonGross:fix-interval
JasonGross:fix-interval
September 8, 2023 01:48 4m 14s
Merge pull request #2706 from bacam/coq-bbv-1.3-upper-bound CI #68: Commit 6a8defd pushed by palmskog
September 7, 2023 19:01 4m 59s master
master
September 7, 2023 19:01 4m 59s
BBV 1.3 isn't compatible with recent Coq versions CI #67: Pull request #2706 opened by bacam
September 7, 2023 15:51 3m 13s bacam:coq-bbv-1.3-upper-bound
bacam:coq-bbv-1.3-upper-bound
September 7, 2023 15:51 3m 13s
Merge pull request #2705 from proux01/hb_drop_815 CI #66: Commit 6ec9dd9 pushed by proux01
September 7, 2023 11:45 4m 49s master
master
September 7, 2023 11:45 4m 49s
Adapt to https://github.com/math-comp/hierarchy-builder/pull/384 CI #65: Pull request #2705 opened by proux01
September 7, 2023 11:08 3m 50s proux01:hb_drop_815
proux01:hb_drop_815
September 7, 2023 11:08 3m 50s
Merge pull request #2704 from erikmd/fix-mathcomp-dev CI #64: Commit 85ea021 pushed by proux01
September 5, 2023 11:58 4m 35s master
master
September 5, 2023 11:58 4m 35s
fix(coq-mathcomp-ssreflect.dev): Relax elpi constraint to allow coq.8.16 CI #63: Pull request #2704 opened by erikmd
September 5, 2023 10:49 3m 46s erikmd:fix-mathcomp-dev
erikmd:fix-mathcomp-dev
September 5, 2023 10:49 3m 46s
Merge pull request #2703 from proux01/coq_elpi_dev CI #62: Commit 463eae0 pushed by proux01
September 5, 2023 08:46 4m 8s master
master
September 5, 2023 08:46 4m 8s
coq-elpi.dev no longer compiles with Coq 8.18 CI #61: Pull request #2703 opened by proux01
September 5, 2023 08:09 3m 22s proux01:coq_elpi_dev
proux01:coq_elpi_dev
September 5, 2023 08:09 3m 22s
Merge pull request #2700 from palmskog/mc-bounds CI #59: Commit dc80ac3 pushed by palmskog
September 3, 2023 11:11 3m 19s master
master
September 3, 2023 11:11 3m 19s
Merge pull request #2701 from palmskog/fcsl-pcm-htt-8.18 CI #58: Commit bfbfd8d pushed by palmskog
September 3, 2023 11:01 3m 18s master
master
September 3, 2023 11:01 3m 18s
coq-fcsl-pcm.1.8.0 and coq-htt.1.3.0 are compatible with Coq 8.18 CI #57: Pull request #2701 opened by palmskog
September 3, 2023 10:15 3m 5s palmskog:fcsl-pcm-htt-8.18
palmskog:fcsl-pcm-htt-8.18
September 3, 2023 10:15 3m 5s
Upper MathComp bounds for some packages CI #56: Pull request #2700 opened by palmskog
September 3, 2023 10:12 4m 15s palmskog:mc-bounds
palmskog:mc-bounds
September 3, 2023 10:12 4m 15s
Merge pull request #2699 from palmskog/algebra-tactics-1.1.1-8.18 CI #55: Commit a27883f pushed by palmskog
September 2, 2023 16:55 3m 45s master
master
September 2, 2023 16:55 3m 45s
coq-mathcomp-algebra-tactics.1.1.1 works on Coq 8.18 CI #54: Pull request #2699 opened by palmskog
September 2, 2023 15:44 3m 41s palmskog:algebra-tactics-1.1.1-8.18
palmskog:algebra-tactics-1.1.1-8.18
September 2, 2023 15:44 3m 41s
Merge pull request #2698 from proux01/coqeal_200 CI #53: Commit 3d650c3 pushed by palmskog
September 2, 2023 10:12 4m 21s master
master
September 2, 2023 10:12 4m 21s
Add CoqEAL 2.0.0 CI #52: Pull request #2698 opened by proux01
September 2, 2023 09:19 3m 14s proux01:coqeal_200
proux01:coqeal_200
September 2, 2023 09:19 3m 14s
ProTip! You can narrow down the results and go further in time using created:<2023-09-02 or the other filters available.