Skip to content

Actions: for-all-dev/website

Actions

Deploy to Server

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
deploy.yml
22 workflow runs
22 workflow runs

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
tractable problems in header Deploy to Server #22: Commit 71cbc46 pushed by quinn-dougherty
17s master
master
17s
Merge pull request #11 from for-all-dev/dependabot/npm_and_yarn/marke… Deploy to Server #21: Commit a0b1ab8 pushed by quinn-dougherty
15s master
master
15s
add FVSpec arxiv link Deploy to Server #20: Commit 4da4645 pushed by quinn-dougherty
18s master
master
18s
. Deploy to Server #19: Commit 15d719c pushed by quinn-dougherty
22s master
master
22s
add reading group and tractable problems url Deploy to Server #18: Commit 3d39eb2 pushed by quinn-dougherty
16s master
master
16s
Add lucid contract to content Deploy to Server #17: Commit 0907a66 pushed by quinn-dougherty
17s master
master
17s
Merge pull request #5 from for-all-dev/dependabot/npm_and_yarn/marked… Deploy to Server #16: Commit a455d9a pushed by quinn-dougherty
14s master
master
14s
Merge pull request #2 from for-all-dev/dependabot/npm_and_yarn/chokid… Deploy to Server #15: Commit 8f0b84b pushed by quinn-dougherty
20s master
master
20s
Merge pull request #1 from for-all-dev/dependabot/npm_and_yarn/marked… Deploy to Server #14: Commit f7277a9 pushed by quinn-dougherty
17s master
master
17s
added one more sentence to hero Deploy to Server #13: Commit 91c7bce pushed by quinn-dougherty
34s master
master
34s
new banner and favicon Deploy to Server #12: Commit 3cf604e pushed by quinn-dougherty
24s master
master
24s
photos better; tab name better Deploy to Server #11: Commit 336b468 pushed by quinn-dougherty
18s master
master
18s
added swisscheese, formal-confinement, and ctrl-via-pcc sequence Deploy to Server #10: Commit da66224 pushed by quinn-dougherty
15s master
master
15s
munging with banner condition Deploy to Server #9: Commit b9c9f82 pushed by quinn-dougherty
19s master
master
19s
add smbc edit png to contact Deploy to Server #8: Commit ee99b33 pushed by quinn-dougherty
17s master
master
17s
shorten work.md Deploy to Server #7: Commit 8b912f3 pushed by quinn-dougherty
18s master
master
18s
sync git tracked .conf file to what certbot did Deploy to Server #6: Commit 78ba56c pushed by quinn-dougherty
16s master
master
16s
Fix file permissions in CI for nginx to read dist files Deploy to Server #5: Commit e359864 pushed by quinn-dougherty
23s master
master
23s
deployment: remove nginx reload from ci Deploy to Server #4: Commit 9d03ff7 pushed by quinn-dougherty
14s master
master
14s
deployment: copy over operations dir as well Deploy to Server #3: Commit 38861ec pushed by quinn-dougherty
33s master
master
33s
ungitignore package-lock.json Deploy to Server #2: Commit 252953b pushed by quinn-dougherty
14s master
master
14s
Add deployment infrastructure from cookbook Deploy to Server #1: Commit dd2e8b3 pushed by quinn-dougherty
7m 27s master
master
7m 27s