Skip to content

Actions: mo271/FormalBook

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
497 workflow runs
497 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add slash Compile blueprint #15: Commit 124765a pushed by mo271
September 20, 2024 13:08 7m 36s main
main
September 20, 2024 13:08 7m 36s
add slash .github/workflows/lean_build.yml #144: Commit 124765a pushed by mo271
September 20, 2024 13:08 1m 48s main
main
September 20, 2024 13:08 1m 48s
change baseurl and url Lint Style #6: Commit ae7600e pushed by mo271
September 20, 2024 13:08 17s main
main
September 20, 2024 13:08 17s
change baseurl and url .github/workflows/lean_build.yml #143: Commit ae7600e pushed by mo271
September 20, 2024 13:08 1m 47s main
main
September 20, 2024 13:08 1m 47s
change baseurl and url Compile blueprint #14: Commit ae7600e pushed by mo271
September 20, 2024 13:08 7m 33s main
main
September 20, 2024 13:08 7m 33s
try out relative paths Compile blueprint #13: Commit 0df5f67 pushed by mo271
September 20, 2024 12:51 8m 9s main
main
September 20, 2024 12:51 8m 9s
try out relative paths Lint Style #5: Commit 0df5f67 pushed by mo271
September 20, 2024 12:51 15s main
main
September 20, 2024 12:51 15s
try out relative paths .github/workflows/lean_build.yml #142: Commit 0df5f67 pushed by mo271
September 20, 2024 12:51 1m 52s main
main
September 20, 2024 12:51 1m 52s
edit link for pdf in index .github/workflows/lean_build.yml #141: Commit 5ef081b pushed by mo271
September 20, 2024 12:33 1m 58s main
main
September 20, 2024 12:33 1m 58s
edit link for pdf in index Compile blueprint #12: Commit 5ef081b pushed by mo271
September 20, 2024 12:33 8m 34s main
main
September 20, 2024 12:33 8m 34s
edit link for pdf in index Lint Style #4: Commit 5ef081b pushed by mo271
September 20, 2024 12:33 18s main
main
September 20, 2024 12:33 18s
Bump actions/checkout from 2 to 4 Compile blueprint #11: Commit cba4648 pushed by mo271
September 20, 2024 12:29 7m 18s main
main
September 20, 2024 12:29 7m 18s
Bump actions/checkout from 2 to 4 .github/workflows/lean_build.yml #140: Commit cba4648 pushed by mo271
September 20, 2024 12:29 1m 47s main
main
September 20, 2024 12:29 1m 47s
Bump actions/checkout from 2 to 4 Lint Style #3: Commit cba4648 pushed by mo271
September 20, 2024 12:29 15s main
main
September 20, 2024 12:29 15s
Bump actions/checkout from 2 to 4 Lint Style #2: Pull request #59 opened by dependabot bot
September 20, 2024 12:05 14s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
September 20, 2024 12:05 14s
Bump actions/checkout from 2 to 4 .github/workflows/lean_build.yml #139: Pull request #59 opened by dependabot bot
September 20, 2024 12:05 1m 53s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
September 20, 2024 12:05 1m 53s
Bump actions/checkout from 2 to 4 .github/workflows/lean_build.yml #138: Commit f9c0638 pushed by dependabot bot
September 20, 2024 12:05 1m 46s dependabot/github_actions/actions/checkout-4
dependabot/github_actions/actions/checkout-4
September 20, 2024 12:05 1m 46s
github_actions in /. - Update #888200308 Dependabot Updates #2: by dependabot bot
September 20, 2024 12:04 42s main
main
September 20, 2024 12:04 42s
github_actions in /. - Update #888200304 Dependabot Updates #1: by dependabot bot
September 20, 2024 12:04 38s main
main
September 20, 2024 12:04 38s
remove lakefile .github/workflows/lean_build.yml #137: Commit 3b58242 pushed by mo271
September 20, 2024 12:04 1m 44s main
main
September 20, 2024 12:04 1m 44s
remove lakefile Compile blueprint #10: Commit 3b58242 pushed by mo271
September 20, 2024 12:04 23m 36s main
main
September 20, 2024 12:04 23m 36s
remove lakefile Lint Style #1: Commit 3b58242 pushed by mo271
September 20, 2024 12:04 13s main
main
September 20, 2024 12:04 13s
remove lakefile .github/workflows/lean_build.yml #136: Commit 3b58242 pushed by mo271
September 20, 2024 12:00 1m 45s new_blueprint
new_blueprint
September 20, 2024 12:00 1m 45s
bump mathlib Compile blueprint #9: Commit 3162a7f pushed by mo271
September 18, 2024 12:13 23m 52s main
main
September 18, 2024 12:13 23m 52s
bump mathlib .github/workflows/lean_build.yml #135: Commit 3162a7f pushed by mo271
September 18, 2024 12:13 1m 51s main
main
September 18, 2024 12:13 1m 51s
ProTip! You can narrow down the results and go further in time using created:<2024-09-18 or the other filters available.