Skip to content

Actions: leanprover-community/con-nf

Actions

.github/workflows/push_main.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push_main.yml
457 workflow runs
457 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Remove extraneous hypotheses .github/workflows/push_main.yml #876: Commit fa12670 pushed by zeramorphic
November 26, 2024 22:22 13m 17s main
main
November 26, 2024 22:22 13m 17s
Bump mathlib .github/workflows/push_main.yml #875: Commit 214c408 pushed by zeramorphic
November 26, 2024 18:31 13m 23s main
main
November 26, 2024 18:31 13m 23s
Fix all sorries .github/workflows/push_main.yml #874: Commit 9e87cc4 pushed by zeramorphic
November 26, 2024 18:14 13m 56s main
main
November 26, 2024 18:14 13m 56s
Bump mathlib .github/workflows/push_main.yml #873: Commit 9608501 pushed by zeramorphic
November 24, 2024 20:18 13m 39s main
main
November 24, 2024 20:18 13m 39s
Finish main induction .github/workflows/push_main.yml #872: Commit 43a1a3d pushed by zeramorphic
November 24, 2024 19:59 12m 54s main
main
November 24, 2024 19:59 12m 54s
Setup for hypothesis construction .github/workflows/push_main.yml #871: Commit 7e9411c pushed by zeramorphic
November 24, 2024 18:50 14m 15s main
main
November 24, 2024 18:50 14m 15s
Refactor main induction .github/workflows/push_main.yml #870: Commit 2e45ac2 pushed by zeramorphic
November 24, 2024 18:39 10m 53s main
main
November 24, 2024 18:39 10m 53s
Finish coherentData .github/workflows/push_main.yml #869: Commit 892f38d pushed by zeramorphic
November 24, 2024 18:35 4m 53s main
main
November 24, 2024 18:35 4m 53s
Prove tSet_ext in matin induction .github/workflows/push_main.yml #868: Commit 2f1c964 pushed by zeramorphic
November 24, 2024 18:17 3m 12s main
main
November 24, 2024 18:17 3m 12s
preCoherentData_allPerm_of_smulFuzz .github/workflows/push_main.yml #867: Commit c961089 pushed by zeramorphic
November 24, 2024 17:43 3m 1s main
main
November 24, 2024 17:43 3m 1s
Prove smul_fuzz in main induction .github/workflows/push_main.yml #866: Commit e02e28b pushed by zeramorphic
November 24, 2024 13:44 13m 18s main
main
November 24, 2024 13:44 13m 18s
Positions of supports and allowable derivatives .github/workflows/push_main.yml #865: Commit 6c7da26 pushed by zeramorphic
November 24, 2024 11:56 12m 54s main
main
November 24, 2024 11:56 12m 54s
Restructure MainInduction .github/workflows/push_main.yml #864: Commit 8e182b0 pushed by zeramorphic
November 23, 2024 20:38 14m 9s main
main
November 23, 2024 20:38 14m 9s
Minor progress .github/workflows/push_main.yml #863: Commit 70d5b1c pushed by zeramorphic
November 19, 2024 23:02 12m 46s main
main
November 19, 2024 23:02 12m 46s
Bump mathlib .github/workflows/push_main.yml #862: Commit 4b1c1de pushed by zeramorphic
November 19, 2024 21:59 13m 8s main
main
November 19, 2024 21:59 13m 8s
Progress on coherent data .github/workflows/push_main.yml #861: Commit 1301df7 pushed by zeramorphic
November 19, 2024 20:49 12m 43s main
main
November 19, 2024 20:49 12m 43s
Rename Aux to Basic .github/workflows/push_main.yml #860: Commit 64e8ad4 pushed by zeramorphic
November 5, 2024 21:33 2m 40s main
main
November 5, 2024 21:33 2m 40s
Rename .github/workflows/push_main.yml #859: Commit 5c8e7b7 pushed by zeramorphic
November 5, 2024 21:32 1m 26s main
main
November 5, 2024 21:32 1m 26s
WIP .github/workflows/push_main.yml #858: Commit 6a5d4a3 pushed by zeramorphic
November 5, 2024 14:46 2m 34s main
main
November 5, 2024 14:46 2m 34s
WIP .github/workflows/push_main.yml #857: Commit 79731d3 pushed by zeramorphic
November 4, 2024 23:22 12m 39s main
main
November 4, 2024 23:22 12m 39s
Construction of model data .github/workflows/push_main.yml #856: Commit 57e7cc5 pushed by zeramorphic
November 4, 2024 11:25 12m 39s main
main
November 4, 2024 11:25 12m 39s
WIP .github/workflows/push_main.yml #855: Commit 812d862 pushed by zeramorphic
November 4, 2024 00:05 2m 27s main
main
November 4, 2024 00:05 2m 27s
Codes and extensionality .github/workflows/push_main.yml #854: Commit 63e713f pushed by zeramorphic
November 3, 2024 22:21 12m 46s main
main
November 3, 2024 22:21 12m 46s
Remove extraneous assumption .github/workflows/push_main.yml #853: Commit 25e71f6 pushed by zeramorphic
November 3, 2024 17:58 12m 48s main
main
November 3, 2024 17:58 12m 48s
Conclude counting argument .github/workflows/push_main.yml #852: Commit 4d56195 pushed by zeramorphic
November 3, 2024 17:31 12m 13s main
main
November 3, 2024 17:31 12m 13s