Skip to content

Actions: coq-community/bignums

Actions

Docker CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
docker-action.yml
37 workflow runs
37 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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 t6s:fix_recursive_make
t6s: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
Fix boilerplate Docker CI #198: Pull request #84 opened by palmskog
December 30, 2023 18:13 2m 32s boilerplate-rectypes
boilerplate-rectypes
December 30, 2023 18:13 2m 32s