Skip to content

Actions: Seasawher/mathlib4-help

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
784 workflow runs
784 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' of https://github.com/Seasawher/mathlib4-tactics
Generate markdown file #30: Commit 0397c92 pushed by Seasawher
May 12, 2024 08:17 1m 30s main
May 12, 2024 08:17 1m 30s
Merge branch 'main' of https://github.com/Seasawher/mathlib4-tactics
Update Lean and Mathlib #4: Commit 0397c92 pushed by Seasawher
May 12, 2024 08:17 1m 14s main
May 12, 2024 08:17 1m 14s
change EOL
Generate markdown file #29: Commit 4ff6108 pushed by Seasawher
May 12, 2024 08:15 1m 22s main
May 12, 2024 08:15 1m 22s
Update Lean and Mathlib
Update Lean and Mathlib #3: Manually run by Seasawher
May 10, 2024 13:24 1m 33s main
May 10, 2024 13:24 1m 33s
fix workflow
Generate markdown file #28: Commit 91f7fff pushed by Seasawher
May 10, 2024 13:23 1m 16s main
May 10, 2024 13:23 1m 16s
Update Lean and Mathlib
Update Lean and Mathlib #2: Manually run by Seasawher
May 10, 2024 13:20 1m 3s main
May 10, 2024 13:20 1m 3s
Update Lean and Mathlib
Update Lean and Mathlib #1: Manually run by Seasawher
May 10, 2024 13:16 1m 15s main
May 10, 2024 13:16 1m 15s
add lean-upgrade action
Generate markdown file #27: Commit bf5cf60 pushed by Seasawher
May 10, 2024 13:15 1m 21s main
May 10, 2024 13:15 1m 21s
Generate markdown file
Generate markdown file #26: Manually run by Seasawher
May 4, 2024 02:51 1m 15s main
May 4, 2024 02:51 1m 15s
add workflow dispatch
Generate markdown file #25: Commit d54e76e pushed by Seasawher
May 4, 2024 02:50 1m 16s main
May 4, 2024 02:50 1m 16s
fix workflow
Generate markdown file #24: Commit 9d4b18f pushed by Seasawher
May 3, 2024 07:35 2m 49s main
May 3, 2024 07:35 2m 49s
fix CI: remove cache
Generate markdown file #23: Commit 48e96e9 pushed by Seasawher
May 3, 2024 07:30 2m 57s main
May 3, 2024 07:30 2m 57s
update tactics
Generate markdown file #22: Commit 758000b pushed by Seasawher
May 3, 2024 07:10 2m 55s main
May 3, 2024 07:10 2m 55s
update version to v4.8.0-rc1
Generate markdown file #21: Commit 6d1fc8c pushed by Seasawher
May 3, 2024 06:57 2m 54s main
May 3, 2024 06:57 2m 54s
Merge pull request #3 from Seasawher/lean-code-blocks
Generate markdown file #20: Commit 3e162a1 pushed by Seasawher
April 14, 2024 07:52 1m 7s main
April 14, 2024 07:52 1m 7s
feat: convert mere code blocks to lean code blocks
Generate markdown file #19: Pull request #3 synchronize by Seasawher
April 14, 2024 07:52 1m 7s lean-code-blocks
April 14, 2024 07:52 1m 7s
feat: convert mere code blocks to lean code blocks
Generate markdown file #18: Pull request #3 opened by Seasawher
April 14, 2024 07:41 1m 6s lean-code-blocks
April 14, 2024 07:41 1m 6s
Merge pull request #2 from Seasawher/add-version-info
Generate markdown file #17: Commit 573c1a1 pushed by Seasawher
April 14, 2024 07:08 1m 21s main
April 14, 2024 07:08 1m 21s
add version info
Generate markdown file #16: Pull request #2 synchronize by Seasawher
April 14, 2024 07:03 54s add-version-info
April 14, 2024 07:03 54s
add version info
Generate markdown file #15: Pull request #2 synchronize by Seasawher
April 14, 2024 06:58 57s add-version-info
April 14, 2024 06:58 57s
add version info
Generate markdown file #14: Pull request #2 opened by Seasawher
April 14, 2024 06:47 1m 2s add-version-info
April 14, 2024 06:47 1m 2s
add link to github repo
Generate markdown file #13: Commit 0d174c3 pushed by Seasawher
April 14, 2024 06:40 1m 7s main
April 14, 2024 06:40 1m 7s
Merge pull request #1 from Seasawher/mdbook
Generate markdown file #12: Commit 766dc9b pushed by Seasawher
April 14, 2024 05:33 1m 3s main
April 14, 2024 05:33 1m 3s
Setup Mdbook
Generate markdown file #11: Pull request #1 opened by Seasawher
April 14, 2024 05:31 51s mdbook
April 14, 2024 05:31 51s
fix mathlib version
Generate markdown file #10: Commit f7c4dc9 pushed by Seasawher
April 14, 2024 04:28 51s main
April 14, 2024 04:28 51s
ProTip! You can narrow down the results and go further in time using created:<2024-04-14 or the other filters available.