Skip to content

Actions: jim9292bb/agda-playground

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
89 workflow runs
89 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Restructure README.md and PROJECT_GOAL.md by audience Deploy to GitHub Pages #58: Commit 1d8b622 pushed by jim9292bb
1m 26s main
main
1m 26s
Restructure README.md and PROJECT_GOAL.md by audience CI #30: Commit 1d8b622 pushed by jim9292bb
2m 34s main
main
2m 34s
Rename file-server/ to deploy-assets/ Deploy to GitHub Pages #57: Commit b524fb2 pushed by jim9292bb
1m 18s main
main
1m 18s
Rename file-server/ to deploy-assets/ CI #29: Commit b524fb2 pushed by jim9292bb
2m 30s main
main
2m 30s
Rename user-facing "Profile" to "Environment" in the runtime selector CI #28: Commit 444969a pushed by jim9292bb
2m 24s main
main
2m 24s
Rename user-facing "Profile" to "Environment" in the runtime selector Deploy to GitHub Pages #56: Commit 444969a pushed by jim9292bb
1m 21s main
main
1m 21s
Deploy to GitHub Pages Deploy to GitHub Pages #55: Manually run by jim9292bb
1m 25s main
main
1m 25s
Split the dependency graph into one manifest per library CI #27: Commit 04dc0c2 pushed by jim9292bb
2m 24s main
main
2m 24s
Split the dependency graph into one manifest per library Deploy to GitHub Pages #54: Commit 04dc0c2 pushed by jim9292bb
5m 7s main
main
5m 7s
Switch to raw-file deployment layout; split dependency-graph generation CI #26: Commit a8aa4e3 pushed by jim9292bb
2m 32s main
main
2m 32s
Switch to raw-file deployment layout; split dependency-graph generation Deploy to GitHub Pages #53: Commit a8aa4e3 pushed by jim9292bb
1m 42s main
main
1m 42s
Remove self-deployer-configurable download URLs from library/ALS cata… Deploy to GitHub Pages #52: Commit 87df751 pushed by jim9292bb
1m 53s main
main
1m 53s
Remove self-deployer-configurable download URLs from library/ALS cata… CI #25: Commit 87df751 pushed by jim9292bb
2m 14s main
main
2m 14s
Split npm run setup into download-only and sync-only steps Deploy to GitHub Pages #51: Commit 57b2f84 pushed by jim9292bb
1m 47s main
main
1m 47s
Split npm run setup into download-only and sync-only steps CI #24: Commit 57b2f84 pushed by jim9292bb
2m 24s main
main
2m 24s
docs: move agda-binary prerequisite before the command block CI #23: Commit c0df1ff pushed by jim9292bb
2m 23s main
main
2m 23s
docs: move agda-binary prerequisite before the command block Deploy to GitHub Pages #50: Commit c0df1ff pushed by jim9292bb
2m 58s main
main
2m 58s
docs: lead with the action in "supply your own files" section CI #22: Commit 2eebf37 pushed by jim9292bb
2m 18s main
main
2m 18s
docs: lead with the action in "supply your own files" section Deploy to GitHub Pages #49: Commit 2eebf37 pushed by jim9292bb
3m 9s main
main
3m 9s
docs: make cross-doc references clickable links Deploy to GitHub Pages #48: Commit 8d1ea5b pushed by jim9292bb
1m 45s main
main
1m 45s
docs: make cross-doc references clickable links CI #21: Commit 8d1ea5b pushed by jim9292bb
2m 17s main
main
2m 17s
docs: restructure file-server/README.md task-first, add root pointer CI #20: Commit d922065 pushed by jim9292bb
2m 32s main
main
2m 32s
docs: restructure file-server/README.md task-first, add root pointer Deploy to GitHub Pages #47: Commit d922065 pushed by jim9292bb
2m 36s main
main
2m 36s
Stage library/ALS downloads under file-server/, sync into static/ CI #19: Commit f353cc8 pushed by jim9292bb
2m 17s main
main
2m 17s
Stage library/ALS downloads under file-server/, sync into static/ Deploy to GitHub Pages #46: Commit f353cc8 pushed by jim9292bb
1m 34s main
main
1m 34s