Skip to content

Actions: Deducteam/lambdapi-zenon

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
44 workflow runs
44 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #930160892
Dependabot Updates #27: by dependabot bot
December 9, 2024 23:52 33s main
December 9, 2024 23:52 33s
github_actions in /. - Update #926452291
Dependabot Updates #26: by dependabot bot
December 3, 2024 00:31 35s main
December 3, 2024 00:31 35s
github_actions in /. - Update #922604533
Dependabot Updates #25: by dependabot bot
November 25, 2024 23:48 40s main
November 25, 2024 23:48 40s
github_actions in /. - Update #918938168
Dependabot Updates #24: by dependabot bot
November 19, 2024 00:21 34s main
November 19, 2024 00:21 34s
github_actions in /. - Update #915290426
Dependabot Updates #23: by dependabot bot
November 11, 2024 23:20 34s main
November 11, 2024 23:20 34s
github_actions in /. - Update #911833075
Dependabot Updates #22: by dependabot bot
November 5, 2024 00:04 49s main
November 5, 2024 00:04 49s
github_actions in /. - Update #908134741
Dependabot Updates #21: by dependabot bot
October 29, 2024 00:03 35s main
October 29, 2024 00:03 35s
github_actions in /. - Update #904598180
Dependabot Updates #20: by dependabot bot
October 21, 2024 23:58 34s main
October 21, 2024 23:58 34s
github_actions in /. - Update #900993983
Dependabot Updates #19: by dependabot bot
October 14, 2024 23:13 39s main
October 14, 2024 23:13 39s
github_actions in /. - Update #897400598
Dependabot Updates #18: by dependabot bot
October 7, 2024 23:07 41s main
October 7, 2024 23:07 41s
github_actions in /. - Update #893504947
Dependabot Updates #17: by dependabot bot
October 1, 2024 00:00 34s main
October 1, 2024 00:00 34s
github_actions in /. - Update #889797540
Dependabot Updates #16: by dependabot bot
September 23, 2024 23:41 31s main
September 23, 2024 23:41 31s
github_actions in /. - Update #885802210
Dependabot Updates #15: by dependabot bot
September 16, 2024 23:50 38s main
September 16, 2024 23:50 38s
github_actions in /. - Update #881668527
Dependabot Updates #14: by dependabot bot
September 9, 2024 23:57 34s main
September 9, 2024 23:57 34s
github_actions in /. - Update #878298475
Dependabot Updates #13: by dependabot bot
September 3, 2024 00:05 37s main
September 3, 2024 00:05 37s
github_actions in /. - Update #874578243
Dependabot Updates #12: by dependabot bot
August 26, 2024 23:42 32s main
August 26, 2024 23:42 32s
github_actions in /. - Update #871481904
Dependabot Updates #11: by dependabot bot
August 19, 2024 23:40 34s main
August 19, 2024 23:40 34s
github_actions in /. - Update #868571582
Dependabot Updates #10: by dependabot bot
August 12, 2024 23:12 33s main
August 12, 2024 23:12 33s
github_actions in /. - Update #865568353
Dependabot Updates #9: by dependabot bot
August 5, 2024 23:24 37s main
August 5, 2024 23:24 37s
add cut rule (#6)
.github/workflows/main.yml #17: Commit 1f29fc0 pushed by fblanqui
August 1, 2024 14:37 6m 21s 0.0.0
August 1, 2024 14:37 6m 21s
add cut rule (#6)
.github/workflows/main.yml #16: Commit 1f29fc0 pushed by fblanqui
August 1, 2024 14:33 8m 20s main
August 1, 2024 14:33 8m 20s
add cut rule
.github/workflows/main.yml #15: Pull request #6 synchronize by fblanqui
August 1, 2024 14:20 9m 43s fblanqui:cut
August 1, 2024 14:20 9m 43s
add cut rule
.github/workflows/main.yml #14: Pull request #6 opened by fblanqui
August 1, 2024 14:17 11m 34s fblanqui:cut
August 1, 2024 14:17 11m 34s
github_actions in /. - Update #862230594
Dependabot Updates #8: by dependabot bot
July 29, 2024 23:34 32s main
July 29, 2024 23:34 32s
github_actions in /. - Update #859221694
Dependabot Updates #7: by dependabot bot
July 22, 2024 23:38 38s main
July 22, 2024 23:38 38s