Skip to content

Actions: riccardobrasca/demontrer2025

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
82 workflow runs
82 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

commentaire .github/workflows/lean_build.yml #82: Commit 86ba177 pushed by Iro-IMAG
February 5, 2025 13:43 4m 56s main
main
February 5, 2025 13:43 4m 56s
add or.lean .github/workflows/lean_build.yml #81: Commit 4637d24 pushed by riccardobrasca
February 5, 2025 13:41 5m 1s main
main
February 5, 2025 13:41 5m 1s
add solutions .github/workflows/lean_build.yml #80: Commit bc683a1 pushed by riccardobrasca
February 4, 2025 15:44 5m 15s solutions
solutions
February 4, 2025 15:44 5m 15s
useless .github/workflows/lean_build.yml #79: Commit d7f1edb pushed by riccardobrasca
January 30, 2025 14:10 5m 4s solutions
solutions
January 30, 2025 14:10 5m 4s
better .github/workflows/lean_build.yml #78: Commit b0a6c02 pushed by riccardobrasca
January 30, 2025 14:03 5m 11s solutions
solutions
January 30, 2025 14:03 5m 11s
Update README.md .github/workflows/lean_build.yml #77: Commit 07836fb pushed by riccardobrasca
January 30, 2025 13:56 4m 56s solutions
solutions
January 30, 2025 13:56 4m 56s
add solutions .github/workflows/lean_build.yml #76: Commit b890674 pushed by riccardobrasca
January 30, 2025 13:55 5m 1s solutions
solutions
January 30, 2025 13:55 5m 1s
update .github/workflows/lean_build.yml #75: Commit bc80b3e pushed by riccardobrasca
January 29, 2025 13:45 4m 59s solutions
solutions
January 29, 2025 13:45 4m 59s
add this .github/workflows/lean_build.yml #74: Commit 6df03fe pushed by riccardobrasca
January 29, 2025 13:40 4m 56s main
main
January 29, 2025 13:40 4m 56s
better .github/workflows/lean_build.yml #73: Commit e8046ce pushed by riccardobrasca
January 29, 2025 13:33 4m 58s main
main
January 29, 2025 13:33 4m 58s
mieux .github/workflows/lean_build.yml #72: Commit 02dbfdc pushed by riccardobrasca
January 29, 2025 13:30 5m 9s main
main
January 29, 2025 13:30 5m 9s
new chapter .github/workflows/lean_build.yml #71: Commit 5869810 pushed by riccardobrasca
January 29, 2025 13:26 5m 11s main
main
January 29, 2025 13:26 5m 11s
ops .github/workflows/lean_build.yml #70: Commit eaf9855 pushed by riccardobrasca
January 22, 2025 15:09 5m 6s solutions
solutions
January 22, 2025 15:09 5m 6s
add solutions .github/workflows/lean_build.yml #69: Commit 1bfb017 pushed by riccardobrasca
January 22, 2025 14:36 5m 6s solutions
solutions
January 22, 2025 14:36 5m 6s
harder .github/workflows/lean_build.yml #68: Commit 4746882 pushed by riccardobrasca
January 22, 2025 14:33 5m 1s main
main
January 22, 2025 14:33 5m 1s
use French .github/workflows/lean_build.yml #67: Commit ac3d9de pushed by riccardobrasca
January 22, 2025 14:32 4m 59s main
main
January 22, 2025 14:32 4m 59s
make it harder .github/workflows/lean_build.yml #66: Commit 077a697 pushed by riccardobrasca
January 22, 2025 14:31 4m 56s main
main
January 22, 2025 14:31 4m 56s
add solutions .github/workflows/lean_build.yml #65: Commit f805dbb pushed by riccardobrasca
January 22, 2025 14:30 4m 58s solutions
solutions
January 22, 2025 14:30 4m 58s
all done .github/workflows/lean_build.yml #64: Commit 8b6e107 pushed by riccardobrasca
January 22, 2025 13:33 4m 58s solutions
solutions
January 22, 2025 13:33 4m 58s
better .github/workflows/lean_build.yml #63: Commit 5957c8e pushed by riccardobrasca
January 22, 2025 10:00 5m 1s main
main
January 22, 2025 10:00 5m 1s
add this .github/workflows/lean_build.yml #62: Commit 592d28d pushed by riccardobrasca
January 22, 2025 09:59 5m 6s main
main
January 22, 2025 09:59 5m 6s
add done .github/workflows/lean_build.yml #61: Commit 4fd1d15 pushed by riccardobrasca
January 22, 2025 09:50 5m 5s main
main
January 22, 2025 09:50 5m 5s
french .github/workflows/lean_build.yml #60: Commit 6dce17e pushed by riccardobrasca
January 22, 2025 09:46 5m 0s main
main
January 22, 2025 09:46 5m 0s
add this .github/workflows/lean_build.yml #59: Commit 876ba4a pushed by riccardobrasca
January 22, 2025 09:39 4m 56s main
main
January 22, 2025 09:39 4m 56s
Create LICENSE .github/workflows/lean_build.yml #58: Commit b592304 pushed by riccardobrasca
January 20, 2025 16:00 4m 59s main
main
January 20, 2025 16:00 4m 59s