Skip to content

Actions: meta-introspector/lean-split-tool

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
319 workflow runs
319 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
Update Modules Update Modules #54: Scheduled
24s main
main
24s
Update Modules Update Modules #53: Scheduled
18s main
main
18s
Simplify project Test Module Builds #41: Pull request #1 synchronize by jmikedupont2
1m 0s simplify-project
simplify-project
1m 0s
Simplify project Build Mathlib Split #63: Pull request #1 synchronize by jmikedupont2
1m 4s simplify-project
simplify-project
1m 4s
Simplify project Test Example Build #11: Pull request #1 synchronize by jmikedupont2
1m 12s simplify-project
simplify-project
1m 12s
Simplify project Test Mathlib Split Builds #63: Pull request #1 synchronize by jmikedupont2
19s simplify-project
simplify-project
19s
update .github/workflows/build-modules.yml #46: Commit 1295028 pushed by jmikedupont2
Failure simplify-project
simplify-project
Failure
Update Modules Update Modules #52: Scheduled
23s main
main
23s
Update Modules Update Modules #51: Scheduled
18s main
main
18s
Update Modules Update Modules #50: Scheduled
1h 5m 39s main
main
1h 5m 39s
Update Modules Update Modules #49: Scheduled
18s main
main
18s
Update Modules Update Modules #48: Scheduled
23s main
main
23s
Update Modules Update Modules #47: Scheduled
18s main
main
18s
Update Modules Update Modules #46: Scheduled
18s main
main
18s
Update Modules Update Modules #45: Scheduled
22s main
main
22s
Update Modules Update Modules #44: Scheduled
20s main
main
20s
Update Modules Update Modules #43: Scheduled
18s main
main
18s
Update Modules Update Modules #42: Scheduled
19s main
main
19s
Simplify project Test Example Build #10: Pull request #1 opened by jmikedupont2
1m 3s simplify-project
simplify-project
1m 3s
Simplify project Test Mathlib Split Builds #62: Pull request #1 opened by jmikedupont2
16s simplify-project
simplify-project
16s
Simplify project Test Module Builds #40: Pull request #1 opened by jmikedupont2
1m 3s simplify-project
simplify-project
1m 3s
Simplify project Build Mathlib Split #62: Pull request #1 opened by jmikedupont2
58s simplify-project
simplify-project
58s
remove specifics .github/workflows/build-modules.yml #45: Commit ae9011e pushed by jmikedupont2
Failure simplify-project
simplify-project
Failure
Update Modules Update Modules #41: Scheduled
18s main
main
18s
Update Modules Update Modules #40: Scheduled
24s main
main
24s