Skip to content

Actions: Deducteam/lambdapi-stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
168 workflow runs
168 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
allow parsing of positive numbers in decimal notation .github/workflows/main.yml #248: Pull request #55 opened by fblanqui
3m 51s fblanqui:pos
fblanqui:pos
3m 51s
Pos.lp: fix definition of multiplication (#54) .github/workflows/main.yml #247: Commit a31f4c4 pushed by fblanqui
3m 51s master
master
3m 51s
Pos.lp: fix definition of multiplication .github/workflows/main.yml #246: Pull request #54 synchronize by fblanqui
3m 47s fblanqui:mul
fblanqui:mul
3m 47s
Pos.lp: fix definition of multiplication .github/workflows/main.yml #245: Pull request #54 opened by fblanqui
3m 47s fblanqui:mul
fblanqui:mul
3m 47s
github_actions in /. - Update #1193279740 Dependabot Updates #90: by dependabot bot
28s master
master
28s
github_actions in /. - Update #1188892143 Dependabot Updates #89: by dependabot bot
32s master
master
32s
github_actions in /. - Update #1183429633 Dependabot Updates #88: by dependabot bot
31s master
master
31s
github_actions in /. - Update #1177781673 Dependabot Updates #87: by dependabot bot
41s master
master
41s
FOL: eta expand exist quantifier (#53) .github/workflows/main.yml #244: Commit 9ba9071 pushed by fblanqui
7m 32s master
master
7m 32s
FOL: eta expand exist quantifier .github/workflows/main.yml #243: Pull request #53 opened by fblanqui
7m 35s fblanqui:eta
fblanqui:eta
7m 35s