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

improve hol2dk-exp and introduce environment variable HOL2DK_DIR .github/workflows/main.yml #187: Pull request #47 opened by fblanqui
October 19, 2023 15:16 10m 44s fblanqui:exp
fblanqui:exp
October 19, 2023 15:16 10m 44s
fix exp command (#46) .github/workflows/main.yml #186: Commit e321e14 pushed by fblanqui
October 17, 2023 19:44 16m 37s main
main
October 17, 2023 19:44 16m 37s
fix exp command .github/workflows/main.yml #185: Pull request #46 opened by fblanqui
October 17, 2023 18:55 16m 26s fblanqui:exp
fblanqui:exp
October 17, 2023 18:55 16m 26s
update README and NOTES .github/workflows/main.yml #184: Commit 0844871 pushed by fblanqui
October 13, 2023 17:42 18m 33s main
main
October 13, 2023 17:42 18m 33s
instrument BETA_CONV (#45) .github/workflows/main.yml #183: Commit cfe03a0 pushed by fblanqui
October 13, 2023 17:41 13m 47s main
main
October 13, 2023 17:41 13m 47s
instrument BETA_CONV .github/workflows/main.yml #182: Pull request #45 opened by fblanqui
October 13, 2023 17:06 14m 31s fblanqui:beta
fblanqui:beta
October 13, 2023 17:06 14m 31s
update TODO .github/workflows/main.yml #181: Commit 9af6bfe pushed by fblanqui
October 13, 2023 15:19 13m 38s main
main
October 13, 2023 15:19 13m 38s
add NOTES and TODO .github/workflows/main.yml #180: Commit b982932 pushed by fblanqui
October 13, 2023 15:13 14m 19s main
main
October 13, 2023 15:13 14m 19s
instrument SYM (#44) .github/workflows/main.yml #179: Commit b35f106 pushed by fblanqui
October 13, 2023 14:34 14m 38s main
main
October 13, 2023 14:34 14m 38s
instrument SYM .github/workflows/main.yml #178: Pull request #44 synchronize by fblanqui
October 13, 2023 11:50 14m 3s fblanqui:sym
fblanqui:sym
October 13, 2023 11:50 14m 3s
instrument SYM .github/workflows/main.yml #177: Pull request #44 synchronize by fblanqui
October 13, 2023 11:44 13m 52s fblanqui:sym
fblanqui:sym
October 13, 2023 11:44 13m 52s
instrument SYM .github/workflows/main.yml #176: Pull request #44 edited by fblanqui
October 13, 2023 07:25 14m 19s fblanqui:sym
fblanqui:sym
October 13, 2023 07:25 14m 19s
instrument SYM .github/workflows/main.yml #175: Pull request #44 edited by fblanqui
October 13, 2023 07:22 14m 25s fblanqui:sym
fblanqui:sym
October 13, 2023 07:22 14m 25s
instrument SYM .github/workflows/main.yml #174: Pull request #44 opened by fblanqui
October 13, 2023 07:21 14m 12s fblanqui:sym
fblanqui:sym
October 13, 2023 07:21 14m 12s
fix dg computation (#43) .github/workflows/main.yml #173: Commit f3393b6 pushed by fblanqui
October 12, 2023 17:47 16m 32s main
main
October 12, 2023 17:47 16m 32s
fix dg computation .github/workflows/main.yml #172: Pull request #43 opened by fblanqui
October 12, 2023 16:06 14m 25s fblanqui:dg
fblanqui:dg
October 12, 2023 16:06 14m 25s
update README.md .github/workflows/main.yml #171: Commit 2a24cbd pushed by fblanqui
October 12, 2023 14:12 14m 33s main
main
October 12, 2023 14:12 14m 33s
fix typo in README.md .github/workflows/main.yml #170: Commit 47e5caf pushed by fblanqui
October 12, 2023 13:57 14m 8s main
main
October 12, 2023 13:57 14m 8s
add command to generate a file for each proof step (experimental) (#42) .github/workflows/main.yml #169: Commit e5eaf85 pushed by fblanqui
October 12, 2023 13:33 14m 26s main
main
October 12, 2023 13:33 14m 26s
add command to generate a file for each proof step (experimental) .github/workflows/main.yml #168: Pull request #42 opened by fblanqui
October 12, 2023 13:00 15m 15s fblanqui:exp
fblanqui:exp
October 12, 2023 13:00 15m 15s
reverse constants, axioms and definitions (#41) .github/workflows/main.yml #167: Commit 1e8d6e2 pushed by fblanqui
October 12, 2023 05:40 20m 2s main
main
October 12, 2023 05:40 20m 2s
reverse constants, axioms and definitions after reading .github/workflows/main.yml #166: Pull request #41 opened by fblanqui
October 10, 2023 15:53 21m 39s fblanqui:rev-axioms
fblanqui:rev-axioms
October 10, 2023 15:53 21m 39s
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
ProTip! You can narrow down the results and go further in time using created:<2023-08-29 or the other filters available.