Skip to content

Actions: meta-introspector/lean-split-tool

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
271 workflow runs
271 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 #16: Scheduled
28s main
main
28s
Update Modules Update Modules #15: Scheduled
26s main
main
26s
Update Modules Update Modules #14: Scheduled
29s main
main
29s
feat: add Monster Group prime factorization project files Test Mathlib Split Builds #61: Commit e15582c pushed by jmikedupont2
16s main
main
16s
feat: add Monster Group prime factorization project files Build Mathlib Split #61: Commit e15582c pushed by jmikedupont2
1m 14s main
main
1m 14s
feat: add Monster Group prime factorization project files Test Example Build #9: Commit e15582c pushed by jmikedupont2
1m 10s main
main
1m 10s
feat: add Monster Group prime factorization project files Test Module Builds #39: Commit e15582c pushed by jmikedupont2
1m 18s main
main
1m 18s
feat: add Monster Group prime factorization project files GitHub Pages #41: Commit e15582c pushed by jmikedupont2
20s main
main
20s
feat: add Monster Group prime factorization project files .github/workflows/build-modules.yml #44: Commit e15582c pushed by jmikedupont2
Failure main
main
Failure
Update Modules Update Modules #13: Scheduled
24s main
main
24s
Update Modules Update Modules #12: Scheduled
22s main
main
22s
Update Modules Update Modules #11: Scheduled
20s main
main
20s
Update Modules Update Modules #10: Scheduled
20s main
main
20s
Update Modules Update Modules #9: Scheduled
19s main
main
19s
Update Modules Update Modules #8: Scheduled
21s main
main
21s
Update Modules Update Modules #7: Scheduled
22s main
main
22s
Update Modules Update Modules #6: Scheduled
19s main
main
19s
Update Modules Update Modules #5: Scheduled
21s main
main
21s
Update Modules Update Modules #4: Scheduled
18s main
main
18s
Update Modules Update Modules #3: Scheduled
17s main
main
17s
Update Modules Update Modules #2: Scheduled
22s main
main
22s
Update Modules Update Modules #1: Scheduled
19s main
main
19s
adding test Test Example Build #8: Commit 79a8797 pushed by jmikedupont2
1m 14s main
main
1m 14s
adding test Test Module Builds #38: Commit 79a8797 pushed by jmikedupont2
1m 16s main
main
1m 16s
adding test Build Mathlib Split #60: Commit 79a8797 pushed by jmikedupont2
1m 15s main
main
1m 15s