Skip to content

Actions: coq/opam

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
918 workflow runs
918 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
CertiCoq 0.9 for 8.19 package CI #919: Pull request #3038 synchronize by mattam82
May 29, 2024 07:18 2m 24s mattam82:certicoq-0.9-8.19
mattam82:certicoq-0.9-8.19
May 29, 2024 07:18 2m 24s
Opam package for verified extraction 0.9 CI #918: Pull request #3039 synchronize by mattam82
May 29, 2024 07:09 2m 26s mattam82:verified-extraction.0.9
mattam82:verified-extraction.0.9
May 29, 2024 07:09 2m 26s
CertiCoq 0.9 for 8.19 package CI #917: Pull request #3038 synchronize by mattam82
May 28, 2024 13:54 2m 28s mattam82:certicoq-0.9-8.19
mattam82:certicoq-0.9-8.19
May 28, 2024 13:54 2m 28s
Opam package for verified extraction 0.9 CI #916: Pull request #3039 opened by mattam82
May 28, 2024 13:49 2m 27s mattam82:verified-extraction.0.9
mattam82:verified-extraction.0.9
May 28, 2024 13:49 2m 27s
CertiCoq 0.9 for 8.19 package CI #915: Pull request #3038 opened by mattam82
May 28, 2024 12:49 3m 41s mattam82:certicoq-0.9-8.19
mattam82:certicoq-0.9-8.19
May 28, 2024 12:49 3m 41s
Merge pull request #3037 from inQWIRE/quantumlib-1.5.0 CI #914: Commit cf9dafd pushed by palmskog
May 28, 2024 11:34 2m 48s master
master
May 28, 2024 11:34 2m 48s
Add QuantumLib 1.5.0 CI #913: Pull request #3037 synchronize by adrianleh
May 28, 2024 02:30 2m 32s inQWIRE:quantumlib-1.5.0
inQWIRE:quantumlib-1.5.0
May 28, 2024 02:30 2m 32s
Add QuantumLib 1.5.0 CI #912: Pull request #3037 opened by adrianleh
May 27, 2024 22:21 2m 35s inQWIRE:quantumlib-1.5.0
inQWIRE:quantumlib-1.5.0
May 27, 2024 22:21 2m 35s
Merge pull request #3036 from affeldt-aist/monae.0.7.0 CI #911: Commit b741da9 pushed by gares
May 24, 2024 19:52 2m 46s master
master
May 24, 2024 19:52 2m 46s
release monae 0.7.0 CI #910: Pull request #3036 opened by affeldt-aist
May 24, 2024 10:49 2m 30s affeldt-aist:monae.0.7.0
affeldt-aist:monae.0.7.0
May 24, 2024 10:49 2m 30s
Merge pull request #3035 from DmxLarchey/coq-kruskal-hig-veld-tree CI #909: Commit 81cee91 pushed by palmskog
May 23, 2024 16:54 3m 12s master
master
May 23, 2024 16:54 3m 12s
Three updates related to coq-kruskal-... CI #908: Pull request #3035 opened by DmxLarchey
May 23, 2024 11:45 2m 32s DmxLarchey:coq-kruskal-hig-veld-tree
DmxLarchey:coq-kruskal-hig-veld-tree
May 23, 2024 11:45 2m 32s
Merge pull request #3034 from affeldt-aist/infotheo.0.7.1 CI #907: Commit 633a806 pushed by palmskog
May 23, 2024 10:04 2m 44s master
master
May 23, 2024 10:04 2m 44s
Merge pull request #3033 from DmxLarchey/Kruskal-Fan-1.0 CI #906: Commit 8d8dbb2 pushed by palmskog
May 23, 2024 03:55 2m 58s master
master
May 23, 2024 03:55 2m 58s
release infotheo 0.7.1 CI #905: Pull request #3034 opened by affeldt-aist
May 23, 2024 02:18 2m 26s affeldt-aist:infotheo.0.7.1
affeldt-aist:infotheo.0.7.1
May 23, 2024 02:18 2m 26s
Merge pull request #3032 from coqelpibot/opam-publish-coq-elpi.2.1.1 CI #904: Commit b93fc46 pushed by palmskog
May 22, 2024 15:16 5m 55s master
master
May 22, 2024 15:16 5m 55s
Kruskal-Fan v1.0 CI #903: Pull request #3033 opened by DmxLarchey
May 21, 2024 13:36 22m 2s DmxLarchey:Kruskal-Fan-1.0
DmxLarchey:Kruskal-Fan-1.0
May 21, 2024 13:36 22m 2s
Package coq-elpi.2.1.1 CI #902: Pull request #3032 synchronize by gares
May 15, 2024 14:44 3m 4s coqelpibot:opam-publish-coq-elpi.2.1.1
coqelpibot:opam-publish-coq-elpi.2.1.1
May 15, 2024 14:44 3m 4s
Package coq-elpi.2.1.1 CI #901: Pull request #3032 opened by coqelpibot
May 15, 2024 09:11 2m 33s coqelpibot:opam-publish-coq-elpi.2.1.1
coqelpibot:opam-publish-coq-elpi.2.1.1
May 15, 2024 09:11 2m 33s
Merge pull request #3031 from ccyip/coq-idt.1.3.0 CI #900: Commit fac0538 pushed by silene
May 13, 2024 05:49 3m 1s master
master
May 13, 2024 05:49 3m 1s
Release coq-idt.1.3.0 CI #899: Pull request #3031 opened by ccyip
May 12, 2024 10:22 2m 33s ccyip:coq-idt.1.3.0
ccyip:coq-idt.1.3.0
May 12, 2024 10:22 2m 33s
Merge pull request #3030 from DmxLarchey/friedman_tree CI #898: Commit b950dce pushed by palmskog
May 10, 2024 13:56 3m 27s master
master
May 10, 2024 13:56 3m 27s
The Friedman TREE(n) function v1.0 CI #897: Pull request #3030 synchronize by DmxLarchey
May 10, 2024 13:35 3m 9s DmxLarchey:friedman_tree
DmxLarchey:friedman_tree
May 10, 2024 13:35 3m 9s
The Friedman TREE(n) function v1.0 CI #896: Pull request #3030 opened by DmxLarchey
May 10, 2024 12:56 3m 5s DmxLarchey:friedman_tree
DmxLarchey:friedman_tree
May 10, 2024 12:56 3m 5s
Merge pull request #3029 from xavierleroy/compcert-3.14 CI #895: Commit 84e8b40 pushed by palmskog
May 8, 2024 09:16 6m 32s master
master
May 8, 2024 09:16 6m 32s