Skip to content

Actions: Deducteam/lambdapi-stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
164 workflow runs
164 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
github_actions in /. - Update #1170615865 Dependabot Updates #86: by dependabot bot
29s master
master
29s
mapping to rocq stdlib .github/workflows/main.yml #242: Pull request #51 synchronize by Alidra
4m 1s fblanqui:rocq
fblanqui:rocq
4m 1s
mapping to rocq stdlib .github/workflows/main.yml #241: Pull request #51 synchronize by Alidra
3m 57s fblanqui:rocq
fblanqui:rocq
3m 57s
update CHANGES .github/workflows/main.yml #240: Commit b56ce7d pushed by Alidra
3m 57s test
test
3m 57s
update CHANGES .github/workflows/main.yml #239: Commit b56ce7d pushed by fblanqui
3m 54s 1.3.1
1.3.1
3m 54s