Skip to content

Actions: leanprover-community/lean4-metaprogramming-book

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
181 workflow runs
181 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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