Skip to content

Actions: leanprover-community/lean4-metaprogramming-book

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
270 workflow runs
270 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Update Lean Update Lean #56: Scheduled
46s master
master
46s
Update Lean Update Lean #55: Scheduled
52s master
master
52s
Merge pull request #213 from leanprover-community/workflow-permissions CI #140: Commit 842b36a pushed by Seasawher
33s master
master
33s
Merge pull request #213 from leanprover-community/workflow-permissions Book #274: Commit 842b36a pushed by Seasawher
3m 7s master
master
3m 7s
Merge pull request #213 from leanprover-community/workflow-permissions Deploy to github pages #175: Commit 842b36a pushed by Seasawher
4m 31s master
master
4m 31s
ci: declare GITHUB_TOKEN permissions on jobs that write Book #273: Pull request #213 opened by kim-em
2m 23s workflow-permissions
workflow-permissions
2m 23s
ci: declare GITHUB_TOKEN permissions on jobs that write Deploy to github pages #174: Pull request #213 opened by kim-em
34s workflow-permissions
workflow-permissions
34s
ci: declare GITHUB_TOKEN permissions on jobs that write CI #139: Pull request #213 opened by kim-em
24s workflow-permissions
workflow-permissions
24s
github_actions in /. - Update #1585031912 Dependabot Updates #10: by dependabot Bot
49s master
master
49s
Update Lean Update Lean #54: Scheduled
55s master
master
55s
Merge pull request #212 from SatvikMishra08/fix/132-metavariable-kind… Book #272: Commit 45ab0f6 pushed by Seasawher
2m 36s master
master
2m 36s
Merge pull request #212 from SatvikMishra08/fix/132-metavariable-kind… Deploy to github pages #173: Commit 45ab0f6 pushed by Seasawher
53s master
master
53s
Merge pull request #212 from SatvikMishra08/fix/132-metavariable-kind… CI #138: Commit 45ab0f6 pushed by Seasawher
29s master
master
29s
Update Lean Update Lean #53: Scheduled
56s master
master
56s
docs: fix dead #metavariable-kinds link in MetaM chapter Book #271: Pull request #212 opened by SatvikMishra08
3m 2s SatvikMishra08:fix/132-metavariable-kinds-link
SatvikMishra08:fix/132-metavariable-kinds-link
3m 2s
docs: fix dead #metavariable-kinds link in MetaM chapter CI #137: Pull request #212 opened by SatvikMishra08
32s SatvikMishra08:fix/132-metavariable-kinds-link
SatvikMishra08:fix/132-metavariable-kinds-link
32s
docs: fix dead #metavariable-kinds link in MetaM chapter Deploy to github pages #172: Pull request #212 opened by SatvikMishra08
35s SatvikMishra08:fix/132-metavariable-kinds-link
SatvikMishra08:fix/132-metavariable-kinds-link
35s
Update Lean Update Lean #52: Scheduled
1m 3s master
master
1m 3s
Update Lean Update Lean #51: Scheduled
48s master
master
48s
Merge pull request #211 from leanprover-community/auto-update-lean/patch Deploy to github pages #171: Commit 28407c8 pushed by Seasawher
55s master
master
55s
Merge pull request #211 from leanprover-community/auto-update-lean/patch CI #136: Commit 28407c8 pushed by Seasawher
46s master
master
46s
Merge pull request #211 from leanprover-community/auto-update-lean/patch Book #270: Commit 28407c8 pushed by Seasawher
2m 37s master
master
2m 37s
Updates available and ready to merge Deploy to github pages #170: Pull request #211 opened by github-actions Bot
1h 44m 40s auto-update-lean/patch
auto-update-lean/patch
1h 44m 40s
Updates available and ready to merge CI #135: Pull request #211 opened by github-actions Bot
1h 44m 40s auto-update-lean/patch
auto-update-lean/patch
1h 44m 40s
Updates available and ready to merge Book #269: Pull request #211 opened by github-actions Bot
1h 44m 40s auto-update-lean/patch
auto-update-lean/patch
1h 44m 40s