Skip to content

Actions: Deducteam/zenon_modulo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
60 workflow runs
60 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

lltolp.ml: fix requires for lambdapi-zenon library (#35) .github/workflows/main.yml #29: Commit f185d44 pushed by fblanqui
July 17, 2024 12:05 1m 45s modulo
modulo
July 17, 2024 12:05 1m 45s
lltolp.ml: fix requires for lambdapi-zenon library .github/workflows/main.yml #28: Pull request #35 opened by fblanqui
July 17, 2024 12:02 1m 46s fblanqui:fixnewlib
fblanqui:fixnewlib
July 17, 2024 12:02 1m 46s
change lp output to use the lambdapi-zenon library (#33) .github/workflows/main.yml #27: Commit 3841c94 pushed by fblanqui
July 17, 2024 07:27 1m 44s modulo
modulo
July 17, 2024 07:27 1m 44s
Use a new Lambdapi library .github/workflows/main.yml #26: Pull request #33 synchronize by fblanqui
July 16, 2024 16:50 1m 52s fblanqui:newlib
fblanqui:newlib
July 16, 2024 16:50 1m 52s
add support for dune (#24) .github/workflows/main.yml #25: Commit 1049604 pushed by fblanqui
July 16, 2024 15:26 1m 56s modulo
modulo
July 16, 2024 15:26 1m 56s
add support for dune .github/workflows/main.yml #24: Pull request #24 edited by fblanqui
July 16, 2024 15:25 1m 46s fblanqui:dune
fblanqui:dune
July 16, 2024 15:25 1m 46s
add support for dune .github/workflows/main.yml #23: Pull request #24 synchronize by fblanqui
July 16, 2024 14:54 1m 56s fblanqui:dune
fblanqui:dune
July 16, 2024 14:54 1m 56s
Use a new Lambdapi library .github/workflows/main.yml #22: Pull request #33 opened by fblanqui
July 16, 2024 10:02 1m 53s fblanqui:newlib
fblanqui:newlib
July 16, 2024 10:02 1m 53s
github_actions in /. - Update #856185049 Dependabot Updates #6: by dependabot bot
July 15, 2024 22:22 31s
July 15, 2024 22:22 31s
Fix TPTP syntax of annotations (#32) .github/workflows/main.yml #21: Commit eb8cd58 pushed by gburel
July 15, 2024 07:28 1m 52s modulo
modulo
July 15, 2024 07:28 1m 52s
Fix TPTP syntax of annotations .github/workflows/main.yml #20: Pull request #32 opened by gburel
July 15, 2024 07:25 1m 45s gburel:modulo
gburel:modulo
July 15, 2024 07:25 1m 45s
Fix bug causing free variables to be output. (#31) .github/workflows/main.yml #19: Commit d39717b pushed by gburel
July 11, 2024 15:29 1m 49s modulo
modulo
July 11, 2024 15:29 1m 49s
Fix bug causing free variables to be output. .github/workflows/main.yml #18: Pull request #31 opened by gburel
July 11, 2024 15:26 1m 57s gburel:modulo
gburel:modulo
July 11, 2024 15:26 1m 57s
change option -neg-conj <n> to -conj, and fix Lpprint.print_dk_cst (#30) .github/workflows/main.yml #17: Commit fbdd9b4 pushed by gburel
July 11, 2024 15:15 2m 6s modulo
modulo
July 11, 2024 15:15 2m 6s
change option -neg-conj <n> to -conj, and fix Lpprint.print_dk_cst .github/workflows/main.yml #16: Pull request #30 opened by fblanqui
July 11, 2024 14:26 1m 59s fblanqui:conj
fblanqui:conj
July 11, 2024 14:26 1m 59s
Bump avsm/setup-ocaml from 2 to 3 (#29) .github/workflows/main.yml #15: Commit 1b83263 pushed by fblanqui
July 9, 2024 06:47 5m 45s modulo
modulo
July 9, 2024 06:47 5m 45s
Bump avsm/setup-ocaml from 2 to 3 .github/workflows/main.yml #14: Pull request #29 opened by dependabot bot
July 8, 2024 22:44 5m 23s dependabot/github_actions/avsm/setup-ocaml-3
dependabot/github_actions/avsm/setup-ocaml-3
July 8, 2024 22:44 5m 23s
Bump avsm/setup-ocaml from 2 to 3 .github/workflows/main.yml #13: Commit 882be23 pushed by dependabot bot
July 8, 2024 22:44 5m 25s dependabot/github_actions/avsm/setup-ocaml-3
dependabot/github_actions/avsm/setup-ocaml-3
July 8, 2024 22:44 5m 25s
github_actions in /. - Update #853144693 Dependabot Updates #5: by dependabot bot
July 8, 2024 22:43 46s
July 8, 2024 22:43 46s
github_actions in /. - Update #850171857 Dependabot Updates #4: by dependabot bot
July 1, 2024 22:45 34s
July 1, 2024 22:45 34s
update lambdapi keyword list (#28) .github/workflows/main.yml #12: Commit fd76a67 pushed by fblanqui
June 25, 2024 15:41 3m 10s modulo
modulo
June 25, 2024 15:41 3m 10s
update lambdapi keyword list .github/workflows/main.yml #11: Pull request #28 opened by fblanqui
June 25, 2024 15:34 3m 16s fblanqui:lp-keywords
fblanqui:lp-keywords
June 25, 2024 15:34 3m 16s
Accept integers as formula names (#27) .github/workflows/main.yml #10: Commit 6b986ce pushed by gburel
June 25, 2024 14:23 3m 1s modulo
modulo
June 25, 2024 14:23 3m 1s
Integers as formula names .github/workflows/main.yml #9: Pull request #27 opened by gburel
June 25, 2024 14:18 3m 23s gburel:modulo
gburel:modulo
June 25, 2024 14:18 3m 23s
github_actions in /. - Update #846941275 Dependabot Updates #3: by dependabot bot
June 24, 2024 23:16 37s
June 24, 2024 23:16 37s