Skip to content

Actions: Deducteam/hol2dk

Actions

.github/workflows/main.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
14 workflow run results
14 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
export ALPHA as REFL .github/workflows/main.yml #156: Pull request #40 synchronize by fblanqui
July 25, 2023 09:17 10m 35s fblanqui:alpha
fblanqui:alpha
July 25, 2023 09:17 10m 35s
export ALPHA as REFL .github/workflows/main.yml #155: Pull request #40 synchronize by fblanqui
July 25, 2023 09:00 9m 42s fblanqui:alpha
fblanqui:alpha
July 25, 2023 09:00 9m 42s
export ALPHA as REFL .github/workflows/main.yml #154: Pull request #40 synchronize by fblanqui
July 24, 2023 17:11 11m 14s fblanqui:alpha
fblanqui:alpha
July 24, 2023 17:11 11m 14s
export ALPHA as REFL .github/workflows/main.yml #153: Pull request #40 opened by fblanqui
July 21, 2023 16:42 7m 32s fblanqui:alpha
fblanqui:alpha
July 21, 2023 16:42 7m 32s
change mk command (#39) .github/workflows/main.yml #152: Commit c82c922 pushed by fblanqui
July 21, 2023 15:25 9m 28s main
main
July 21, 2023 15:25 9m 28s
change mk command .github/workflows/main.yml #151: Pull request #39 synchronize by fblanqui
July 20, 2023 13:26 10m 1s fblanqui:mk
fblanqui:mk
July 20, 2023 13:26 10m 1s
change mk command .github/workflows/main.yml #150: Pull request #39 synchronize by fblanqui
July 20, 2023 13:16 10m 42s fblanqui:mk
fblanqui:mk
July 20, 2023 13:16 10m 42s
change mk command .github/workflows/main.yml #149: Pull request #39 opened by fblanqui
July 20, 2023 12:58 8m 37s fblanqui:mk
fblanqui:mk
July 20, 2023 12:58 8m 37s
coq export: add more renamings (#38) .github/workflows/main.yml #148: Commit 1140170 pushed by fblanqui
July 20, 2023 12:15 11m 53s main
main
July 20, 2023 12:15 11m 53s
coq export: add more renamings .github/workflows/main.yml #147: Pull request #38 synchronize by fblanqui
July 20, 2023 08:10 12m 15s fblanqui:rename
fblanqui:rename
July 20, 2023 08:10 12m 15s