Skip to content

Actions: source-academy/js-slang-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
28 workflow runs
28 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

separately build evaluators for 4 chapters
Build and deploy runner #7: Commit 805933a pushed by tsammeow
2m 54s master
update tsconfig and readme
.github/workflows/deploy-docs.yml #7: Commit 683c379 pushed by tsammeow
47s master
update tsconfig and readme
Build and deploy runner #5: Commit 683c379 pushed by tsammeow
47s master
remove require from files
.github/workflows/deploy-docs.yml #6: Commit eb1f1a6 pushed by tsammeow
3m 29s master
remove require from files
Build and deploy runner #4: Commit eb1f1a6 pushed by tsammeow
1m 15s master
remove source typed
Build and deploy runner #3: Commit 3f049a8 pushed by tsammeow
49s master
remove source typed
Node.js CI #5: Commit 3f049a8 pushed by tsammeow
4m 28s master
remove source typed
.github/workflows/deploy-docs.yml #5: Commit 3f049a8 pushed by tsammeow
2m 30s master
fix undefined global
Build and deploy runner #2: Commit 6f58062 pushed by tsammeow
50s master
fix undefined global
.github/workflows/deploy-docs.yml #4: Commit 6f58062 pushed by tsammeow
2m 31s master
fix undefined global
Node.js CI #4: Commit 6f58062 pushed by tsammeow
3m 3s master
change name of deploy branch
.github/workflows/deploy-docs.yml #3: Commit 3cedbb4 pushed by tsammeow
3m 31s master
change name of deploy branch
Build and deploy runner #1: Commit 3cedbb4 pushed by tsammeow
19s master