Skip to content

Actions: leanprover/lean-kernel-arena

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,231 workflow runs
1,231 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Bump con-leche and con-ron (#260) Build and Deploy Site #711: Commit b83254d pushed by nomeata
57m 16s master
master
57m 16s
Bump con-leche and con-ron (#260) Actionlint #525: Commit b83254d pushed by nomeata
9s master
master
9s
Add perf test: proof irrelevance refutes proofs of different propositions Build and Deploy Site #710: Pull request #261 opened by nomeata
1h 14m 19s joachim/perf-irrelevance-refutes
joachim/perf-irrelevance-refutes
1h 14m 19s
Add perf test: proof irrelevance refutes proofs of different proposit… Actionlint #524: Commit 8a06743 pushed by nomeata
14s joachim/perf-irrelevance-refutes
joachim/perf-irrelevance-refutes
14s
Bump con-leche and con-ron Build and Deploy Site #709: Pull request #260 opened by nomeata
17m 22s joachim/bump-con-leche-67f0463
joachim/bump-con-leche-67f0463
17m 22s
Bump con-leche and con-ron Actionlint #523: Commit f30d5ba pushed by nomeata
14s joachim/bump-con-leche-67f0463
joachim/bump-con-leche-67f0463
14s
chore: bump sokonanoda rev (#259) Build and Deploy Site #708: Commit 69b4ab2 pushed by nomeata
15m 3s master
master
15m 3s
chore: bump sokonanoda rev (#259) Actionlint #522: Commit 69b4ab2 pushed by nomeata
15m 3s master
master
15m 3s
chore: bump sokonanoda rev Build and Deploy Site #707: Pull request #259 opened by intgrah
15m 4s intgrah:patch-1
intgrah:patch-1
15m 4s
Bump con-leche and con-ron (#258) Build and Deploy Site #706: Commit b1d6e91 pushed by nomeata
1h 53m 25s master
master
1h 53m 25s
Bump con-leche and con-ron (#258) Actionlint #521: Commit b1d6e91 pushed by nomeata
11s master
master
11s
Bump con-leche and con-ron Build and Deploy Site #705: Pull request #258 opened by nomeata
10m 2s joachim/bump-con-leche-d0bbad6
joachim/bump-con-leche-d0bbad6
10m 2s
Bump con-leche and con-ron Actionlint #520: Commit b0c7369 pushed by nomeata
11s joachim/bump-con-leche-d0bbad6
joachim/bump-con-leche-d0bbad6
11s
Add perf tests for projections of expensive structs (#257) Build and Deploy Site #704: Commit 04f7fd0 pushed by nomeata
1h 37m 40s master
master
1h 37m 40s
Add perf tests for projections of expensive structs (#257) Actionlint #519: Commit 04f7fd0 pushed by nomeata
13s master
master
13s
Add perf tests for projections of expensive structs Build and Deploy Site #703: Pull request #257 opened by nomeata
39m 41s joachim/proj-cheap-struct
joachim/proj-cheap-struct
39m 41s
Add perf/proj-lazy-struct test Actionlint #518: Commit 1765ff8 pushed by nomeata
9s joachim/proj-cheap-struct
joachim/proj-cheap-struct
9s
Bump con-leche and con-ron (#256) Build and Deploy Site #702: Commit 66c354d pushed by nomeata
2h 16m 15s master
master
2h 16m 15s
Bump con-leche and con-ron (#256) Actionlint #517: Commit 66c354d pushed by nomeata
18s master
master
18s
Bump con-leche and con-ron Build and Deploy Site #701: Pull request #256 opened by nomeata
12m 5s joachim/bump-con-leche-a31e829
joachim/bump-con-leche-a31e829
12m 5s
Bump con-leche and con-ron Actionlint #516: Commit 8bfc86c pushed by nomeata
47s joachim/bump-con-leche-a31e829
joachim/bump-con-leche-a31e829
47s
nanoclo: bump to a2aa37e for the Mathlib v4.34.1 rejection (#254) Build and Deploy Site #700: Commit 39deef6 pushed by nomeata
1h 50m 18s master
master
1h 50m 18s
nanoclo: bump to a2aa37e for the Mathlib v4.34.1 rejection (#254) Actionlint #515: Commit 39deef6 pushed by nomeata
16s master
master
16s
Bump ind-models (#255) Build and Deploy Site #699: Commit cb72f91 pushed by nomeata
1m 36s master
master
1m 36s
Bump ind-models (#255) Actionlint #514: Commit cb72f91 pushed by nomeata
10s master
master
10s