Skip to content

Actions: Deducteam/hol2dk

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
691 workflow runs
691 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Makefile: fix generation of spec files and modification of v files .github/workflows/main.yml #743: Pull request #126 synchronize by fblanqui
April 13, 2024 19:15 8m 54s fblanqui:spec
fblanqui:spec
April 13, 2024 19:15 8m 54s
Makefile: fix generation of spec files and modification of v files .github/workflows/main.yml #742: Pull request #126 synchronize by fblanqui
April 13, 2024 15:16 9m 17s fblanqui:spec
fblanqui:spec
April 13, 2024 15:16 9m 17s
Makefile: fix generation of spec files and modification of v files .github/workflows/main.yml #741: Pull request #126 synchronize by fblanqui
April 13, 2024 12:58 10m 8s fblanqui:spec
fblanqui:spec
April 13, 2024 12:58 10m 8s
Makefile: fix generation of spec files and modification of v files .github/workflows/main.yml #740: Pull request #126 synchronize by fblanqui
April 12, 2024 15:00 8m 0s fblanqui:spec
fblanqui:spec
April 12, 2024 15:00 8m 0s
Makefile: fix generation of spec files and modification of v files .github/workflows/main.yml #739: Pull request #126 synchronize by fblanqui
April 12, 2024 14:56 7m 51s fblanqui:spec
fblanqui:spec
April 12, 2024 14:56 7m 51s
add progress script (#123) .github/workflows/main.yml #738: Commit d690f0f pushed by fblanqui
April 12, 2024 14:44 8m 45s main
main
April 12, 2024 14:44 8m 45s
Makefile: fix generation of spec files and modification of v files .github/workflows/main.yml #737: Pull request #126 opened by fblanqui
April 12, 2024 14:27 8m 39s fblanqui:spec
fblanqui:spec
April 12, 2024 14:27 8m 39s
add progress script .github/workflows/main.yml #736: Pull request #123 synchronize by fblanqui
April 12, 2024 14:18 8m 54s fblanqui:progress
fblanqui:progress
April 12, 2024 14:18 8m 54s
add progress script .github/workflows/main.yml #735: Pull request #123 synchronize by fblanqui
April 12, 2024 14:14 7m 58s fblanqui:progress
fblanqui:progress
April 12, 2024 14:14 7m 58s
add progress script .github/workflows/main.yml #734: Pull request #123 synchronize by fblanqui
April 12, 2024 14:05 8m 8s fblanqui:progress
fblanqui:progress
April 12, 2024 14:05 8m 8s
add progress script .github/workflows/main.yml #733: Pull request #123 synchronize by fblanqui
April 12, 2024 13:58 7m 44s fblanqui:progress
fblanqui:progress
April 12, 2024 13:58 7m 44s
add progress script .github/workflows/main.yml #732: Pull request #123 synchronize by fblanqui
April 12, 2024 13:19 9m 2s fblanqui:progress
fblanqui:progress
April 12, 2024 13:19 9m 2s
add progress script .github/workflows/main.yml #731: Pull request #123 synchronize by fblanqui
April 12, 2024 12:21 8m 46s fblanqui:progress
fblanqui:progress
April 12, 2024 12:21 8m 46s
add progress script .github/workflows/main.yml #730: Pull request #123 synchronize by fblanqui
April 12, 2024 12:20 9m 19s fblanqui:progress
fblanqui:progress
April 12, 2024 12:20 9m 19s
add renamings for coq output (#124) .github/workflows/main.yml #729: Commit 5442fc9 pushed by fblanqui
April 12, 2024 12:02 9m 43s main
main
April 12, 2024 12:02 9m 43s
add progress script .github/workflows/main.yml #728: Pull request #123 synchronize by fblanqui
April 11, 2024 15:04 9m 7s fblanqui:progress
fblanqui:progress
April 11, 2024 15:04 9m 7s
add progress script .github/workflows/main.yml #727: Pull request #123 synchronize by fblanqui
April 11, 2024 14:32 9m 19s fblanqui:progress
fblanqui:progress
April 11, 2024 14:32 9m 19s
add progress script .github/workflows/main.yml #726: Pull request #123 synchronize by fblanqui
April 11, 2024 14:31 9m 20s fblanqui:progress
fblanqui:progress
April 11, 2024 14:31 9m 20s
reorganize xlib.ml (#125) .github/workflows/main.yml #725: Commit 598b944 pushed by fblanqui
April 11, 2024 14:26 9m 32s main
main
April 11, 2024 14:26 9m 32s
add progress script .github/workflows/main.yml #724: Pull request #123 synchronize by fblanqui
April 11, 2024 14:18 7m 39s fblanqui:progress
fblanqui:progress
April 11, 2024 14:18 7m 39s
reorganize xlib.ml .github/workflows/main.yml #723: Pull request #125 opened by fblanqui
April 11, 2024 14:13 9m 33s fblanqui:lib
fblanqui:lib
April 11, 2024 14:13 9m 33s
add progress script .github/workflows/main.yml #722: Pull request #123 synchronize by fblanqui
April 11, 2024 13:19 7m 33s fblanqui:progress
fblanqui:progress
April 11, 2024 13:19 7m 33s
add progress script .github/workflows/main.yml #721: Pull request #123 synchronize by fblanqui
April 11, 2024 13:10 2m 56s fblanqui:progress
fblanqui:progress
April 11, 2024 13:10 2m 56s
add progress script .github/workflows/main.yml #720: Pull request #123 synchronize by fblanqui
April 11, 2024 13:04 2m 51s fblanqui:progress
fblanqui:progress
April 11, 2024 13:04 2m 51s
add renamings for coq output .github/workflows/main.yml #719: Pull request #124 opened by fblanqui
April 11, 2024 12:52 10m 8s fblanqui:renaming
fblanqui:renaming
April 11, 2024 12:52 10m 8s