Skip to content

Actions: leanprover-community/mathlib-manual

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
26 workflow runs
26 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update text Build and check HTML #18: Commit c18ba30 pushed by joneugster
January 26, 2025 10:45 2m 46s main
main
January 26, 2025 10:45 2m 46s
adjust soure link and issue link Build and check HTML #17: Commit e83c80e pushed by joneugster
January 26, 2025 10:31 2m 41s main
main
January 26, 2025 10:31 2m 41s
update base url again Build and check HTML #16: Commit 0d0a54d pushed by joneugster
January 26, 2025 10:13 3m 48s main
main
January 26, 2025 10:13 3m 48s
update base URL Build and check HTML #15: Commit cd36838 pushed by joneugster
January 26, 2025 10:00 2m 42s main
main
January 26, 2025 10:00 2m 42s
Merge pull request #1 from leanprover-community/bryangingechen-patch-1 Build and check HTML #14: Commit 50c8ea8 pushed by bryangingechen
January 26, 2025 06:33 2m 40s main
main
January 26, 2025 06:33 2m 40s
ci: try upload-pages-artifact Check for too-big Lean imports #2: Pull request #1 synchronize by bryangingechen
January 26, 2025 06:30 9s bryangingechen-patch-1
bryangingechen-patch-1
January 26, 2025 06:30 9s
ci: try upload-pages-artifact Build and check HTML #13: Pull request #1 synchronize by bryangingechen
January 26, 2025 06:30 2m 22s bryangingechen-patch-1
bryangingechen-patch-1
January 26, 2025 06:30 2m 22s
ci: try upload-pages-artifact Check for copyright headers #2: Pull request #1 synchronize by bryangingechen
January 26, 2025 06:30 13s bryangingechen-patch-1
bryangingechen-patch-1
January 26, 2025 06:30 13s
ci: try upload-pages-artifact Build and check HTML #12: Pull request #1 opened by bryangingechen
January 26, 2025 06:16 2m 21s bryangingechen-patch-1
bryangingechen-patch-1
January 26, 2025 06:16 2m 21s
ci: try upload-pages-artifact Check for copyright headers #1: Pull request #1 opened by bryangingechen
January 26, 2025 06:16 11s bryangingechen-patch-1
bryangingechen-patch-1
January 26, 2025 06:16 11s
ci: try upload-pages-artifact Check for too-big Lean imports #1: Pull request #1 opened by bryangingechen
January 26, 2025 06:16 11s bryangingechen-patch-1
bryangingechen-patch-1
January 26, 2025 06:16 11s
add automated complete list of tactics Build and check HTML #11: Commit 796fca5 pushed by joneugster
January 26, 2025 01:20 15m 13s main
main
January 26, 2025 01:20 15m 13s
fix Build and check HTML #10: Commit 28f9440 pushed by joneugster
January 25, 2025 18:51 6m 19s main
main
January 25, 2025 18:51 6m 19s
many updates Build and check HTML #9: Commit 9148932 pushed by joneugster
January 25, 2025 02:12 4m 56s main
main
January 25, 2025 02:12 4m 56s
Update README.md Build and check HTML #8: Commit f3ad906 pushed by joneugster
January 24, 2025 22:42 2m 22s main
main
January 24, 2025 22:42 2m 22s
Update README.md Build and check HTML #7: Commit 71caa47 pushed by joneugster
January 24, 2025 22:42 3m 6s main
main
January 24, 2025 22:42 3m 6s
Update README.md Build and check HTML #6: Commit 732ed43 pushed by joneugster
January 24, 2025 22:30 3m 19s main
main
January 24, 2025 22:30 3m 19s
ci Build and check HTML #5: Commit 9b5d73e pushed by joneugster
January 24, 2025 22:09 3m 11s main
main
January 24, 2025 22:09 3m 11s
ci Build and check HTML #4: Commit ef81959 pushed by joneugster
January 24, 2025 21:52 5m 36s main
main
January 24, 2025 21:52 5m 36s
ci Build and check HTML #3: Commit 698a0ac pushed by joneugster
January 24, 2025 21:50 Failure main
main
January 24, 2025 21:50 Failure
Deploy PR for review Deploy PR for review #2: completed by joneugster
January 24, 2025 19:08 1s
January 24, 2025 19:08 1s
Label PRs with artifacts Label PRs with artifacts #2: completed by joneugster
January 24, 2025 19:08 2s
January 24, 2025 19:08 2s
Deploy PR for review Deploy PR for review #1: completed by joneugster
January 24, 2025 18:39 2s
January 24, 2025 18:39 2s
Label PRs with artifacts Label PRs with artifacts #1: completed by joneugster
January 24, 2025 18:39 3s
January 24, 2025 18:39 3s
fetch mathlib cache Build and check HTML #2: Commit cf0ca17 pushed by joneugster
January 24, 2025 18:39 29m 42s main
main
January 24, 2025 18:39 29m 42s