Skip to content

Actions: Deducteam/lambdapi-stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
128 workflow runs
128 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 #1384193247 Dependabot Updates #110: by dependabot Bot
28s master
master
28s
github_actions in /. - Update #1373700412 Dependabot Updates #109: by dependabot Bot
19s master
master
19s
github_actions in /. - Update #1361578593 Dependabot Updates #108: by dependabot Bot
30s master
master
30s
github_actions in /. - Update #1348240871 Dependabot Updates #107: by dependabot Bot
36s master
master
36s
github_actions in /. - Update #1339606519 Dependabot Updates #106: by dependabot Bot
31s master
master
31s
github_actions in /. - Update #1330857669 Dependabot Updates #105: by dependabot Bot
31s master
master
31s
github_actions in /. - Update #1321316006 Dependabot Updates #104: by dependabot Bot
37s master
master
37s
github_actions in /. - Update #1309756581 Dependabot Updates #103: by dependabot Bot
31s master
master
31s
github_actions in /. - Update #1301206076 Dependabot Updates #102: by dependabot Bot
21s master
master
21s
github_actions in /. - Update #1289861340 Dependabot Updates #101: by dependabot Bot
33s master
master
33s
github_actions in /. - Update #1281602721 Dependabot Updates #100: by dependabot Bot
31s master
master
31s
github_actions in /. - Update #1273524185 Dependabot Updates #99: by dependabot Bot
30s master
master
30s
github_actions in /. - Update #1265791767 Dependabot Updates #98: by dependabot Bot
29s master
master
29s
github_actions in /. - Update #1255529577 Dependabot Updates #97: by dependabot Bot
36s master
master
36s
github_actions in /. - Update #1245997080 Dependabot Updates #96: by dependabot Bot
24s master
master
24s
github_actions in /. - Update #1238844357 Dependabot Updates #95: by dependabot Bot
44s master
master
44s
github_actions in /. - Update #1231371282 Dependabot Updates #94: by dependabot Bot
30s master
master
30s
Added more convenient version of delete theorem (#60) .github/workflows/main.yml #259: Commit fa51d12 pushed by fblanqui
4m 3s master
master
4m 3s
improve efficiency rev (#61) .github/workflows/main.yml #258: Commit e53ccf2 pushed by fblanqui
3m 55s master
master
3m 55s
improve efficiency List.rev .github/workflows/main.yml #257: Pull request #61 opened by fblanqui
3m 41s fblanqui:rev
fblanqui:rev
3m 41s
Updated version of the Delete Theorem in Disj.LP, along with related encodings and theorems .github/workflows/main.yml #256: Pull request #60 opened by melanie-taprogge
3m 53s melanie-taprogge:master
melanie-taprogge:master
3m 53s
Add meta theorems about disjunctions and conjunctions (#59) .github/workflows/main.yml #255: Commit 60de8ab pushed by fblanqui
3m 57s master
master
3m 57s
Add meta theorems about disjunctions and conjunctions .github/workflows/main.yml #254: Pull request #59 synchronize by melanie-taprogge
3m 52s melanie-taprogge:master
melanie-taprogge:master
3m 52s
Add meta theorems about disjunctions and conjunctions .github/workflows/main.yml #253: Pull request #59 synchronize by melanie-taprogge
3m 54s melanie-taprogge:master
melanie-taprogge:master
3m 54s
github_actions in /. - Update #1221696695 Dependabot Updates #93: by dependabot Bot
19s master
master
19s