Skip to content

Actions: coq-community/bignums

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
35 workflow runs
35 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

adapt to coq/coq#19801 (replacing ZArith_base, Zeq_bool) Docker CI #223: Pull request #94 opened by andres-erbsen
November 3, 2024 16:04 9m 4s andres-erbsen:less-ZArith_base
andres-erbsen:less-ZArith_base
November 3, 2024 16:04 9m 4s
Adapt to coq/coq#18939 (Unification Firstorder Function Conversion off) Docker CI #222: Pull request #93 opened by SkySkimmer
September 6, 2024 15:39 9m 23s SkySkimmer:unification-fo-function-conversion
SkySkimmer:unification-fo-function-conversion
September 6, 2024 15:39 9m 23s
Merge pull request #92 from t6s/fix_recursive_make Docker CI #221: Commit 1f014ff pushed by SkySkimmer
July 23, 2024 14:44 9m 8s master
master
July 23, 2024 14:44 9m 8s
use $(MAKE) instead of +make for recursive calls in Makefile Docker CI #220: Pull request #92 opened by t6s
July 23, 2024 14:30 8m 44s fix_recursive_make
fix_recursive_make
July 23, 2024 14:30 8m 44s
chore: Add dedicated CI test using coqorg/base (from v8.20 branch) Docker CI #219: Commit 379748e pushed by erikmd
June 20, 2024 08:04 8m 43s master
master
June 20, 2024 08:04 8m 43s
Merge pull request #91 from coq-community/ci/v8.20 Docker CI #218: Commit 1c47936 pushed by proux01
June 20, 2024 06:58 9m 38s v8.20
v8.20
June 20, 2024 06:58 9m 38s
chore: Adapt meta.yml to v8.20 & Add dedicated CI test using coqorg/base Docker CI #217: Pull request #91 synchronize by erikmd
June 19, 2024 22:12 8m 56s ci/v8.20
ci/v8.20
June 19, 2024 22:12 8m 56s
chore: Adapt meta.yml to v8.20 & Add dedicated CI test using coqorg/base Docker CI #216: Pull request #91 opened by erikmd
June 19, 2024 21:39 9m 1s ci/v8.20
ci/v8.20
June 19, 2024 21:39 9m 1s
Merge pull request #90 from andres-erbsen/remove-Ndigits Docker CI #215: Commit da802e5 pushed by proux01
April 16, 2024 07:37 2m 39s master
master
April 16, 2024 07:37 2m 39s
do not depend on Ndigits Docker CI #214: Pull request #90 opened by andres-erbsen
April 15, 2024 19:41 2m 34s andres-erbsen:remove-Ndigits
andres-erbsen:remove-Ndigits
April 15, 2024 19:41 2m 34s
adapt to coq/coq#18730 Docker CI #213: Pull request #88 opened by andres-erbsen
February 28, 2024 23:07 2m 31s andres-erbsen:zify-nat-by-default
andres-erbsen:zify-nat-by-default
February 28, 2024 23:07 2m 31s
fix(CI): Remove coq-bignums beforehand & Ensure make -C tests runs … Docker CI #212: Commit e6085d6 pushed by erikmd
February 16, 2024 14:11 2m 33s master
master
February 16, 2024 14:11 2m 33s
[CI] Remove coq-bignums before CI Docker CI #211: Pull request #87 synchronize by erikmd
February 16, 2024 14:06 2m 28s fix_ci
fix_ci
February 16, 2024 14:06 2m 28s
[CI] Remove coq-bignums before CI Docker CI #210: Pull request #87 synchronize by erikmd
February 16, 2024 13:54 2m 12s fix_ci
fix_ci
February 16, 2024 13:54 2m 12s
[CI] Remove coq-bignums before CI Docker CI #209: Pull request #87 synchronize by erikmd
February 16, 2024 13:53 Startup failure fix_ci
fix_ci
February 16, 2024 13:53 Startup failure
[CI] Remove coq-bignums before CI Docker CI #208: Pull request #87 synchronize by proux01
February 13, 2024 16:41 1m 34s fix_ci
fix_ci
February 13, 2024 16:41 1m 34s
[CI] Remove coq-bignums before CI Docker CI #207: Pull request #87 synchronize by proux01
February 13, 2024 16:34 1m 39s fix_ci
fix_ci
February 13, 2024 16:34 1m 39s
[CI] Remove coq-bignums before CI Docker CI #206: Pull request #87 synchronize by proux01
February 13, 2024 14:47 1m 6s fix_ci
fix_ci
February 13, 2024 14:47 1m 6s
[CI] Remove coq-bignums before CI Docker CI #205: Pull request #87 opened by proux01
February 13, 2024 13:36 1m 27s fix_ci
fix_ci
February 13, 2024 13:36 1m 27s
Merge pull request #86 from ppedrot/fix-bignums Docker CI #204: Commit 3885b1a pushed by proux01
February 13, 2024 13:24 2m 7s master
master
February 13, 2024 13:24 2m 7s
Fix compilation on Coq master. Docker CI #203: Pull request #86 synchronize by ppedrot
February 13, 2024 13:18 2m 9s ppedrot:fix-bignums
ppedrot:fix-bignums
February 13, 2024 13:18 2m 9s
Fix compilation on Coq master. Docker CI #202: Pull request #86 opened by ppedrot
February 13, 2024 13:09 2m 11s ppedrot:fix-bignums
ppedrot:fix-bignums
February 13, 2024 13:09 2m 11s
Merge pull request #85 from ppedrot/clean-notationextern-key Docker CI #201: Commit 9184704 pushed by proux01
February 13, 2024 08:56 2m 18s master
master
February 13, 2024 08:56 2m 18s
Adapt w.r.t. coq/coq#18667. Docker CI #200: Pull request #85 opened by ppedrot
February 13, 2024 08:37 2m 23s ppedrot:clean-notationextern-key
ppedrot:clean-notationextern-key
February 13, 2024 08:37 2m 23s
Merge pull request #84 from coq-community/boilerplate-rectypes Docker CI #199: Commit cb65c87 pushed by proux01
December 30, 2023 18:16 2m 15s master
master
December 30, 2023 18:16 2m 15s