Workflow runs · grnet/grnet-eid-proxy · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

3 workflow runs

3 workflow runs

Merge pull request #12 from grnet/themiszamani-patch-2 Deploy documentation to github pages #3: Commit 0eb9ff5 pushed by themiszamani

August 13, 2025 09:16

58s devel

devel

August 13, 2025 09:16

58s

Update about.md Deploy documentation to github pages #2: Commit a8905da pushed by themiszamani

August 13, 2025 08:11

1m 6s devel

devel

August 13, 2025 08:11

1m 6s

Merge pull request #11 from kaggis/update-docu-3.8.1 Deploy documentation to github pages #1: Commit 5c2039e pushed by themiszamani

August 13, 2025 08:01

1m 0s devel

devel

August 13, 2025 08:01

1m 0s