Skip to content

Actions: rocq-community/bignums

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
33 workflow runs
33 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #103 from SkySkimmer/split-nota Docker CI #254: Commit 93c065c pushed by proux01
12m 50s master
master
12m 50s
Merge pull request #104 from rocq-community/warn-cleaner Docker CI #253: Commit 5632884 pushed by proux01
11m 57s master
master
11m 57s
Handle some deprecation warnings Docker CI #252: Pull request #104 opened by SkySkimmer
12m 3s warn-cleaner
warn-cleaner
12m 3s
Adapt to rocq-prover/rocq#20926 (code movement) Docker CI #251: Pull request #103 opened by SkySkimmer
11m 17s SkySkimmer:split-nota
SkySkimmer:split-nota
11m 17s
Merge pull request #102 from SkySkimmer/notation-uid Docker CI #250: Commit 5cb06a5 pushed by proux01
11m 59s master
master
11m 59s
Adapt to rocq-prover/rocq#20911 (Notation.prim_token_uid is private) Docker CI #249: Pull request #102 opened by SkySkimmer
11m 11s SkySkimmer:notation-uid
SkySkimmer:notation-uid
11m 11s
Merge pull request #101 from SkySkimmer/fix-synterp Docker CI #248: Commit 6d9f95d pushed by SkySkimmer
19m 34s master
master
19m 34s
Respect synterp/interp phase split Docker CI #247: Pull request #101 synchronize by SkySkimmer
21m 14s SkySkimmer:fix-synterp
SkySkimmer:fix-synterp
21m 14s
Respect synterp/interp phase split Docker CI #246: Pull request #101 opened by SkySkimmer
13m 15s SkySkimmer:fix-synterp
SkySkimmer:fix-synterp
13m 15s
Adapt to Rocq 9.1 Docker CI #245: Commit 56d514c pushed by proux01
54s v9.1
v9.1
54s
Update Docker action Docker CI #244: Commit 353dc24 pushed by proux01
19m 7s master
master
19m 7s
Merge pull request #100 from rocq-community/SkySkimmer-patch-1 Docker CI #243: Commit 522ad0f pushed by SkySkimmer
18m 57s master
master
18m 57s
Fix CI Docker CI #242: Pull request #100 synchronize by SkySkimmer
18m 40s SkySkimmer-patch-1
SkySkimmer-patch-1
18m 40s
Fix CI Docker CI #241: Pull request #100 opened by SkySkimmer
12s SkySkimmer-patch-1
SkySkimmer-patch-1
12s
Merge pull request #99 from SkySkimmer/module-is-known Docker CI #240: Commit 6e7932a pushed by proux01
2m 37s master
master
2m 37s
Adapt to rocq-prover/rocq#20853 (rm add_known_module) Docker CI #239: Pull request #99 opened by SkySkimmer
2m 29s SkySkimmer:module-is-known
SkySkimmer:module-is-known
2m 29s
Merge pull request #98 from coq-community/rocq-bignums Docker CI #238: Commit 9f98555 pushed by proux01
14m 55s master
master
14m 55s
Add rocq-bignums opam package Docker CI #237: Commit c9b47a0 pushed by proux01
15m 55s v9.0
v9.0
15m 55s
Add rocq-bignums opam package Docker CI #236: Pull request #98 synchronize by proux01
15m 8s rocq-bignums
rocq-bignums
15m 8s
Update tests to rocq Docker CI #235: Commit ac02c93 pushed by proux01
9m 31s v9.0
v9.0
9m 31s
Add rocq-bignums opam package Docker CI #234: Pull request #98 synchronize by proux01
2m 13s rocq-bignums
rocq-bignums
2m 13s
Add rocq-bignums opam package Docker CI #233: Pull request #98 opened by proux01
2m 5s rocq-bignums
rocq-bignums
2m 5s
Workaround painful coq/opam bug Docker CI #232: Commit 905eaff pushed by proux01
9m 23s v9.0
v9.0
9m 23s
[CI] Update to 9.0+rc1 Docker CI #231: Commit 3eb9087 pushed by proux01
1m 42s v9.0
v9.0
1m 42s
Adapt to Rocq 9.0 Docker CI #230: Commit 79d18c8 pushed by proux01
51s v9.0
v9.0
51s