Skip to content

Actions: cadake/LeanTQI

Actions

Lint Style

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
22 workflow runs
22 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

i1it Lint Style #22: Commit e57c7f8 pushed by cadake
December 3, 2024 03:42 14s main
main
December 3, 2024 03:42 14s
ipq doing Lint Style #21: Commit 3b4d2c6 pushed by cadake
November 3, 2024 14:44 15s main
main
November 3, 2024 14:44 15s
p1~2 done; todo simplify Lint Style #20: Commit 7a984a2 pushed by cadake
October 16, 2024 14:25 13s main
main
October 16, 2024 14:25 13s
lp diag Lint Style #19: Commit 79e5e89 pushed by cadake
October 13, 2024 13:33 12s main
main
October 13, 2024 13:33 12s
Update VectorNorm.lean Lint Style #18: Commit 7eea793 pushed by cadake
October 13, 2024 09:11 13s main
main
October 13, 2024 09:11 13s
iSup_comm Lint Style #17: Commit ad384ee pushed by cadake
October 13, 2024 09:06 15s main
main
October 13, 2024 09:06 15s
test Lint Style #16: Commit 082a1df pushed by cadake
October 7, 2024 05:01 12s main
main
October 7, 2024 05:01 12s
continuous over p Lint Style #15: Commit cdddda5 pushed by cadake
October 6, 2024 08:08 14s main
main
October 6, 2024 08:08 14s
Merge branch 'main' of github.com:cadake/LeanTQI Lint Style #14: Commit 7dea3ab pushed by cadake
October 6, 2024 08:02 10s main
main
October 6, 2024 08:02 10s
Merge branch 'main' of github.com:cadake/LeanTQI Lint Style #13: Commit 7aa9633 pushed by cadake
September 23, 2024 07:11 10s main
main
September 23, 2024 07:11 10s
test Lint Style #12: Commit 0d1ce27 pushed by cadake
September 23, 2024 04:37 12s main
main
September 23, 2024 04:37 12s
lp antimono done, some lemmas about sSup todo Lint Style #11: Commit dd850e8 pushed by cadake
September 20, 2024 03:37 13s main
main
September 20, 2024 03:37 13s
lp mono Lint Style #10: Commit feb92d3 pushed by cadake
September 19, 2024 12:07 16s main
main
September 19, 2024 12:07 16s
todo jensen inequality Lint Style #9: Commit c673850 pushed by cadake
September 18, 2024 09:30 17s main
main
September 18, 2024 09:30 17s
todo monotone p Lint Style #8: Commit 52bbff6 pushed by cadake
September 17, 2024 14:38 13s main
main
September 17, 2024 14:38 13s
todo isup_comm Lint Style #7: Commit f1b6268 pushed by cadake
September 13, 2024 15:37 11s main
main
September 13, 2024 15:37 11s
to learn set and topology Lint Style #6: Commit 1f6a085 pushed by cadake
September 11, 2024 14:17 13s main
main
September 11, 2024 14:17 13s
Merge branch 'main' of github.com:cadake/LeanTQI Lint Style #5: Commit b3455ce pushed by cadake
September 11, 2024 09:53 17s main
main
September 11, 2024 09:53 17s
Update README.md Lint Style #4: Commit 2c1cdc0 pushed by cadake
September 11, 2024 09:11 17s main
main
September 11, 2024 09:11 17s
Setup blueprint Lint Style #3: Commit ea35b92 pushed by cadake
September 11, 2024 08:53 15s main
main
September 11, 2024 08:53 15s
init Lint Style #2: Commit 3c1dd05 pushed by cadake
September 11, 2024 08:46 11s main
main
September 11, 2024 08:46 11s
Initial commit Lint Style #1: Commit fa1efbb pushed by cadake
September 11, 2024 08:07 16s main
main
September 11, 2024 08:07 16s