Skip to content

Actions: leanprover-community/aesop

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
546 workflow runs
546 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

RPINF: more detailed stats Build #677: Commit 1bc84fa pushed by JLimperg
November 22, 2024 18:54 2m 25s forward-code-rpinf
forward-code-rpinf
November 22, 2024 18:54 2m 25s
RPINF: more detailed stats Build #676: Commit a3d96c4 pushed by JLimperg
November 22, 2024 18:48 3m 10s forward-code-rpinf
forward-code-rpinf
November 22, 2024 18:48 3m 10s
RPINF: disable cache Build #675: Commit cbb108e pushed by JLimperg
November 22, 2024 18:39 2m 14s forward-code-rpinf
forward-code-rpinf
November 22, 2024 18:39 2m 14s
RPINF: more detailed stats Build #674: Commit 0b6bcc2 pushed by JLimperg
November 22, 2024 18:32 2m 18s forward-code-rpinf
forward-code-rpinf
November 22, 2024 18:32 2m 18s
RPINF: more detailed stats Build #673: Commit df47f8a pushed by JLimperg
November 22, 2024 18:23 2m 16s forward-code-rpinf
forward-code-rpinf
November 22, 2024 18:23 2m 16s
RPINF: more detailed stats Build #672: Commit 6506b20 pushed by JLimperg
November 22, 2024 18:14 2m 16s forward-code-rpinf
forward-code-rpinf
November 22, 2024 18:14 2m 16s
RPINF: more detailed stats Build #671: Commit 05c5bc1 pushed by JLimperg
November 22, 2024 18:11 2m 21s forward-code-rpinf
forward-code-rpinf
November 22, 2024 18:11 2m 21s
RPINF: optimise pinfCore isProof checking Build #670: Commit 471dbce pushed by JLimperg
November 22, 2024 17:55 2m 25s forward-code-rpinf
forward-code-rpinf
November 22, 2024 17:55 2m 25s
RPINF: optimise pinfCore isProof checking Build #669: Commit 7773ece pushed by JLimperg
November 22, 2024 17:42 2m 16s forward-code-rpinf
forward-code-rpinf
November 22, 2024 17:42 2m 16s
RPINF: optimise pinfCore isProof checking Build #668: Commit 8d5ee21 pushed by JLimperg
November 22, 2024 17:39 2m 15s forward-code-rpinf
forward-code-rpinf
November 22, 2024 17:39 2m 15s
RPINF: optimise pinfCore isProof checking Build #667: Commit d4079ed pushed by JLimperg
November 22, 2024 17:31 2m 20s forward-code-rpinf
forward-code-rpinf
November 22, 2024 17:31 2m 20s
RPINF: optimise pinfCore isProof checking Build #666: Commit d527121 pushed by JLimperg
November 22, 2024 17:14 2m 32s forward-code-rpinf
forward-code-rpinf
November 22, 2024 17:14 2m 32s
RPINF: optimise pinfCore isProof checking Build #665: Commit 11512b0 pushed by JLimperg
November 22, 2024 17:01 2m 22s forward-code-rpinf
forward-code-rpinf
November 22, 2024 17:01 2m 22s
RPINF: optimise pinfCore isProof checking Build #664: Commit d1344b4 pushed by JLimperg
November 22, 2024 16:55 2m 12s forward-code-rpinf
forward-code-rpinf
November 22, 2024 16:55 2m 12s
RPINF: optimise pinfCore isProof checking Build #663: Commit 6707939 pushed by JLimperg
November 22, 2024 16:52 3m 10s forward-code-rpinf
forward-code-rpinf
November 22, 2024 16:52 3m 10s
RPINF: optimise pinfCore isProof checking Build #662: Commit ba9fc38 pushed by JLimperg
November 22, 2024 16:49 2m 20s forward-code-rpinf
forward-code-rpinf
November 22, 2024 16:49 2m 20s
RPINF: optimise pinfCore isProof checking Build #661: Commit 346bac4 pushed by JLimperg
November 22, 2024 16:46 2m 28s forward-code-rpinf
forward-code-rpinf
November 22, 2024 16:46 2m 28s
RPINF: optimise pinfCore isProof checking Build #660: Commit 7de32ad pushed by JLimperg
November 22, 2024 16:43 2m 15s forward-code-rpinf
forward-code-rpinf
November 22, 2024 16:43 2m 15s
RPINF: use default transparency for isProof Build #659: Commit 8a577fe pushed by JLimperg
November 22, 2024 14:42 2m 28s forward-code-rpinf
forward-code-rpinf
November 22, 2024 14:42 2m 28s
RPINF: add pinf' Build #658: Commit 2e442df pushed by JLimperg
November 22, 2024 14:22 3m 6s forward-code-rpinf
forward-code-rpinf
November 22, 2024 14:22 3m 6s
RPINF: cache isProp instead of isProof Build #657: Commit dd5b0a9 pushed by JLimperg
November 22, 2024 13:59 2m 20s forward-code-rpinf
forward-code-rpinf
November 22, 2024 13:59 2m 20s
github_actions in /. - Update #920892502 Dependabot Updates #85: by dependabot bot
November 22, 2024 01:17 36s
November 22, 2024 01:17 36s
RPINF: cache isProof Build #656: Commit 086567b pushed by JLimperg
November 22, 2024 00:05 2m 22s forward-code-rpinf
forward-code-rpinf
November 22, 2024 00:05 2m 22s
RPINF: collect isProof stats in rpinfNoHash Build #655: Commit b9e1934 pushed by JLimperg
November 21, 2024 21:53 2m 33s forward-code-rpinf
forward-code-rpinf
November 21, 2024 21:53 2m 33s
RPINF: collect isProof stats in rpinfNoHash Build #654: Commit e50fec3 pushed by JLimperg
November 21, 2024 21:49 2m 14s forward-code-rpinf
forward-code-rpinf
November 21, 2024 21:49 2m 14s