Skip to content

Actions: for-all-dev/cookbook

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
31 workflow runs
31 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

audited ch6 pretty much with a TODO to finish it. Added todo to ch7 Deploy to Server #31: Commit 711b802 pushed by quinn-dougherty
16s master
master
16s
increment on 05ch5, add todos to 6 and 7 Deploy to Server #30: Commit 757e63b pushed by quinn-dougherty
13s master
master
13s
Add meta-commentary on LLM prose and improve RL thesis section Deploy to Server #29: Commit d6bb0fb pushed by quinn-dougherty
12s master
master
12s
Add comprehensive Inspect AI documentation to chapter 3 Deploy to Server #28: Commit 1e097aa pushed by quinn-dougherty
13s master
master
13s
Complete DafnyBench documentation and add scripts pyproject.toml Deploy to Server #27: Commit 918ee57 pushed by quinn-dougherty
20s master
master
20s
Improve CLAUDE.md documentation and make terminology agnostic Deploy to Server #26: Commit 37785e1 pushed by quinn-dougherty
13s master
master
13s
tentative table of contents (PLANNED) Deploy to Server #25: Commit 563499f pushed by quinn-dougherty
15s master
master
15s
tentative table of contents Deploy to Server #24: Commit 9fcf652 pushed by quinn-dougherty
15s master
master
15s
stub out the inspect view section of the dafny-inspect chapter Deploy to Server #23: Commit 2b9eb01 pushed by quinn-dougherty
12s master
master
12s
Update benchmark matching to use startswith Deploy to Server #22: Commit 397aa9c pushed by quinn-dougherty
13s master
master
13s
eval is now e2e working Deploy to Server #21: Commit 0570bbb pushed by quinn-dougherty
24s master
master
24s
sync dependencies and restart all of nginx instead of just restarting… Deploy to Server #20: Commit d0c7ace pushed by quinn-dougherty
11s master
master
11s
heck yeah did a bunch of the inspect-ai for dafnybench code Deploy to Server #19: Commit aad5ec5 pushed by quinn-dougherty
14s master
master
14s
Add CORS headers for static assets in nginx config Deploy to Server #18: Commit 710fadf pushed by quinn-dougherty
14s master
master
14s
Set HOST and BASE_URL for MyST server Deploy to Server #17: Commit 3a2d1a2 pushed by quinn-dougherty
43s master
master
43s
use ipv6 localhost for myst proxy Deploy to Server #16: Commit 56e2233 pushed by quinn-dougherty
14s master
master
14s
serve static files directly from nginx Deploy to Server #15: Commit 4da04d0 pushed by quinn-dougherty
15s master
master
15s
CORS Deploy to Server #14: Commit 4a9d009 pushed by quinn-dougherty
10s master
master
10s
NODE_ENV=production in cookbook.service Deploy to Server #13: Commit d7648cf pushed by quinn-dougherty
11s master
master
11s
move static files to ./book Deploy to Server #12: Commit 53475fc pushed by quinn-dougherty
3m 44s master
master
3m 44s
remove static file handling from nginx config Deploy to Server #11: Commit c3dd228 pushed by quinn-dougherty
12s master
master
12s
deployment: try removing headless again sigh Deploy to Server #10: Commit 2ff56a5 pushed by quinn-dougherty
10s master
master
10s
deployment: try --server-port flag instead of --port Deploy to Server #9: Commit a14cb55 pushed by quinn-dougherty
12s master
master
12s
deployment: kill previous server before starting new one (so ports ar… Deploy to Server #8: Commit 5aefb3e pushed by quinn-dougherty
11s master
master
11s
deplyment: serve static files with nginx in headless mode Deploy to Server #7: Commit bbf2c27 pushed by quinn-dougherty
12s master
master
12s