Skip to content

Actions: Deducteam/coq-hol-light-real

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
36 workflow runs
36 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #932847699 Dependabot Updates #9: by dependabot bot
December 16, 2024 00:48 31s main
main
December 16, 2024 00:48 31s
github_actions in /. - Update #929120000 Dependabot Updates #8: by dependabot bot
December 9, 2024 00:39 35s main
main
December 9, 2024 00:39 35s
update (#4) Docker CI #27: Commit 484b4ad pushed by fblanqui
December 6, 2024 13:28 2m 36s 1.0.0
1.0.0
December 6, 2024 13:28 2m 36s
update (#4) Docker CI #26: Commit 484b4ad pushed by fblanqui
December 6, 2024 13:26 2m 34s main
main
December 6, 2024 13:26 2m 34s
update Docker CI #25: Pull request #4 edited by fblanqui
December 6, 2024 13:20 2m 38s fblanqui:update
fblanqui:update
December 6, 2024 13:20 2m 38s
update Docker CI #24: Pull request #4 opened by fblanqui
December 6, 2024 13:15 2m 34s fblanqui:update
fblanqui:update
December 6, 2024 13:15 2m 34s
github_actions in /. - Update #925332406 Dependabot Updates #7: by dependabot bot
December 2, 2024 01:07 35s main
main
December 2, 2024 01:07 35s
github_actions in /. - Update #921591371 Dependabot Updates #6: by dependabot bot
November 25, 2024 00:53 34s main
main
November 25, 2024 00:53 34s
remove fourcolor files and include hol up to real (#3) Docker CI #23: Commit 876c6a1 pushed by fblanqui
November 24, 2024 07:49 2m 30s 1.0.0
1.0.0
November 24, 2024 07:49 2m 30s
remove fourcolor files and include hol up to real (#3) Docker CI #22: Commit 876c6a1 pushed by fblanqui
November 23, 2024 20:06 3m 23s main
main
November 23, 2024 20:06 3m 23s
remove fourcolor files and include hol up to real Docker CI #21: Pull request #3 synchronize by fblanqui
November 23, 2024 19:16 3m 30s fblanqui:fourcolor
fblanqui:fourcolor
November 23, 2024 19:16 3m 30s
remove fourcolor files and include hol up to real Docker CI #20: Pull request #3 synchronize by fblanqui
November 23, 2024 19:10 3m 28s fblanqui:fourcolor
fblanqui:fourcolor
November 23, 2024 19:10 3m 28s
remove fourcolor files and include hol up to real Docker CI #19: Pull request #3 opened by fblanqui
November 23, 2024 19:07 3m 38s fblanqui:fourcolor
fblanqui:fourcolor
November 23, 2024 19:07 3m 38s
github_actions in /. - Update #917848815 Dependabot Updates #5: by dependabot bot
November 18, 2024 01:16 39s main
main
November 18, 2024 01:16 39s
github_actions in /. - Update #914372489 Dependabot Updates #4: by dependabot bot
November 11, 2024 00:41 47s main
main
November 11, 2024 00:41 47s
github_actions in /. - Update #910867693 Dependabot Updates #3: by dependabot bot
November 4, 2024 01:06 36s main
main
November 4, 2024 01:06 36s
prepare release Docker CI #18: Commit eb96b1b pushed by fblanqui
November 3, 2024 13:29 10m 4s 1.0.0
1.0.0
November 3, 2024 13:29 10m 4s
prepare release Docker CI #17: Commit eb96b1b pushed by fblanqui
November 3, 2024 13:27 10m 0s main
main
November 3, 2024 13:27 10m 0s
add the necessary fourcolor files to remove the dependency to fourcolor Docker CI #16: Commit 35cc459 pushed by fblanqui
November 3, 2024 13:12 10m 2s 1.0.0
1.0.0
November 3, 2024 13:12 10m 2s
add the necessary fourcolor files to remove the dependency to fourcolor Docker CI #15: Commit 35cc459 pushed by fblanqui
November 3, 2024 13:08 10m 8s main
main
November 3, 2024 13:08 10m 8s
add the necessary fourcolor files to remove the dependency to fourcolor Docker CI #14: Pull request #2 edited by fblanqui
November 3, 2024 13:08 10m 9s fblanqui:fourcolor
fblanqui:fourcolor
November 3, 2024 13:08 10m 9s
add the necessary fourcolor files to remove the dependency to fourcolor Docker CI #13: Pull request #2 synchronize by fblanqui
November 3, 2024 13:05 10m 22s fblanqui:fourcolor
fblanqui:fourcolor
November 3, 2024 13:05 10m 22s
add the necessary fourcolor files to remove the dependency to fourcolor Docker CI #12: Pull request #2 synchronize by fblanqui
November 2, 2024 03:28 10m 8s fblanqui:fourcolor
fblanqui:fourcolor
November 2, 2024 03:28 10m 8s
add the necessary fourcolor files to remove the dependency to fourcolor Docker CI #11: Pull request #2 synchronize by fblanqui
November 2, 2024 03:18 9m 55s fblanqui:fourcolor
fblanqui:fourcolor
November 2, 2024 03:18 9m 55s
add the necessary fourcolor files to remove the dependency to fourcolor Docker CI #10: Pull request #2 edited by fblanqui
November 2, 2024 03:09 7m 53s fblanqui:fourcolor
fblanqui:fourcolor
November 2, 2024 03:09 7m 53s