Skip to content

Actions: bmlip/course

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
468 workflow runs
468 workflow runs

Filter by Workflow

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Keep caches fresh
Keep caches fresh #152: Scheduled
8s main
pages build and deployment
pages-build-deployment #314: by github-pages Bot
3m 10s gh-pages
3m 10s
PDF export 30 oct 2026 (#313)
Export Pluto notebooks #410: Commit 00ab863 pushed by fonsp
3m 44s main
pages build and deployment
pages-build-deployment #313: by github-pages Bot
1m 17s gh-pages
1m 17s
Update PlutoUI to 0.7.84 in all notebooks (#312)
Export Pluto notebooks #409: Commit f50255e pushed by fonsp
11m 57s main
pages build and deployment
pages-build-deployment #312: by github-pages Bot
1m 16s gh-pages
1m 16s
Update all package versions Oct 2026 (#311)
Export Pluto notebooks #408: Commit be2011e pushed by fonsp
30m 46s main
pages build and deployment
pages-build-deployment #311: by github-pages Bot
1m 33s gh-pages
1m 33s
final check
Export Pluto notebooks #407: Commit 04c6f4f pushed by bertdv
22m 39s main
Keep caches fresh
Keep caches fresh #151: Scheduled
10s main
pages build and deployment
pages-build-deployment #310: by github-pages Bot
1m 29s gh-pages
1m 29s
Clarify scoring details for course evaluation
Export Pluto notebooks #406: Commit 64c0030 pushed by bertdv
4m 35s main
pages build and deployment
pages-build-deployment #309: by github-pages Bot
1m 37s gh-pages
1m 37s
Update grading breakdown in README
Export Pluto notebooks #405: Commit 4410762 pushed by bertdv
3m 49s main
pages build and deployment
pages-build-deployment #308: by github-pages Bot
1m 36s gh-pages
1m 36s
Update Density Estimation.jl
Export Pluto notebooks #404: Commit 761ffac pushed by bertdv
7m 14s main
pages build and deployment
pages-build-deployment #307: by github-pages Bot
1m 56s gh-pages
1m 56s
Revise course syllabus for clarity and consistency
Export Pluto notebooks #403: Commit 494a298 pushed by bertdv
3m 46s main
pages build and deployment
pages-build-deployment #306: by github-pages Bot
1m 26s gh-pages
1m 26s
Revise news and announcements section
Export Pluto notebooks #402: Commit 0579176 pushed by bertdv
2m 6s main
pages build and deployment
pages-build-deployment #305: by github-pages Bot
1m 14s gh-pages
1m 14s
Revise course description for clarity
Export Pluto notebooks #401: Commit 33ede17 pushed by bertdv
3m 44s main