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

update README .github/workflows/main.yml #768: Commit 575d00a pushed by fblanqui
April 16, 2024 20:29 9m 44s main
main
April 16, 2024 20:29 9m 44s
adapt to ocaml 5 (#130) .github/workflows/main.yml #767: Commit 9a377ea pushed by fblanqui
April 16, 2024 17:38 12m 24s main
main
April 16, 2024 17:38 12m 24s
adapt to ocaml 5 .github/workflows/main.yml #766: Pull request #130 synchronize by fblanqui
April 16, 2024 16:24 9m 15s fblanqui:ocaml5
fblanqui:ocaml5
April 16, 2024 16:24 9m 15s
adapt to ocaml 5 .github/workflows/main.yml #765: Pull request #130 opened by fblanqui
April 16, 2024 16:07 12m 18s fblanqui:ocaml5
fblanqui:ocaml5
April 16, 2024 16:07 12m 18s
update doc, and rename dump-use into dump-before-hol (#129) .github/workflows/main.yml #764: Commit 1a007b6 pushed by fblanqui
April 16, 2024 13:13 10m 7s main
main
April 16, 2024 13:13 10m 7s
update doc .github/workflows/main.yml #763: Pull request #129 synchronize by fblanqui
April 16, 2024 11:11 9m 11s fblanqui:dump-use
fblanqui:dump-use
April 16, 2024 11:11 9m 11s
update doc .github/workflows/main.yml #762: Pull request #129 synchronize by fblanqui
April 16, 2024 11:03 8m 55s fblanqui:dump-use
fblanqui:dump-use
April 16, 2024 11:03 8m 55s
update doc .github/workflows/main.yml #761: Pull request #129 edited by fblanqui
April 16, 2024 10:56 7m 35s fblanqui:dump-use
fblanqui:dump-use
April 16, 2024 10:56 7m 35s
update doc .github/workflows/main.yml #760: Pull request #129 edited by fblanqui
April 16, 2024 10:56 8m 0s fblanqui:dump-use
fblanqui:dump-use
April 16, 2024 10:56 8m 0s
update doc .github/workflows/main.yml #759: Pull request #129 edited by fblanqui
April 16, 2024 10:55 8m 16s fblanqui:dump-use
fblanqui:dump-use
April 16, 2024 10:55 8m 16s
update doc .github/workflows/main.yml #758: Pull request #129 synchronize by fblanqui
April 16, 2024 10:54 8m 51s fblanqui:dump-use
fblanqui:dump-use
April 16, 2024 10:54 8m 51s
update doc .github/workflows/main.yml #757: Pull request #129 opened by fblanqui
April 16, 2024 09:49 9m 3s fblanqui:dump-use
fblanqui:dump-use
April 16, 2024 09:49 9m 3s
update wrt master version of hol-light (#128) .github/workflows/main.yml #756: Commit d7ef6f3 pushed by fblanqui
April 15, 2024 15:56 9m 0s main
main
April 15, 2024 15:56 9m 0s
update wrt master version of hol-light .github/workflows/main.yml #755: Pull request #128 synchronize by fblanqui
April 15, 2024 15:44 8m 43s fblanqui:hol-light
fblanqui:hol-light
April 15, 2024 15:44 8m 43s
update wrt master version of hol-light .github/workflows/main.yml #754: Pull request #128 synchronize by fblanqui
April 15, 2024 15:41 3m 31s fblanqui:hol-light
fblanqui:hol-light
April 15, 2024 15:41 3m 31s
update wrt master version of hol-light .github/workflows/main.yml #753: Pull request #128 synchronize by fblanqui
April 15, 2024 15:17 9m 0s fblanqui:hol-light
fblanqui:hol-light
April 15, 2024 15:17 9m 0s
update wrt master version of hol-light .github/workflows/main.yml #752: Pull request #128 opened by fblanqui
April 15, 2024 14:46 8m 48s fblanqui:hol-light
fblanqui:hol-light
April 15, 2024 14:46 8m 48s
update doc (#127) .github/workflows/main.yml #751: Commit a339663 pushed by fblanqui
April 15, 2024 14:44 9m 18s main
main
April 15, 2024 14:44 9m 18s
update doc .github/workflows/main.yml #750: Pull request #127 opened by fblanqui
April 15, 2024 13:46 9m 7s fblanqui:doc
fblanqui:doc
April 15, 2024 13:46 9m 7s
Makefile: fix generation of spec files and modification of v files (#… .github/workflows/main.yml #749: Commit 409a23f pushed by fblanqui
April 14, 2024 14:05 9m 44s main
main
April 14, 2024 14:05 9m 44s
Makefile: fix generation of spec files and modification of v files .github/workflows/main.yml #748: Pull request #126 synchronize by fblanqui
April 14, 2024 13:34 8m 42s fblanqui:spec
fblanqui:spec
April 14, 2024 13:34 8m 42s
Makefile: fix generation of spec files and modification of v files .github/workflows/main.yml #747: Pull request #126 synchronize by fblanqui
April 13, 2024 21:37 9m 9s fblanqui:spec
fblanqui:spec
April 13, 2024 21:37 9m 9s
Makefile: fix generation of spec files and modification of v files .github/workflows/main.yml #746: Pull request #126 synchronize by fblanqui
April 13, 2024 21:13 9m 7s fblanqui:spec
fblanqui:spec
April 13, 2024 21:13 9m 7s
Makefile: fix generation of spec files and modification of v files .github/workflows/main.yml #745: Pull request #126 synchronize by fblanqui
April 13, 2024 20:44 8m 56s fblanqui:spec
fblanqui:spec
April 13, 2024 20:44 8m 56s
Makefile: fix generation of spec files and modification of v files .github/workflows/main.yml #744: Pull request #126 synchronize by fblanqui
April 13, 2024 20:09 9m 22s fblanqui:spec
fblanqui:spec
April 13, 2024 20:09 9m 22s