Skip to content

Actions: Deducteam/lambdapi-logics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
80 workflow runs
80 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
github_actions in /. - Update #1537725950 Dependabot Updates #86: by dependabot Bot
56s master
master
56s
github_actions in /. - Update #1528115789 Dependabot Updates #85: by dependabot Bot
53s master
master
53s
github_actions in /. - Update #1516496697 Dependabot Updates #84: by dependabot Bot
1m 6s master
master
1m 6s
github_actions in /. - Update #1501593291 Dependabot Updates #83: by dependabot Bot
48s master
master
48s
github_actions in /. - Update #1485428807 Dependabot Updates #82: by dependabot Bot
27s master
master
27s
revert change in opam file to allow opam install . .github/workflows/main.yml #55: Commit d9998c9 pushed by fblanqui
4m 21s master
master
4m 21s
rename P and T builtins (#17) .github/workflows/main.yml #54: Commit 47d3a57 pushed by fblanqui
4m 10s master
master
4m 10s
rename P and T builtins .github/workflows/main.yml #53: Pull request #17 opened by fblanqui
4m 21s fblanqui:builtin
fblanqui:builtin
4m 21s
github_actions in /. - Update #1467349673 Dependabot Updates #81: by dependabot Bot
33s master
master
33s
add builtin Set and update CI script (#16) .github/workflows/main.yml #52: Commit e1133af pushed by fblanqui
8m 21s master
master
8m 21s
add builtin Set and update CI script .github/workflows/main.yml #51: Pull request #16 synchronize by fblanqui
4m 19s fblanqui:set
fblanqui:set
4m 19s
add builtin Set and update CI script .github/workflows/main.yml #50: Pull request #16 opened by fblanqui
8m 1s fblanqui:set
fblanqui:set
8m 1s
github_actions in /. - Update #1457804131 Dependabot Updates #80: by dependabot Bot
27s master
master
27s
github_actions in /. - Update #1448654970 Dependabot Updates #79: by dependabot Bot
38s master
master
38s
github_actions in /. - Update #1438365688 Dependabot Updates #78: by dependabot Bot
22s master
master
22s
Bump actions/checkout from 6 to 7 (#15) .github/workflows/main.yml #49: Commit 599c8d0 pushed by fblanqui
7m 15s master
master
7m 15s
Bump actions/checkout from 6 to 7 .github/workflows/main.yml #48: Pull request #15 opened by dependabot Bot
9m 29s dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
9m 29s
Bump actions/checkout from 6 to 7 .github/workflows/main.yml #47: Commit 9107b82 pushed by dependabot Bot
7m 0s dependabot/github_actions/actions/checkout-7
dependabot/github_actions/actions/checkout-7
7m 0s
github_actions in /. - Update #1427769672 Dependabot Updates #77: by dependabot Bot
21s master
master
21s
github_actions in /. - Update #1412780069 Dependabot Updates #76: by dependabot Bot
28s master
master
28s
github_actions in /. - Update #1401925708 Dependabot Updates #75: by dependabot Bot
28s master
master
28s
github_actions in /. - Update #1392769081 Dependabot Updates #74: by dependabot Bot
24s master
master
24s
github_actions in /. - Update #1382722815 Dependabot Updates #73: by dependabot Bot
27s master
master
27s
github_actions in /. - Update #1371606601 Dependabot Updates #72: by dependabot Bot
40s master
master
40s
github_actions in /. - Update #1359282710 Dependabot Updates #71: by dependabot Bot
36s master
master
36s