Skip to content

Actions: Deducteam/lambdapi-stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
136 workflow runs
136 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 #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
Add meta theorems about disjunctions and conjunctions .github/workflows/main.yml #252: Pull request #59 opened by melanie-taprogge
3m 59s melanie-taprogge:master
melanie-taprogge:master
3m 59s
mapping to rocq stdlib .github/workflows/main.yml #251: Pull request #51 synchronize by cathdubois
4m 0s fblanqui:rocq
fblanqui:rocq
4m 0s
Fix comment about List.undup (#58) .github/workflows/main.yml #250: Commit 195c96a pushed by fblanqui
4m 3s master
master
4m 3s
Fix comment about List.undup .github/workflows/main.yml #249: Pull request #58 opened by fblanqui
3m 49s fblanqui:undup
fblanqui:undup
3m 49s
github_actions in /. - Update #1213885198 Dependabot Updates #92: by dependabot bot
31s master
master
31s
github_actions in /. - Update #1207261350 Dependabot Updates #91: by dependabot bot
29s master
master
29s