Skip to content

Actions: adelfa-prover/adelfa-docs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
27 workflow runs
27 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
Add OG Images Deploy Documentation #13: Commit a72825f pushed by cjohnson19
2m 54s main
main
2m 54s
fix: add alt tag to logos Deploy Documentation #12: Commit eb3b7da pushed by cjohnson19
8m 12s main
main
8m 12s
perf: inline css (test) Deploy Documentation #11: Commit acaa587 pushed by cjohnson19
7m 34s main
main
7m 34s
perf: bundle katex.css with site Deploy Documentation #10: Commit 6f4f519 pushed by cjohnson19
4m 59s main
main
4m 59s
fix: fix malformed robots.txt Deploy Documentation #9: Commit d3c512f pushed by cjohnson19
4m 8s main
main
4m 8s
refactor: reference guide as one page Deploy Documentation #8: Commit 17be65c pushed by cjohnson19
7m 4s main
main
7m 4s
feat: add OG image generation with Takumi Deploy Documentation #7: Commit e829a1e pushed by cjohnson19
4m 8s main
main
4m 8s
eagerly and asynchronously load highlighter Deploy Documentation #6: Commit cd9c250 pushed by cjohnson19
28m 50s main
main
28m 50s
simplify link validation and slugs Deploy Documentation #5: Commit 63e7b0e pushed by cjohnson19
3m 47s main
main
3m 47s
fix: modify muted fg color for accessibility Deploy Documentation #4: Commit ed97db2 pushed by cjohnson19
2m 56s main
main
2m 56s
fix: wrap all of a statement in hover element (#10) Deploy Documentation #3: Commit 6526129 pushed by cjohnson19
3m 7s main
main
3m 7s
Add url to github action (#9) Deploy Documentation #2: Commit b715169 pushed by cjohnson19
2m 44s main
main
2m 44s
add github action (#8) Deploy Documentation #1: Commit 9f2271f pushed by cjohnson19
7m 24s main
main
7m 24s
Update next Deploy using SST #12: Commit 2685d9f pushed by cjohnson19
3m 31s main
main
3m 31s
Autodeployment Improvements Deploy using SST #11: Pull request #6 closed by cjohnson19
5m 12s autodeploy-improvements
autodeploy-improvements
5m 12s
Autodeployment Improvements (#6) Deploy using SST #10: Commit 56d1422 pushed by cjohnson19
3m 21s main
main
3m 21s
Autodeployment Improvements Deploy using SST #9: Pull request #6 synchronize by cjohnson19
3m 38s autodeploy-improvements
autodeploy-improvements
3m 38s
Autodeployment Improvements Deploy using SST #8: Pull request #6 opened by cjohnson19
4m 17s autodeploy-improvements
autodeploy-improvements
4m 17s
Fix autodeploy Deploy using SST #7: Pull request #5 closed by cjohnson19
4m 55s autodeploy-fix
autodeploy-fix
4m 55s
Fix autodeploy (#5) Deploy using SST #6: Commit 66b2dcb pushed by cjohnson19
3m 48s main
main
3m 48s
Fix autodeploy Deploy using SST #5: Pull request #5 synchronize by cjohnson19
3m 38s autodeploy-fix
autodeploy-fix
3m 38s
Fix autodeploy Deploy using SST #4: Pull request #5 synchronize by cjohnson19
3m 39s autodeploy-fix
autodeploy-fix
3m 39s
Fix autodeploy Deploy using SST #3: Pull request #5 synchronize by cjohnson19
3m 39s autodeploy-fix
autodeploy-fix
3m 39s
Fix autodeploy Deploy using SST #2: Pull request #5 synchronize by cjohnson19
4m 24s autodeploy-fix
autodeploy-fix
4m 24s
Fix autodeploy Deploy using SST #1: Pull request #5 synchronize by cjohnson19
2m 42s autodeploy-fix
autodeploy-fix
2m 42s