Skip to content

Actions: leanprover-community/mathlib-manual

Actions

Build and check HTML

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
22 workflow runs
22 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bump Build and check HTML #22: Commit e740808 pushed by joneugster
February 11, 2025 18:34 38m 10s main
main
February 11, 2025 18:34 38m 10s
add action to update automatically Build and check HTML #21: Commit fe2e948 pushed by joneugster
February 11, 2025 18:13 1m 34s main
main
February 11, 2025 18:13 1m 34s
display information about time and mathlib commit used for the manual Build and check HTML #20: Commit 932ee5f pushed by joneugster
February 11, 2025 18:04 3m 33s main
main
February 11, 2025 18:04 3m 33s
fix typo in 'coercion' Build and check HTML #19: Commit b617a55 pushed by joneugster
February 11, 2025 14:44 38m 30s main
main
February 11, 2025 14:44 38m 30s
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 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 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
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
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
list most mathlib tactics Build and check HTML #1: Commit 25696b2 pushed by joneugster
January 24, 2025 18:31 8m 28s main
main
January 24, 2025 18:31 8m 28s