Skip to content

Actions: leanprover-community/lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Warn about deprecation in README (#815) lean core build #1981: Commit f91b574 pushed by PatrickMassot
October 12, 2023 20:35 37m 27s master
master
October 12, 2023 20:35 37m 27s
Merge branch 'master' into deprecate lean core build #1980: Commit 64bb01e pushed by eric-wieser
October 12, 2023 20:30 36m 0s deprecate
deprecate
October 12, 2023 20:30 36m 0s
Fix links in the readme to point to the (obsolete) lean3 pages lean core build #1979: Commit 7bbf74b pushed by eric-wieser
October 12, 2023 20:27 34m 36s master
master
October 12, 2023 20:27 34m 36s
Warn about deprecation in README lean core build #1978: Commit 54b86de pushed by PatrickMassot
October 12, 2023 20:24 43m 28s deprecate
deprecate
October 12, 2023 20:24 43m 28s
fix(shell): add missing include (#813) lean core build #1977: Commit 21d264a pushed by bors bot
September 27, 2023 19:01 33m 15s master
master
September 27, 2023 19:01 33m 15s
fix(shell): add missing include (#813) lean core build #1976: Commit 21d264a pushed by bors bot
September 27, 2023 18:22 39m 17s staging
staging
September 27, 2023 18:22 39m 17s