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

Improve coq checking time with reals .github/workflows/main.yml #851: Pull request #142 synchronize by fblanqui
December 3, 2024 12:43 7m 51s fblanqui:real
fblanqui:real
December 3, 2024 12:43 7m 51s
github_actions in /. - Update #925630179 Dependabot Updates #20: by dependabot bot
December 2, 2024 07:58 34s main
main
December 2, 2024 07:58 34s
Improve coq checking time with reals .github/workflows/main.yml #850: Pull request #142 synchronize by fblanqui
November 30, 2024 11:36 7m 43s fblanqui:real
fblanqui:real
November 30, 2024 11:36 7m 43s
Improve coq checking time with reals .github/workflows/main.yml #849: Pull request #142 edited by fblanqui
November 30, 2024 09:30 8m 1s fblanqui:real
fblanqui:real
November 30, 2024 09:30 8m 1s
Improve coq checking time with reals .github/workflows/main.yml #848: Pull request #142 synchronize by fblanqui
November 30, 2024 09:27 7m 52s fblanqui:real
fblanqui:real
November 30, 2024 09:27 7m 52s
Improve coq checking time with reals .github/workflows/main.yml #847: Pull request #142 synchronize by fblanqui
November 30, 2024 09:24 7m 45s fblanqui:real
fblanqui:real
November 30, 2024 09:24 7m 45s
Improve coq checking time with reals .github/workflows/main.yml #846: Pull request #142 synchronize by fblanqui
November 29, 2024 18:59 7m 47s fblanqui:real
fblanqui:real
November 29, 2024 18:59 7m 47s
Improve coq checking time with reals .github/workflows/main.yml #845: Pull request #142 opened by fblanqui
November 29, 2024 18:42 8m 15s fblanqui:real
fblanqui:real
November 29, 2024 18:42 8m 15s
update README.md .github/workflows/main.yml #844: Commit 1f31578 pushed by fblanqui
November 25, 2024 22:01 8m 11s main
main
November 25, 2024 22:01 8m 11s
add-links/Makefile: add ROOT_PATH and ERASING arguments/variables (#141) .github/workflows/main.yml #843: Commit b0f222b pushed by fblanqui
November 25, 2024 21:19 7m 28s main
main
November 25, 2024 21:19 7m 28s
add-links/Makefile: add ROOT_PATH and ERASING arguments/variables .github/workflows/main.yml #842: Pull request #141 synchronize by fblanqui
November 25, 2024 21:13 7m 45s fblanqui:root
fblanqui:root
November 25, 2024 21:13 7m 45s
add-links/Makefile: add ROOT_PATH and ERASING arguments/variables .github/workflows/main.yml #841: Pull request #141 synchronize by fblanqui
November 25, 2024 21:02 8m 22s fblanqui:root
fblanqui:root
November 25, 2024 21:02 8m 22s
add-links/Makefile: add ROOT_PATH and ERASING arguments/variables .github/workflows/main.yml #840: Pull request #141 edited by fblanqui
November 25, 2024 20:43 7m 54s fblanqui:root
fblanqui:root
November 25, 2024 20:43 7m 54s
add-links/Makefile: add ROOT_PATH and ERASING arguments/variables .github/workflows/main.yml #839: Pull request #141 opened by fblanqui
November 25, 2024 20:26 7m 24s fblanqui:root
fblanqui:root
November 25, 2024 20:26 7m 24s
extend mapping to real numbers (#140) .github/workflows/main.yml #838: Commit 0a35ddd pushed by fblanqui
November 25, 2024 20:02 8m 11s main
main
November 25, 2024 20:02 8m 11s
extend mapping to real numbers .github/workflows/main.yml #837: Pull request #140 opened by fblanqui
November 25, 2024 13:21 8m 10s fblanqui:real
fblanqui:real
November 25, 2024 13:21 8m 10s
github_actions in /. - Update #921893386 Dependabot Updates #19: by dependabot bot
November 25, 2024 07:54 33s main
main
November 25, 2024 07:54 33s
erasing.lp: HOLLight.ind -> ind .github/workflows/main.yml #836: Commit 46927fe pushed by fblanqui
November 23, 2024 19:15 8m 6s main
main
November 23, 2024 19:15 8m 6s
add-links: remove fourcolor files (#139) .github/workflows/main.yml #835: Commit 628542c pushed by fblanqui
November 23, 2024 18:21 8m 36s main
main
November 23, 2024 18:21 8m 36s
add-links: remove fourcolor files .github/workflows/main.yml #834: Pull request #139 opened by fblanqui
November 23, 2024 18:20 8m 29s fblanqui:link
fblanqui:link
November 23, 2024 18:20 8m 29s
remove fourcolor files (#138) .github/workflows/main.yml #833: Commit 34d5664 pushed by fblanqui
November 23, 2024 18:12 8m 0s main
main
November 23, 2024 18:12 8m 0s
remove fourcolor files .github/workflows/main.yml #832: Pull request #138 synchronize by fblanqui
November 23, 2024 18:12 8m 37s fblanqui:real
fblanqui:real
November 23, 2024 18:12 8m 37s
remove fourcolor files .github/workflows/main.yml #831: Pull request #138 edited by fblanqui
November 23, 2024 17:58 8m 4s fblanqui:real
fblanqui:real
November 23, 2024 17:58 8m 4s
remove fourcolor files .github/workflows/main.yml #830: Pull request #138 opened by fblanqui
November 23, 2024 17:57 8m 42s fblanqui:real
fblanqui:real
November 23, 2024 17:57 8m 42s
update README.md .github/workflows/main.yml #829: Commit f47fb32 pushed by fblanqui
November 19, 2024 09:45 11m 22s main
main
November 19, 2024 09:45 11m 22s