Skip to content

Actions: Deducteam/lambdapi-zenon

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
89 workflow runs
89 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #1197101950 Dependabot Updates #94: by dependabot bot
31s main
main
31s
eta-expand quantifiers .github/workflows/main.yml #37: Pull request #12 edited by fblanqui
7m 0s fblanqui:eta
fblanqui:eta
7m 0s
eta-expand quantifiers (#12) .github/workflows/main.yml #36: Commit db23ee4 pushed by fblanqui
8m 0s main
main
8m 0s
eta-expand quantifiers .github/workflows/main.yml #35: Pull request #12 synchronize by fblanqui
7m 35s fblanqui:eta
fblanqui:eta
7m 35s
eta-expand quantifiers .github/workflows/main.yml #34: Pull request #12 opened by fblanqui
7m 46s fblanqui:eta
fblanqui:eta
7m 46s
github_actions in /. - Update #1171077661 Dependabot Updates #93: by dependabot bot
9m 13s main
main
9m 13s
github_actions in /. - Update #1170980324 Dependabot Updates #92: by dependabot bot
23m 17s main
main
23m 17s
github_actions in /. - Update #1170976959 Dependabot Updates #91: by dependabot bot
34s main
main
34s
github_actions in /. - Update #1164208259 Dependabot Updates #90: by dependabot bot
30s main
main
30s
ci: check last version of lambdapi and lambdapi-stdlib only (#11) .github/workflows/main.yml #33: Commit 8330196 pushed by fblanqui
4m 4s main
main
4m 4s
ci: check last version of lambdapi and lambdapi-stdlib only .github/workflows/main.yml #32: Pull request #11 opened by fblanqui
7m 2s fblanqui:ci
fblanqui:ci
7m 2s
Bump actions/checkout from 5 to 6 (#10) .github/workflows/main.yml #31: Commit 8085cad pushed by fblanqui
8m 0s main
main
8m 0s
Bump actions/checkout from 5 to 6 .github/workflows/main.yml #30: Pull request #10 opened by dependabot bot
11m 10s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
11m 10s
Bump actions/checkout from 5 to 6 .github/workflows/main.yml #29: Commit 37ea57e pushed by dependabot bot
8m 23s dependabot/github_actions/actions/checkout-6
dependabot/github_actions/actions/checkout-6
8m 23s
github_actions in /. - Update #1163791023 Dependabot Updates #89: by dependabot bot
30s main
main
30s
github_actions in /. - Update #1163786131 Dependabot Updates #88: by dependabot bot
29s main
main
29s
github_actions in /. - Update #1155730624 Dependabot Updates #87: by dependabot bot
33s main
main
33s
github_actions in /. - Update #1155703394 Dependabot Updates #86: by dependabot bot
33s main
main
33s
github_actions in /. - Update #1148684099 Dependabot Updates #85: by dependabot bot
34s main
main
34s
github_actions in /. - Update #1148627329 Dependabot Updates #84: by dependabot bot
33s main
main
33s
github_actions in /. - Update #1142734923 Dependabot Updates #83: by dependabot bot
28s main
main
28s
github_actions in /. - Update #1136202145 Dependabot Updates #82: by dependabot bot
32s main
main
32s
github_actions in /. - Update #1136153577 Dependabot Updates #81: by dependabot bot
28s main
main
28s
github_actions in /. - Update #1130218846 Dependabot Updates #80: by dependabot bot
38s main
main
38s
github_actions in /. - Update #1124575986 Dependabot Updates #79: by dependabot bot
34s main
main
34s