Skip to content

Actions: oisdk/site

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
91 workflow runs
91 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pages build and deployment pages-build-deployment #76: by github-pages bot
30s gh-pages
gh-pages
30s
Update hyperfunctions.pdf compile #229: Commit 047c8c0 pushed by oisdk
1m 17s develop
develop
1m 17s
pages build and deployment pages-build-deployment #75: by github-pages bot
31s gh-pages
gh-pages
31s
Update hyperfunctions.pdf compile #228: Commit 2462349 pushed by oisdk
1m 8s develop
develop
1m 8s
pages build and deployment pages-build-deployment #74: by github-pages bot
29s gh-pages
gh-pages
29s
Update hyperfunctions.pdf compile #227: Commit f41b6a1 pushed by oisdk
21m 17s develop
develop
21m 17s
pages build and deployment pages-build-deployment #73: by github-pages bot
27s gh-pages
gh-pages
27s
hyperfunctions paper compile #226: Commit 76780b1 pushed by oisdk
1m 20s develop
develop
1m 20s
pages build and deployment pages-build-deployment #72: by github-pages bot
53s gh-pages
gh-pages
53s
pages build and deployment pages-build-deployment #71: by github-pages bot
32s gh-pages
gh-pages
32s
Update 2026-01-14-hyperfunctions.markdown compile #225: Commit f784c8b pushed by oisdk
33m 30s develop
develop
33m 30s
Update hyperfunctions.pdf compile #224: Commit 35af6d8 pushed by oisdk
34m 26s develop
develop
34m 26s
pages build and deployment pages-build-deployment #70: by github-pages bot
41s gh-pages
gh-pages
41s
Update hyperfunctions.pdf compile #223: Commit 7908c85 pushed by oisdk
1m 19s develop
develop
1m 19s
pages build and deployment pages-build-deployment #69: by github-pages bot
40s gh-pages
gh-pages
40s
pages build and deployment pages-build-deployment #68: by github-pages bot
37s gh-pages
gh-pages
37s
Create popl-2025-hyperfunctions-agda.tar.gz compile #222: Commit 9d5b0b5 pushed by oisdk
20m 56s develop
develop
20m 56s
added hyperfunctions code compile #221: Commit 99dfc3e pushed by oisdk
21m 7s develop
develop
21m 7s
pages build and deployment pages-build-deployment #67: by github-pages bot
25s gh-pages
gh-pages
25s
cv compile #220: Commit 82df1f0 pushed by oisdk
1m 15s develop
develop
1m 15s
Update finishing-phd.markdown compile #219: Commit a139b87 pushed by oisdk
1m 9s develop
develop
1m 9s
Update finishing-phd.markdown compile #218: Commit 6a74d53 pushed by oisdk
1m 22s develop
develop
1m 22s
Update finishing-phd.markdown compile #217: Commit 93fddee pushed by oisdk
1m 6s develop
develop
1m 6s
Update finishing-phd.markdown compile #216: Commit b7032d5 pushed by oisdk
1m 10s develop
develop
1m 10s
deleted some old drafts compile #215: Commit c345ac8 pushed by oisdk
1m 27s develop
develop
1m 27s