Skip to content

Actions: EwenBC/EwenBC.github.io

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
18 workflow runs
18 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

pdp Basic personal page generation #22: Commit 610b316 pushed by EwenBC
23s main
main
23s
pdp Basic personal page generation #21: Commit 80053b5 pushed by EwenBC
19s main
main
19s
orcid + discord Basic personal page generation #20: Commit 962144c pushed by EwenBC
47s main
main
47s
correction bureau Basic personal page generation #19: Commit 565ef27 pushed by EwenBC
22s main
main
22s
edit logo Agda Core Basic personal page generation #18: Commit 366aa12 pushed by EwenBC
30s main
main
30s
edit logos Basic personal page generation #17: Commit 5b1d7f2 pushed by EwenBC
16s main
main
16s
logos Basic personal page generation #16: Commit 7cc4962 pushed by EwenBC
28s main
main
28s
logos Basic personal page generation #15: Commit d16024e pushed by EwenBC
17s main
main
17s
logos Basic personal page generation #14: Commit 21db353 pushed by EwenBC
24s main
main
24s
logos Basic personal page generation #13: Commit a6a414f pushed by EwenBC
20s main
main
20s
logos Basic personal page generation #12: Commit 4fea66b pushed by EwenBC
16s main
main
16s
logos Basic personal page generation #11: Commit b9120e8 pushed by EwenBC
23s main
main
23s
logos Basic personal page generation #10: Commit a091747 pushed by EwenBC
25s main
main
25s
logos Basic personal page generation #9: Commit a28c967 pushed by EwenBC
25s main
main
25s
logos Basic personal page generation #8: Commit 6aca701 pushed by EwenBC
18s main
main
18s
Update index.md Basic personal page generation #7: Commit 9623987 pushed by EwenBC
22s main
main
22s
Update index.md Basic personal page generation #6: Commit a9dd8b9 pushed by EwenBC
17s main
main
17s
Merge remote-tracking branch 'refs/remotes/origin/main' Basic personal page generation #5: Commit 2f9f8fa pushed by EwenBC
7s main
main
7s