Skip to content

Actions: coq/opam

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
88 workflow run results
88 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #2709 from JasonGross/add-neural-net-coq-interp CI #89: Commit 8e333bd pushed by palmskog
September 8, 2023 21:50 4m 38s master
master
September 8, 2023 21:50 4m 38s
Add package for coq's bench for neural-net interp project CI #88: Pull request #2709 synchronize by JasonGross
September 8, 2023 17:53 3m 12s JasonGross:add-neural-net-coq-interp
JasonGross:add-neural-net-coq-interp
September 8, 2023 17:53 3m 12s
Merge pull request #2713 from silene/interval-4.8.1 CI #87: Commit 95d8ada pushed by silene
September 8, 2023 16:05 3m 23s master
master
September 8, 2023 16:05 3m 23s
Merge pull request #2712 from bacam/coq-sail-0.16 CI #86: Commit a638149 pushed by palmskog
September 8, 2023 14:57 4m 57s master
master
September 8, 2023 14:57 4m 57s
Add coq-sail package CI #85: Pull request #2712 synchronize by bacam
September 8, 2023 14:26 3m 16s bacam:coq-sail-0.16
bacam:coq-sail-0.16
September 8, 2023 14:26 3m 16s
Make vcfloat compatible with coq-native CI #84: Pull request #2710 synchronize by JasonGross
September 8, 2023 14:18 3m 3s JasonGross:fix-vcfloat-native
JasonGross:fix-vcfloat-native
September 8, 2023 14:18 3m 3s
Make vcfloat compatible with coq-native CI #83: Pull request #2710 synchronize by JasonGross
September 8, 2023 14:17 3m 41s JasonGross:fix-vcfloat-native
JasonGross:fix-vcfloat-native
September 8, 2023 14:17 3m 41s
Make vcfloat compatible with coq-native CI #82: Pull request #2710 synchronize by JasonGross
September 8, 2023 14:16 3m 15s JasonGross:fix-vcfloat-native
JasonGross:fix-vcfloat-native
September 8, 2023 14:16 3m 15s
Make vcfloat compatible with coq-native CI #81: Pull request #2710 synchronize by JasonGross
September 8, 2023 14:14 4m 17s JasonGross:fix-vcfloat-native
JasonGross:fix-vcfloat-native
September 8, 2023 14:14 4m 17s
Interval 4.8.1 CI #80: Pull request #2713 opened by silene
September 8, 2023 13:52 3m 24s silene:interval-4.8.1
silene:interval-4.8.1
September 8, 2023 13:52 3m 24s
Add coq-sail package CI #79: Pull request #2712 synchronize by bacam
September 8, 2023 12:25 3m 13s bacam:coq-sail-0.16
bacam:coq-sail-0.16
September 8, 2023 12:25 3m 13s
Add coq-sail package CI #78: Pull request #2712 opened by bacam
September 8, 2023 10:28 3m 10s bacam:coq-sail-0.16
bacam:coq-sail-0.16
September 8, 2023 10:28 3m 10s
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