Skip to content

Actions: leanprover-community/lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
22 workflow runs
22 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
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
fix lean core build #1975: Commit db2dcfb pushed by eric-wieser
June 14, 2023 12:27 37m 12s eric-wieser/semireducible-injectivity-lemmas
eric-wieser/semireducible-injectivity-lemmas
June 14, 2023 12:27 37m 12s
fix and add test lean core build #1974: Commit ef0371b pushed by eric-wieser
June 14, 2023 12:05 43m 2s eric-wieser/semireducible-injectivity-lemmas
eric-wieser/semireducible-injectivity-lemmas
June 14, 2023 12:05 43m 2s
fix: use semireducible transparency when producing `no_confusion_type… lean core build #1973: Commit 05f7917 pushed by eric-wieser
June 14, 2023 11:56 14m 54s eric-wieser/semireducible-injectivity-lemmas
eric-wieser/semireducible-injectivity-lemmas
June 14, 2023 11:56 14m 54s
fix: use a less ambiguous encoding for relative imports lean core build #1972: Commit 1dfc21e pushed by digama0
May 25, 2023 22:18 37m 27s rel_import
rel_import
May 25, 2023 22:18 37m 27s
chore(*): release 3.51.1 (#809) lean core build #1971: Commit cce7990 pushed by bryangingechen
May 24, 2023 19:26 33m 0s v3.51.1
v3.51.1
May 24, 2023 19:26 33m 0s
chore(*): release 3.51.1 (#809) lean core build #1970: Commit cce7990 pushed by bors bot
May 24, 2023 18:31 30m 3s master
master
May 24, 2023 18:31 30m 3s
chore(*): release 3.51.1 lean core build #1969: Commit 7d05137 pushed by gebner
May 24, 2023 18:12 33m 27s 3511
3511
May 24, 2023 18:12 33m 27s
chore(*): release 3.51.1 (#809) lean core build #1968: Commit cce7990 pushed by bors bot
May 24, 2023 17:58 32m 29s staging
staging
May 24, 2023 17:58 32m 29s
chore(*): release 3.51.1 lean core build #1967: Commit 827b07c pushed by bryangingechen
May 24, 2023 17:21 32m 35s 351.1
351.1
May 24, 2023 17:21 32m 35s
fix: Add missing emscripten export (#808) lean core build #1966: Commit 78d49c6 pushed by bryangingechen
May 24, 2023 17:16 31m 36s master
master
May 24, 2023 17:16 31m 36s
Update CMakeLists.txt lean core build #1965: Commit c579d21 pushed by eric-wieser
May 24, 2023 09:30 35m 49s eric-wieser-patch-1
eric-wieser-patch-1
May 24, 2023 09:30 35m 49s
fix: Add missing emscripten export lean core build #1964: Commit 99b2c30 pushed by eric-wieser
May 24, 2023 08:43 33m 7s eric-wieser-patch-1
eric-wieser-patch-1
May 24, 2023 08:43 33m 7s
chore(*): release 3.51.0 (#807) lean core build #1963: Commit 9fc1dee pushed by gebner
May 17, 2023 18:55 32m 5s v3.51.0
v3.51.0
May 17, 2023 18:55 32m 5s
chore(*): release 3.51.0 (#807) lean core build #1962: Commit 9fc1dee pushed by bors bot
May 17, 2023 18:49 34m 51s master
master
May 17, 2023 18:49 34m 51s
chore(*): release 3.51.0 (#807) lean core build #1961: Commit 9fc1dee pushed by bors bot
May 17, 2023 18:11 37m 26s staging
staging
May 17, 2023 18:11 37m 26s
chore(*): release 3.51.0 lean core build #1960: Commit c5ff21a pushed by gebner
May 17, 2023 16:07 35m 5s 351
351
May 17, 2023 16:07 35m 5s