Skip to content

Actions: oisdk/site

Actions

compile

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
52 workflow runs
52 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update hyperfunctions.pdf compile #229: Commit 047c8c0 pushed by oisdk
1m 17s develop
develop
1m 17s
Update hyperfunctions.pdf compile #228: Commit 2462349 pushed by oisdk
1m 8s develop
develop
1m 8s
Update hyperfunctions.pdf compile #227: Commit f41b6a1 pushed by oisdk
21m 17s develop
develop
21m 17s
hyperfunctions paper compile #226: Commit 76780b1 pushed by oisdk
1m 20s develop
develop
1m 20s
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
Update hyperfunctions.pdf compile #223: Commit 7908c85 pushed by oisdk
1m 19s develop
develop
1m 19s
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
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
Update cv.pdf compile #214: Commit 10e8cb2 pushed by oisdk
1m 4s develop
develop
1m 4s
hyperfunctions draft post compile #213: Commit f17e9ee pushed by oisdk
1m 23s develop
develop
1m 23s
Update cv.pdf compile #212: Commit e115d25 pushed by oisdk
1m 6s develop
develop
1m 6s
title fixed compile #211: Commit e02a99d pushed by oisdk
1m 18s develop
develop
1m 18s
Create 2026-01-14-hyperfunctions.markdown compile #210: Commit 2f32f21 pushed by oisdk
1m 19s develop
develop
1m 19s
Create inishing-phd.markdown compile #209: Commit 7b5c5e7 pushed by oisdk
21m 32s develop
develop
21m 32s
Create cv.pdf compile #208: Commit a0538f8 pushed by oisdk
24m 9s develop
develop
24m 9s
added youtube links to popl talk compile #207: Commit 9ea5ccf pushed by oisdk
1m 9s develop
develop
1m 9s
Update main.yml compile #206: Commit 972d9a8 pushed by oisdk
21m 11s develop
develop
21m 11s
Update main.yml compile #205: Commit a921ac5 pushed by oisdk
1m 11s develop
develop
1m 11s