Skip to content

Actions: arademaker/fad

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
291 workflow runs
291 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

9.4 - Prim's Algorithm Lean Action CI #266: Pull request #58 synchronize by jVictorCorrea
1m 41s 9.4-Prim's-Algorithm
9.4-Prim's-Algorithm
1m 41s
Novo arranjo para gstep' // Adição de exemplo Lean Action CI #265: Commit 038a592 pushed by jVictorCorrea
1m 43s 9.4-Prim's-Algorithm
9.4-Prim's-Algorithm
1m 43s
9.4 - Prim's Algorithm Lean Action CI #264: Pull request #58 synchronize by jVictorCorrea
1m 45s 9.4-Prim's-Algorithm
9.4-Prim's-Algorithm
1m 45s
Update Chapter9.lean Lean Action CI #263: Commit 3a5fb79 pushed by jVictorCorrea
1m 26s 9.4-Prim's-Algorithm
9.4-Prim's-Algorithm
1m 26s
9.4 - Prim's Algorithm Lean Action CI #262: Pull request #58 synchronize by jVictorCorrea
1m 24s 9.4-Prim's-Algorithm
9.4-Prim's-Algorithm
1m 24s
Update Chapter9.lean Lean Action CI #261: Commit 433d813 pushed by jVictorCorrea
1m 23s 9.4-Prim's-Algorithm
9.4-Prim's-Algorithm
1m 23s
Adicionar seção 12.3 Lean Action CI #260: Pull request #46 synchronize by GermanoAndrade
1m 53s germano/the_paragraph_problem
germano/the_paragraph_problem
1m 53s
Fix typo Lean Action CI #259: Commit c7051f3 pushed by GermanoAndrade
1m 19s germano/the_paragraph_problem
germano/the_paragraph_problem
1m 19s
Adicionar seção 12.3 Lean Action CI #258: Pull request #46 synchronize by GermanoAndrade
57s germano/the_paragraph_problem
germano/the_paragraph_problem
57s
Update README.md Lean Action CI #257: Commit 621fdfb pushed by GermanoAndrade
56s germano/the_paragraph_problem
germano/the_paragraph_problem
56s
Adicionar seção 12.3 Lean Action CI #256: Pull request #46 synchronize by GermanoAndrade
1m 16s germano/the_paragraph_problem
germano/the_paragraph_problem
1m 16s
Attempt to prove termination for parts Lean Action CI #255: Commit e279dfa pushed by GermanoAndrade
1m 14s germano/the_paragraph_problem
germano/the_paragraph_problem
1m 14s
Adicionar seção 12.3 Lean Action CI #254: Pull request #46 synchronize by GermanoAndrade
6m 49s germano/the_paragraph_problem
germano/the_paragraph_problem
6m 49s
Complete section 12.3 Lean Action CI #253: Commit 766505f pushed by GermanoAndrade
6m 50s germano/the_paragraph_problem
germano/the_paragraph_problem
6m 50s
9.4 - Prim's Algorithm Lean Action CI #252: Pull request #58 synchronize by jVictorCorrea
1m 30s 9.4-Prim's-Algorithm
9.4-Prim's-Algorithm
1m 30s
Update Chapter9.lean Lean Action CI #251: Commit 016596e pushed by jVictorCorrea
1m 18s 9.4-Prim's-Algorithm
9.4-Prim's-Algorithm
1m 18s
9.4 - Prim's Algorithm Lean Action CI #250: Pull request #58 synchronize by jVictorCorrea
1m 46s 9.4-Prim's-Algorithm
9.4-Prim's-Algorithm
1m 46s
Update Chapter9.lean Lean Action CI #249: Commit 39a99c4 pushed by jVictorCorrea
1m 20s 9.4-Prim's-Algorithm
9.4-Prim's-Algorithm
1m 20s
9.4 - Prim's Algorithm Lean Action CI #248: Pull request #58 opened by jVictorCorrea
1m 43s 9.4-Prim's-Algorithm
9.4-Prim's-Algorithm
1m 43s
9.4 - Prim's Algorithm Lean Action CI #247: Commit 423e2d4 pushed by jVictorCorrea
1m 19s 9.4-Prim's-Algorithm
9.4-Prim's-Algorithm
1m 19s
markdown in the comment Lean Action CI #246: Commit 519e3b0 pushed by jVictorCorrea
1m 40s 9.4-Prim's-Algorithm
9.4-Prim's-Algorithm
1m 40s
Implementação funções start e extract Lean Action CI #245: Commit 65db672 pushed by jVictorCorrea
1m 1s Primsalgorithm
Primsalgorithm
1m 1s
markdown in the comment Lean Action CI #244: Commit 519e3b0 pushed by arademaker
1m 23s main
main
1m 23s
9.2 kruskal’s algorithm 1 (#53) Lean Action CI #243: Commit 387730b pushed by arademaker
1m 41s main
main
1m 41s
9.2 kruskal’s algorithm 1 Lean Action CI #242: Pull request #53 synchronize by Darlan369
1m 18s 9.2-Kruskal’s-algorithm
9.2-Kruskal’s-algorithm
1m 18s