Skip to content

Actions: Deducteam/hol2dk

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
709 workflow runs
709 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

export ALPHA as REFL (#40) .github/workflows/main.yml #165: Commit 337e545 pushed by fblanqui
August 29, 2023 10:29 19m 16s main
main
August 29, 2023 10:29 19m 16s
export ALPHA as REFL .github/workflows/main.yml #164: Pull request #40 synchronize by fblanqui
August 29, 2023 09:19 11m 45s fblanqui:alpha
fblanqui:alpha
August 29, 2023 09:19 11m 45s
export ALPHA as REFL .github/workflows/main.yml #163: Pull request #40 synchronize by fblanqui
August 29, 2023 07:50 11m 38s fblanqui:alpha
fblanqui:alpha
August 29, 2023 07:50 11m 38s
export ALPHA as REFL .github/workflows/main.yml #162: Pull request #40 synchronize by fblanqui
August 29, 2023 06:48 12m 21s fblanqui:alpha
fblanqui:alpha
August 29, 2023 06:48 12m 21s
export ALPHA as REFL .github/workflows/main.yml #161: Pull request #40 synchronize by fblanqui
August 29, 2023 06:19 11m 39s fblanqui:alpha
fblanqui:alpha
August 29, 2023 06:19 11m 39s
export ALPHA as REFL .github/workflows/main.yml #160: Pull request #40 synchronize by fblanqui
August 28, 2023 18:04 11m 33s fblanqui:alpha
fblanqui:alpha
August 28, 2023 18:04 11m 33s
export ALPHA as REFL .github/workflows/main.yml #159: Pull request #40 synchronize by fblanqui
August 28, 2023 17:51 7m 56s fblanqui:alpha
fblanqui:alpha
August 28, 2023 17:51 7m 56s
export ALPHA as REFL .github/workflows/main.yml #158: Pull request #40 synchronize by fblanqui
August 28, 2023 12:50 8m 23s fblanqui:alpha
fblanqui:alpha
August 28, 2023 12:50 8m 23s
export ALPHA as REFL .github/workflows/main.yml #157: Pull request #40 synchronize by fblanqui
August 28, 2023 12:09 13m 15s fblanqui:alpha
fblanqui:alpha
August 28, 2023 12:09 13m 15s
ProTip! You can narrow down the results and go further in time using created:<2023-08-28 or the other filters available.