Skip to content

Actions: leanprover/lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
fix: load missing dynlibs individually with precompileModules Check stdlib_flags.h modifications #10747: Pull request #14326 labeled by Vtec234
6s
6s
fix: load missing dynlibs individually with precompileModules Check PR body for changelog convention #44755: Pull request #14326 labeled by Vtec234
5s
5s
fix: load missing dynlibs individually with precompileModules Adaptation PR #422: Pull request #14326 labeled by Vtec234
1s
1s
fix: load missing dynlibs individually with precompileModules Backport #20813: Pull request #14326 labeled by Vtec234
Skipped
Skipped
fix: load missing dynlibs individually with precompileModules Check awaiting-manual label #23890: Pull request #14326 labeled by Vtec234
8s
8s
fix: load missing dynlibs individually with precompileModules Restart by label #11953: Pull request #14326 labeled by Vtec234
7s
7s
fix: load missing dynlibs individually with precompileModules Check awaiting-mathlib label #31560: Pull request #14326 labeled by Vtec234
6s
6s
Grove Grove #22531: completed by Vtec234
35s
35s
PR release PR release #51041: completed by Vtec234
In progress
In progress
Grove Grove #22530: completed by Vtec234
Skipped
Skipped
PR release PR release #51040: completed by Vtec234
42s
42s
fix: load missing dynlibs individually with precompileModules CI #59734: Pull request #14326 synchronize by Vtec234
28m 2s lake-more-plugins
lake-more-plugins
28m 2s
fix: load missing dynlibs individually with precompileModules Check for modules that should use `prelude` #28153: Pull request #14326 synchronize by Vtec234
12s lake-more-plugins
lake-more-plugins
12s
fix: load missing dynlibs individually with precompileModules Check PR title for commit convention #45092: Pull request #14326 synchronize by Vtec234
8s lake-more-plugins
lake-more-plugins
8s
fix: load missing dynlibs individually with precompileModules Check for stage0 changes #35001: Pull request #14326 synchronize by Vtec234
1m 31s lake-more-plugins
lake-more-plugins
1m 31s
fix: load missing dynlibs individually with precompileModules Check for empty PR #4257: Pull request #14326 synchronize by Vtec234
1m 34s lake-more-plugins
lake-more-plugins
1m 34s
fix: load missing dynlibs individually with precompileModules Check for copyright header #28308: Pull request #14326 synchronize by Vtec234
1m 17s lake-more-plugins
lake-more-plugins
1m 17s
fix: load missing dynlibs individually with precompileModules Check stdlib_flags.h modifications #10746: Pull request #14326 synchronize by Vtec234
7s
7s
fix: load missing dynlibs individually with precompileModules Check PR body for changelog convention #44754: Pull request #14326 synchronize by Vtec234
9s
9s
fix: load missing dynlibs individually with precompileModules Check awaiting-manual label #23889: Pull request #14326 synchronize by Vtec234
6s
6s
fix: load missing dynlibs individually with precompileModules Check awaiting-mathlib label #31559: Pull request #14326 synchronize by Vtec234
7s
7s
fix: load missing dynlibs individually with precompileModules Check awaiting-manual label #23888: Pull request #14326 labeled by leanprover-bot
6s
6s
fix: load missing dynlibs individually with precompileModules Check stdlib_flags.h modifications #10745: Pull request #14326 labeled by leanprover-bot
6s
6s
fix: load missing dynlibs individually with precompileModules Backport #20812: Pull request #14326 labeled by leanprover-bot
1s
1s
fix: load missing dynlibs individually with precompileModules Adaptation PR #421: Pull request #14326 labeled by leanprover-bot
8s
8s