Skip to content

Actions: epfl-matmat/error-control-modelling

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
74 workflow runs
74 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #21: by github-pages bot
November 7, 2024 16:38 40s gh-pages
gh-pages
November 7, 2024 16:38 40s
Add +A-A intermediate step in proof (#10) Export Pluto notebooks #28: Commit 2521a17 pushed by mfherbst
November 7, 2024 16:37 6m 45s master
master
November 7, 2024 16:37 6m 45s
pages build and deployment pages-build-deployment #20: by github-pages bot
November 7, 2024 12:05 45s gh-pages
gh-pages
November 7, 2024 12:05 45s
Fixes and amendments in chapter 7 Export Pluto notebooks #27: Commit bfb06de pushed by mfherbst
November 7, 2024 12:02 7m 29s master
master
November 7, 2024 12:02 7m 29s
pages build and deployment pages-build-deployment #19: by github-pages bot
October 31, 2024 16:09 44s gh-pages
gh-pages
October 31, 2024 16:09 44s
Update course recommendation on index Export Pluto notebooks #26: Commit aeb0c6c pushed by mfherbst
October 31, 2024 16:07 6m 32s master
master
October 31, 2024 16:07 6m 32s
pages build and deployment pages-build-deployment #18: by github-pages bot
October 31, 2024 14:20 42s gh-pages
gh-pages
October 31, 2024 14:20 42s
Diagonalisation algorithms bugfix Export Pluto notebooks #25: Commit 05166bc pushed by mfherbst
October 31, 2024 14:18 6m 55s master
master
October 31, 2024 14:18 6m 55s
pages build and deployment pages-build-deployment #17: by github-pages bot
October 31, 2024 10:46 36s gh-pages
gh-pages
October 31, 2024 10:46 36s
updates Export Pluto notebooks #24: Commit f65cde6 pushed by mfherbst
October 31, 2024 10:31 19m 58s master
master
October 31, 2024 10:31 19m 58s
Fix typos (#9) Export Pluto notebooks #23: Commit 21b24cb pushed by mfherbst
October 31, 2024 10:28 3m 26s master
master
October 31, 2024 10:28 3m 26s
pages build and deployment pages-build-deployment #16: by github-pages bot
October 17, 2024 12:10 49s gh-pages
gh-pages
October 17, 2024 12:10 49s
Update on diagonalisation algorithms Export Pluto notebooks #22: Commit b5de46d pushed by mfherbst
October 17, 2024 11:56 19m 19s master
master
October 17, 2024 11:56 19m 19s
pages build and deployment pages-build-deployment #15: by github-pages bot
October 3, 2024 13:29 38s gh-pages
gh-pages
October 3, 2024 13:29 38s
Fix some typos Export Pluto notebooks #21: Commit 6a09c9c pushed by mfherbst
October 3, 2024 13:26 8m 5s master
master
October 3, 2024 13:26 8m 5s
pages build and deployment pages-build-deployment #14: by github-pages bot
October 3, 2024 12:00 43s gh-pages
gh-pages
October 3, 2024 12:00 43s
Fix typo in 04_Matrix_error_bounds.jl (#8) Export Pluto notebooks #20: Commit f99fdc0 pushed by mfherbst
October 3, 2024 11:58 6m 55s master
master
October 3, 2024 11:58 6m 55s
Update 03_Matrix_eigenproblems.jl with modulus (#7) Export Pluto notebooks #19: Commit 2d1baeb pushed by mfherbst
October 3, 2024 11:58 23s master
master
October 3, 2024 11:58 23s
pages build and deployment pages-build-deployment #13: by github-pages bot
September 26, 2024 12:22 56s gh-pages
gh-pages
September 26, 2024 12:22 56s
Unify N/n in 03_Matrix_eigenproblems.jl (#6) Export Pluto notebooks #18: Commit e77fb53 pushed by mfherbst
September 26, 2024 12:08 18m 48s master
master
September 26, 2024 12:08 18m 48s
pages build and deployment pages-build-deployment #12: by github-pages bot
September 9, 2024 15:33 41s gh-pages
gh-pages
September 9, 2024 15:33 41s
Small updates Export Pluto notebooks #17: Commit 4d863c2 pushed by mfherbst
September 9, 2024 15:30 8m 26s master
master
September 9, 2024 15:30 8m 26s
pages build and deployment pages-build-deployment #11: by github-pages bot
September 9, 2024 13:49 42s gh-pages
gh-pages
September 9, 2024 13:49 42s
Update presentation Export Pluto notebooks #16: Commit b00b895 pushed by mfherbst
September 9, 2024 13:48 3m 36s master
master
September 9, 2024 13:48 3m 36s
pages build and deployment pages-build-deployment #10: by github-pages bot
September 6, 2024 09:47 38s gh-pages
gh-pages
September 6, 2024 09:47 38s