Workflow runs · irclogs/elm · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

2 workflow runs

2 workflow runs

Actor

pages build and deployment pages-build-deployment #2: by github-pages bot

July 18, 2023 11:55

31s

July 18, 2023 11:55

31s

allow for manual re-deploy by github actions Build and Deploy #5: Commit 515f59e pushed by gdamjan

July 18, 2023 11:54

30s master

master

July 18, 2023 11:54

30s