Skip to content

Actions: cymcymcymcym/Unique_Factorization_Lean4

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

extendedeuclidattempt Lean Action CI #6: Commit c85e6ad pushed by cymcymcymcym
September 27, 2024 13:13 1m 49s main
main
September 27, 2024 13:13 1m 49s
fixeddecidable Lean Action CI #5: Commit 1d43c6b pushed by cymcymcymcym
September 21, 2024 16:11 1m 29s main
main
September 21, 2024 16:11 1m 29s
stuckatpower Lean Action CI #4: Commit fc3d1d0 pushed by cymcymcymcym
September 20, 2024 16:12 1m 22s main
main
September 20, 2024 16:12 1m 22s
primefactorizationexists Lean Action CI #3: Commit 8b78e4b pushed by cymcymcymcym
September 19, 2024 14:49 1m 23s main
main
September 19, 2024 14:49 1m 23s
fundamentallemmadone Lean Action CI #2: Commit 6280ac3 pushed by cymcymcymcym
September 18, 2024 15:47 1m 24s main
main
September 18, 2024 15:47 1m 24s
euclidlemmatbc Lean Action CI #1: Commit d54fe64 pushed by cymcymcymcym
September 17, 2024 17:10 1m 50s main
main
September 17, 2024 17:10 1m 50s