Skip to content

Actions: thery/coqprime

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
12 workflow runs
12 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

do not unfold Zeq_bool CI #97: Commit 845c00c pushed by thery
November 6, 2024 14:52 3m 35s master
master
November 6, 2024 14:52 3m 35s
do not unfold Zeq_bool (for coq/coq#19801) CI #96: Pull request #79 opened by andres-erbsen
November 3, 2024 16:06 3m 24s andres-erbsen:less-ZArith_base
andres-erbsen:less-ZArith_base
November 3, 2024 16:06 3m 24s
coq 8.19 and ocaml 5.0 CI #95: Commit 6c225a2 pushed by thery
May 31, 2024 09:27 18m 4s master
master
May 31, 2024 09:27 18m 4s
Add a definition of the beta function CI #94: Commit d5935ca pushed by thery
March 19, 2024 15:54 3m 17s v8.19
v8.19
March 19, 2024 15:54 3m 17s
Add a definition of the beta function CI #93: Commit d5935ca pushed by thery
October 7, 2023 10:26 4m 8s v8.18
v8.18
October 7, 2023 10:26 4m 8s
Add a definition of the beta function CI #92: Commit d5935ca pushed by thery
October 7, 2023 10:23 4m 46s master
master
October 7, 2023 10:23 4m 46s
Add a definition of the beta function CI #91: Pull request #76 opened by Casteran
October 6, 2023 16:16 3m 53s Casteran:master
Casteran:master
October 6, 2023 16:16 3m 53s
Replaced Int31 with Uint63 CI #90: Commit f611fa4 pushed by thery
September 20, 2023 14:01 4m 11s master
master
September 20, 2023 14:01 4m 11s
Replaced Int31 with Uint63 CI #89: Pull request #72 opened by Villetaneuse
September 13, 2023 21:08 3m 46s Villetaneuse:remove_Int31
Villetaneuse:remove_Int31
September 13, 2023 21:08 3m 46s
Bump actions/checkout from 3 to 4 CI #88: Commit ae85b57 pushed by thery
September 11, 2023 11:22 4m 46s master
master
September 11, 2023 11:22 4m 46s
Bump actions/checkout from 3 to 4 CI #87: Pull request #71 opened by dependabot bot
September 4, 2023 18:48 5m 18s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
September 4, 2023 18:48 5m 18s
Bump actions/checkout from 3 to 4 CI #86: Commit dacc240 pushed by dependabot bot
September 4, 2023 18:48 4m 39s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
September 4, 2023 18:48 4m 39s