Skip to content

Actions: mo271/FormalBook

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
507 workflow runs
507 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

progress in ch44 .github/workflows/lean_build.yml #91: Commit 2bbc2bd pushed by mo271
January 4, 2024 22:10 1m 37s friendship_and_politician
friendship_and_politician
January 4, 2024 22:10 1m 37s
Update mathlib .github/workflows/lean_build.yml #90: Pull request #45 opened by mo271
January 4, 2024 16:14 1m 48s update_mathlib
update_mathlib
January 4, 2024 16:14 1m 48s
fix build .github/workflows/lean_build.yml #89: Commit 729eef9 pushed by mo271
January 4, 2024 16:14 1m 34s update_mathlib
update_mathlib
January 4, 2024 16:14 1m 34s
start ch 7 (#44) .github/workflows/lean_build.yml #88: Commit 4a23d89 pushed by mo271
January 4, 2024 15:26 1m 45s main
main
January 4, 2024 15:26 1m 45s
start ch 7 .github/workflows/lean_build.yml #87: Pull request #44 opened by mo271
January 2, 2024 19:51 1m 50s start_ch7
start_ch7
January 2, 2024 19:51 1m 50s
start ch 7 .github/workflows/lean_build.yml #86: Commit a23f4ad pushed by mo271
January 2, 2024 19:50 1m 45s start_ch7
start_ch7
January 2, 2024 19:50 1m 45s
start ch 7 .github/workflows/lean_build.yml #85: Commit 742e2a7 pushed by mo271
January 2, 2024 19:50 3m 24s start_ch7
start_ch7
January 2, 2024 19:50 3m 24s
ProTip! You can narrow down the results and go further in time using created:<2024-01-02 or the other filters available.