Skip to content

Actions: Deducteam/coq-hol-light

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
94 workflow runs
94 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update terms and theorems with new mappings
Docker CI #107: Pull request #8 synchronize by fblanqui
February 20, 2025 10:20 10m 29s fblanqui:update
February 20, 2025 10:20 10m 29s
update terms and theorems with new mappings
Docker CI #106: Pull request #8 synchronize by fblanqui
February 19, 2025 15:18 10m 46s fblanqui:update
February 19, 2025 15:18 10m 46s
update terms and theorems with new mappings
Docker CI #105: Pull request #8 synchronize by fblanqui
February 19, 2025 15:14 10m 50s fblanqui:update
February 19, 2025 15:14 10m 50s
update terms and theorems with new mappings
Docker CI #104: Pull request #8 synchronize by fblanqui
February 19, 2025 14:36 10m 37s fblanqui:update
February 19, 2025 14:36 10m 37s
update terms and theorems with new mappings
Docker CI #103: Pull request #8 synchronize by fblanqui
February 19, 2025 13:40 10m 23s fblanqui:update
February 19, 2025 13:40 10m 23s
update terms and theorems with new mappings
Docker CI #102: Pull request #8 synchronize by fblanqui
February 19, 2025 13:35 6m 21s fblanqui:update
February 19, 2025 13:35 6m 21s
update terms and theorems with new mappings
Docker CI #101: Pull request #8 synchronize by fblanqui
February 19, 2025 13:34 1m 44s fblanqui:update
February 19, 2025 13:34 1m 44s
update terms and theorems with new mappings
Docker CI #100: Pull request #8 synchronize by fblanqui
February 18, 2025 21:49 10m 14s fblanqui:update
February 18, 2025 21:49 10m 14s
Fix lcm alignment
Docker CI #99: Pull request #9 opened by TheoWinterhalter
February 18, 2025 17:34 10m 38s fix-lcm
February 18, 2025 17:34 10m 38s
Fix lcm alignment
Docker CI #98: Commit 6381bd1 pushed by TheoWinterhalter
February 18, 2025 17:33 10m 14s fix-lcm
February 18, 2025 17:33 10m 14s
update terms and theorems with new mappings
Docker CI #97: Pull request #8 opened by fblanqui
February 18, 2025 15:26 10m 28s fblanqui:update
February 18, 2025 15:26 10m 28s
github_actions in /. - Update #966600439
Dependabot Updates #2: by dependabot bot
February 18, 2025 10:08 32s main
February 18, 2025 10:08 32s
github_actions in /. - Update #966600422
Dependabot Updates #1: by dependabot bot
February 18, 2025 10:08 31s main
February 18, 2025 10:08 31s
update ci script (#7)
Docker CI #96: Commit 9ef5225 pushed by fblanqui
February 18, 2025 10:08 10m 19s main
February 18, 2025 10:08 10m 19s
update ci script
Docker CI #95: Pull request #7 synchronize by fblanqui
February 18, 2025 09:43 10m 42s fblanqui:ci
February 18, 2025 09:43 10m 42s
update ci script
Docker CI #94: Pull request #7 synchronize by fblanqui
February 18, 2025 09:41 10m 16s fblanqui:ci
February 18, 2025 09:41 10m 16s
update ci script
Docker CI #93: Pull request #7 opened by fblanqui
February 18, 2025 09:32 10m 17s fblanqui:ci
February 18, 2025 09:32 10m 17s
Mapping for int_div, int_rem and bunch of other int notions (#6)
Docker CI #92: Commit 695cd91 pushed by fblanqui
February 18, 2025 09:15 10m 55s main
February 18, 2025 09:15 10m 55s
Mapping for int_div, int_rem and bunch of other int notions
Docker CI #91: Pull request #6 edited by TheoWinterhalter
February 14, 2025 13:29 10m 22s div
div
February 14, 2025 13:29 10m 22s
Mapping for int_div, int_rem and bunch of other int notions
Docker CI #90: Pull request #6 edited by TheoWinterhalter
February 14, 2025 13:28 10m 35s div
div
February 14, 2025 13:28 10m 35s
Mapping for int_div, int_rem and bunch of other int notions
Docker CI #89: Pull request #6 synchronize by TheoWinterhalter
February 14, 2025 13:16 10m 17s div
div
February 14, 2025 13:16 10m 17s
Align int_lcm
Docker CI #88: Commit 5640847 pushed by TheoWinterhalter
February 14, 2025 13:16 10m 17s div
div
February 14, 2025 13:16 10m 17s
Mapping for int_div, int_rem and bunch of other int notions
Docker CI #87: Pull request #6 synchronize by TheoWinterhalter
February 14, 2025 13:15 10m 26s div
div
February 14, 2025 13:15 10m 26s
Align int_lcm
Docker CI #86: Commit bf3658e pushed by TheoWinterhalter
February 14, 2025 13:15 10m 23s div
div
February 14, 2025 13:15 10m 23s
Mapping for int_div, int_rem and bunch of other int notions
Docker CI #85: Pull request #6 synchronize by TheoWinterhalter
February 14, 2025 13:14 10m 29s div
div
February 14, 2025 13:14 10m 29s