Skip to content

Actions: ammkrn/type_checking_in_lean4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
10 workflow runs
10 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix: spelling error Deploy mdBook site to Pages #10: Commit 3b68f98 pushed by ammkrn
September 1, 2024 16:19 2m 6s main
main
September 1, 2024 16:19 2m 6s
fix: broken link Deploy mdBook site to Pages #9: Commit 0ed0e43 pushed by ammkrn
September 1, 2024 16:15 1m 56s main
main
September 1, 2024 16:15 1m 56s
Merge pull request #6 from FormalMathematicsLab/main Deploy mdBook site to Pages #8: Commit 04d9466 pushed by ammkrn
September 1, 2024 16:08 1m 55s main
main
September 1, 2024 16:08 1m 55s
Merge pull request #4 from dataopt/patch-1 Deploy mdBook site to Pages #7: Commit 95d3ae5 pushed by ammkrn
June 3, 2024 23:16 2m 3s main
main
June 3, 2024 23:16 2m 3s
Merge pull request #3 from Seasawher/lean-highlight Deploy mdBook site to Pages #6: Commit 4820f46 pushed by ammkrn
April 17, 2024 05:44 2m 13s main
main
April 17, 2024 05:44 2m 13s
add link to hosted version Deploy mdBook site to Pages #5: Commit fb99301 pushed by ammkrn
March 14, 2024 02:17 2m 14s main
main
March 14, 2024 02:17 2m 14s
Merge pull request #2 from FormalMathematicsLab/main Deploy mdBook site to Pages #4: Commit 139a1c4 pushed by ammkrn
January 31, 2024 22:28 2m 12s main
main
January 31, 2024 22:28 2m 12s
Merge pull request #1 from madvorak/patch-1 Deploy mdBook site to Pages #3: Commit 44e5869 pushed by ammkrn
January 12, 2024 16:31 2m 1s main
main
January 12, 2024 16:31 2m 1s
fix: Sort/Type typo, misc clarifications Deploy mdBook site to Pages #2: Commit c012830 pushed by ammkrn
January 11, 2024 21:25 2m 32s main
main
January 11, 2024 21:25 2m 32s
Try deploying with action Deploy mdBook site to Pages #1: Commit 6878704 pushed by ammkrn
January 11, 2024 13:22 2m 15s main
main
January 11, 2024 13:22 2m 15s