Skip to content

Actions: leanprover-community/lean4-metaprogramming-book

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
149 workflow runs
149 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix issue on mdbook config Deploy to github pages #24: Pull request #137 synchronize by Seasawher
April 11, 2024 11:50 29s Seasawher:fix-mdbook-setting
Seasawher:fix-mdbook-setting
April 11, 2024 11:50 29s
fix issue on mdbook config Book #123: Pull request #137 synchronize by Seasawher
April 11, 2024 11:50 1m 46s Seasawher:fix-mdbook-setting
Seasawher:fix-mdbook-setting
April 11, 2024 11:50 1m 46s
fix issue on mdbook config Deploy to github pages #23: Pull request #137 synchronize by Seasawher
April 11, 2024 11:21 29s Seasawher:fix-mdbook-setting
Seasawher:fix-mdbook-setting
April 11, 2024 11:21 29s
fix issue on mdbook config Book #122: Pull request #137 synchronize by Seasawher
April 11, 2024 11:21 1m 24s Seasawher:fix-mdbook-setting
Seasawher:fix-mdbook-setting
April 11, 2024 11:21 1m 24s
fix issue on mdbook config Deploy to github pages #22: Pull request #137 synchronize by Seasawher
April 8, 2024 18:25 38s Seasawher:fix-mdbook-setting
Seasawher:fix-mdbook-setting
April 8, 2024 18:25 38s
fix issue on mdbook config Book #121: Pull request #137 synchronize by Seasawher
April 8, 2024 18:25 1m 28s Seasawher:fix-mdbook-setting
Seasawher:fix-mdbook-setting
April 8, 2024 18:25 1m 28s
fix issue on mdbook config Deploy to github pages #21: Pull request #137 synchronize by Seasawher
April 8, 2024 18:16 27s Seasawher:fix-mdbook-setting
Seasawher:fix-mdbook-setting
April 8, 2024 18:16 27s
fix issue on mdbook config Book #120: Pull request #137 synchronize by Seasawher
April 8, 2024 18:16 1m 13s Seasawher:fix-mdbook-setting
Seasawher:fix-mdbook-setting
April 8, 2024 18:16 1m 13s
fix issue on mdbook config Deploy to github pages #20: Pull request #137 synchronize by Seasawher
April 8, 2024 18:10 28s Seasawher:fix-mdbook-setting
Seasawher:fix-mdbook-setting
April 8, 2024 18:10 28s
fix issue on mdbook config Book #119: Pull request #137 synchronize by Seasawher
April 8, 2024 18:10 1m 15s Seasawher:fix-mdbook-setting
Seasawher:fix-mdbook-setting
April 8, 2024 18:10 1m 15s
fix issue on mdbook config Book #118: Pull request #137 synchronize by Seasawher
April 8, 2024 18:06 1m 17s Seasawher:fix-mdbook-setting
Seasawher:fix-mdbook-setting
April 8, 2024 18:06 1m 17s
fix issue on mdbook config Deploy to github pages #19: Pull request #137 synchronize by Seasawher
April 8, 2024 18:06 29s Seasawher:fix-mdbook-setting
Seasawher:fix-mdbook-setting
April 8, 2024 18:06 29s
fix issue on mdbook config Deploy to github pages #18: Pull request #137 synchronize by Seasawher
April 8, 2024 17:55 29s Seasawher:fix-mdbook-setting
Seasawher:fix-mdbook-setting
April 8, 2024 17:55 29s
fix issue on mdbook config Book #117: Pull request #137 synchronize by Seasawher
April 8, 2024 17:55 1m 17s Seasawher:fix-mdbook-setting
Seasawher:fix-mdbook-setting
April 8, 2024 17:55 1m 17s
fix issue on mdbook config Deploy to github pages #17: Pull request #137 opened by Seasawher
April 8, 2024 17:42 28s Seasawher:fix-mdbook-setting
Seasawher:fix-mdbook-setting
April 8, 2024 17:42 28s
fix issue on mdbook config Book #116: Pull request #137 opened by Seasawher
April 8, 2024 17:42 1m 29s Seasawher:fix-mdbook-setting
Seasawher:fix-mdbook-setting
April 8, 2024 17:42 1m 29s
use #check_failure command to erase errors Book #115: Pull request #131 synchronize by Seasawher
April 8, 2024 17:02 2m 23s Seasawher:using-check-failure
Seasawher:using-check-failure
April 8, 2024 17:02 2m 23s
use #check_failure command to erase errors Deploy to github pages #16: Pull request #131 synchronize by Seasawher
April 8, 2024 17:02 38s Seasawher:using-check-failure
Seasawher:using-check-failure
April 8, 2024 17:02 38s
add "run on Lean4 Playground" button Book #114: Pull request #136 opened by Seasawher
March 27, 2024 12:18 2m 3s Seasawher:add-run-button
Seasawher:add-run-button
March 27, 2024 12:18 2m 3s
add "run on Lean4 Playground" button Deploy to github pages #15: Pull request #136 opened by Seasawher
March 27, 2024 12:18 40s Seasawher:add-run-button
Seasawher:add-run-button
March 27, 2024 12:18 40s
bug fix: invalid runCmd arguments (#134) Book #113: Commit 3ef475b pushed by arthurpaulino
March 23, 2024 11:39 1m 55s master
master
March 23, 2024 11:39 1m 55s
bug fix: invalid runCmd arguments (#134) Deploy to github pages #14: Commit 3ef475b pushed by arthurpaulino
March 23, 2024 11:39 55s master
master
March 23, 2024 11:39 55s
bug fix: invalid runCmd arguments Book #112: Pull request #134 opened by Seasawher
March 23, 2024 01:54 1m 44s Seasawher:patch-1
Seasawher:patch-1
March 23, 2024 01:54 1m 44s
bug fix: invalid runCmd arguments Deploy to github pages #13: Pull request #134 opened by Seasawher
March 23, 2024 01:54 40s Seasawher:patch-1
Seasawher:patch-1
March 23, 2024 01:54 40s
use #check_failure command to erase errors Book #111: Pull request #131 opened by Seasawher
February 4, 2024 13:38 2m 6s Seasawher:using-check-failure
Seasawher:using-check-failure
February 4, 2024 13:38 2m 6s