Skip to content

Actions: Deducteam/coq-hol-light-real-with-nat

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
69 workflow runs
69 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #953575937 Dependabot Updates #15: by dependabot bot
January 27, 2025 01:02 30s main
main
January 27, 2025 01:02 30s
update reproduce Docker CI #54: Commit 74d3f43 pushed by fblanqui
January 21, 2025 14:20 2m 56s main
main
January 21, 2025 14:20 2m 56s
fix mappings.mk Docker CI #53: Commit 357e89b pushed by fblanqui
January 21, 2025 07:35 2m 53s main
main
January 21, 2025 07:35 2m 53s
fix mappings.mk Docker CI #52: Commit aa6c119 pushed by fblanqui
January 21, 2025 07:34 2m 54s main
main
January 21, 2025 07:34 2m 54s
update reproduce (#10) Docker CI #51: Commit 72284f1 pushed by fblanqui
January 21, 2025 06:53 3m 5s main
main
January 21, 2025 06:53 3m 5s
update reproduce Docker CI #50: Pull request #10 synchronize by fblanqui
January 21, 2025 06:35 2m 51s fblanqui:repro
fblanqui:repro
January 21, 2025 06:35 2m 51s
update reproduce Docker CI #49: Pull request #10 opened by fblanqui
January 20, 2025 21:53 2m 53s fblanqui:repro
fblanqui:repro
January 20, 2025 21:53 2m 53s
Qualify Coq modules (#9) Docker CI #48: Commit 75123ae pushed by fblanqui
January 20, 2025 15:50 2m 51s main
main
January 20, 2025 15:50 2m 51s
Qualify Coq modules Docker CI #47: Pull request #9 opened by fblanqui
January 20, 2025 15:47 2m 56s fblanqui:coqdev
fblanqui:coqdev
January 20, 2025 15:47 2m 56s
github_actions in /. - Update #949993090 Dependabot Updates #14: by dependabot bot
January 20, 2025 00:46 36s main
main
January 20, 2025 00:46 36s
renaming of some files (#8) Docker CI #46: Commit f5b1a89 pushed by fblanqui
January 18, 2025 11:22 5m 8s main
main
January 18, 2025 11:22 5m 8s
renaming of some files Docker CI #45: Pull request #8 synchronize by fblanqui
January 18, 2025 11:22 5m 18s fblanqui:rename
fblanqui:rename
January 18, 2025 11:22 5m 18s
renaming of some files Docker CI #44: Pull request #8 opened by fblanqui
January 18, 2025 10:42 5m 15s fblanqui:rename
fblanqui:rename
January 18, 2025 10:42 5m 15s
reproduce: use a local switch (#7) Docker CI #43: Commit cf07bf7 pushed by fblanqui
January 13, 2025 15:56 5m 14s main
main
January 13, 2025 15:56 5m 14s
reproduce: use a local switch + update hol2dk version Docker CI #42: Pull request #7 edited by fblanqui
January 13, 2025 15:42 5m 16s fblanqui:switch
fblanqui:switch
January 13, 2025 15:42 5m 16s
reproduce: use a local switch + update hol2dk version Docker CI #41: Pull request #7 edited by fblanqui
January 13, 2025 15:42 5m 41s fblanqui:switch
fblanqui:switch
January 13, 2025 15:42 5m 41s
reproduce: use a local switch + update hol2dk version Docker CI #40: Pull request #7 opened by fblanqui
January 13, 2025 15:40 5m 26s fblanqui:switch
fblanqui:switch
January 13, 2025 15:40 5m 26s
github_actions in /. - Update #946466962 Dependabot Updates #13: by dependabot bot
January 13, 2025 00:13 33s main
main
January 13, 2025 00:13 33s
map num to N (binary naturals) Docker CI #39: Pull request #6 edited by fblanqui
January 11, 2025 18:21 5m 16s fblanqui:binnat
fblanqui:binnat
January 11, 2025 18:21 5m 16s
map num to N (binary naturals) Docker CI #38: Pull request #6 synchronize by fblanqui
January 11, 2025 16:08 5m 21s fblanqui:binnat
fblanqui:binnat
January 11, 2025 16:08 5m 21s
map num to N (binary naturals) Docker CI #37: Pull request #6 synchronize by fblanqui
January 11, 2025 15:52 5m 14s fblanqui:binnat
fblanqui:binnat
January 11, 2025 15:52 5m 14s
map num to N (binary naturals) Docker CI #36: Pull request #6 synchronize by fblanqui
January 11, 2025 15:35 5m 20s fblanqui:binnat
fblanqui:binnat
January 11, 2025 15:35 5m 20s
map num to N (binary naturals) Docker CI #35: Pull request #6 synchronize by fblanqui
January 11, 2025 15:14 5m 16s fblanqui:binnat
fblanqui:binnat
January 11, 2025 15:14 5m 16s
map num to N (binary naturals) Docker CI #34: Pull request #6 synchronize by fblanqui
January 11, 2025 15:09 5m 18s fblanqui:binnat
fblanqui:binnat
January 11, 2025 15:09 5m 18s
map num to N (binary naturals) Docker CI #33: Pull request #6 synchronize by fblanqui
January 11, 2025 14:44 5m 5s fblanqui:binnat
fblanqui:binnat
January 11, 2025 14:44 5m 5s