Skip to content

Actions: Yann-Leray/yann-leray.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add distinguished paper Basic personal page generation #5: Commit 3543513 pushed by yannl35133
39s main
main
39s
Update action versions Basic personal page generation #4: Commit 9548797 pushed by yannl35133
17s main
main
17s
Add TOPLAS and TYPES 2025 Basic personal page generation #3: Commit b8ef24f pushed by yannl35133
8s main
main
8s
Add personal information Basic personal page generation #2: Commit 76fb2b8 pushed by yannl35133
24s main
main
24s
Initial commit Basic personal page generation #1: Commit 1b74836 pushed by yannl35133
18s main
main
18s