Skip to content

Actions: konnov/leanda

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 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 readme's Lean actions #56: Commit f7abaa1 pushed by konnov
4m 16s main
main
4m 16s
add and fix links Lean actions #55: Commit de4c25c pushed by konnov
4m 0s main
main
4m 0s
update the README Lean actions #54: Commit 611850e pushed by konnov
5m 39s main
main
5m 39s
Add Ben-Or Lean proof package Lean actions #53: Commit cefba4b pushed by konnov
4m 43s main
main
4m 43s
bump to lean4:v4.23.0-rc2 Lean actions #52: Commit 5f55575 pushed by konnov
4m 11s igor/nonlinear-experiments
igor/nonlinear-experiments
4m 11s
bump to lean4:v4.23.0-rc2 Lean actions #51: Commit 5f55575 pushed by konnov
5m 8s main
main
5m 8s