Skip to content

Actions: epfl-lara/lisa

Actions

LISA CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
313 workflow runs
313 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support for Goéland and SC-TPTP LISA CI #773: Pull request #211 synchronize by SimonGuilloud
March 5, 2024 09:37 4m 45s SimonGuilloud:tstp
SimonGuilloud:tstp
March 5, 2024 09:37 4m 45s
Small corrections to Lisa manual (#213) LISA CI #772: Commit 73bc04b pushed by SimonGuilloud
March 4, 2024 11:57 4m 14s main
main
March 4, 2024 11:57 4m 14s
Small corrections to Lisa manual LISA CI #771: Pull request #213 synchronize by shilangyu
March 3, 2024 21:35 4m 23s shilangyu:fix/docs-typos
shilangyu:fix/docs-typos
March 3, 2024 21:35 4m 23s
Support for Goéland and SC-TPTP LISA CI #769: Pull request #211 synchronize by SimonGuilloud
March 2, 2024 15:53 4m 49s SimonGuilloud:tstp
SimonGuilloud:tstp
March 2, 2024 15:53 4m 49s
Support for Goéland and SC-TPTP LISA CI #768: Pull request #211 synchronize by SimonGuilloud
March 2, 2024 13:45 4m 38s SimonGuilloud:tstp
SimonGuilloud:tstp
March 2, 2024 13:45 4m 38s
Support for Goéland and SC-TPTP LISA CI #767: Pull request #211 synchronize by SimonGuilloud
March 2, 2024 13:35 4m 40s SimonGuilloud:tstp
SimonGuilloud:tstp
March 2, 2024 13:35 4m 40s
Support for Goéland and SC-TPTP LISA CI #766: Pull request #211 synchronize by SimonGuilloud
March 2, 2024 13:32 4m 38s SimonGuilloud:tstp
SimonGuilloud:tstp
March 2, 2024 13:32 4m 38s
Apply tactic (#212) LISA CI #765: Commit 8f68275 pushed by SimonGuilloud
March 2, 2024 10:51 4m 13s main
main
March 2, 2024 10:51 4m 13s
Apply tactic LISA CI #764: Pull request #212 synchronize by agilot
March 2, 2024 10:40 4m 13s agilot:main
agilot:main
March 2, 2024 10:40 4m 13s
Support for Goéland and SC-TPTP LISA CI #761: Pull request #211 synchronize by SimonGuilloud
March 1, 2024 20:45 4m 47s SimonGuilloud:tstp
SimonGuilloud:tstp
March 1, 2024 20:45 4m 47s
Support for Goéland and SC-TPTP LISA CI #760: Pull request #211 opened by SimonGuilloud
March 1, 2024 20:41 2m 17s SimonGuilloud:tstp
SimonGuilloud:tstp
March 1, 2024 20:41 2m 17s
Orders on Ordinals LISA CI #759: Pull request #210 synchronize by sankalpgambhir
February 21, 2024 14:54 4m 11s sankalpgambhir:complete-proofs
sankalpgambhir:complete-proofs
February 21, 2024 14:54 4m 11s
Orders on Ordinals LISA CI #758: Pull request #210 synchronize by sankalpgambhir
February 21, 2024 14:18 4m 24s sankalpgambhir:complete-proofs
sankalpgambhir:complete-proofs
February 21, 2024 14:18 4m 24s
Orders on Ordinals LISA CI #757: Pull request #210 synchronize by sankalpgambhir
February 21, 2024 12:42 4m 15s sankalpgambhir:complete-proofs
sankalpgambhir:complete-proofs
February 21, 2024 12:42 4m 15s
Orders on Ordinals LISA CI #756: Pull request #210 opened by sankalpgambhir
February 20, 2024 16:42 4m 20s sankalpgambhir:complete-proofs
sankalpgambhir:complete-proofs
February 20, 2024 16:42 4m 20s
Pair notation and assumeAll LISA CI #755: Pull request #209 opened by sankalpgambhir
February 20, 2024 16:40 4m 19s sankalpgambhir:pair-notation
sankalpgambhir:pair-notation
February 20, 2024 16:40 4m 19s
Running solvers on TPTP + converting kernel proofs to Lisa code LISA CI #754: Pull request #208 synchronize by augustepoiroux
February 12, 2024 16:41 3m 47s augustepoiroux:kernel2tactic
augustepoiroux:kernel2tactic
February 12, 2024 16:41 3m 47s
Add option for draft (#207) LISA CI #752: Commit e27962d pushed by SimonGuilloud
February 6, 2024 10:51 4m 13s main
main
February 6, 2024 10:51 4m 13s
Add option for draft LISA CI #751: Pull request #207 synchronize by SimonGuilloud
February 6, 2024 10:22 4m 13s SimonGuilloud:draft
SimonGuilloud:draft
February 6, 2024 10:22 4m 13s
Add option for draft LISA CI #750: Pull request #207 synchronize by SimonGuilloud
February 6, 2024 10:12 3m 52s SimonGuilloud:draft
SimonGuilloud:draft
February 6, 2024 10:12 3m 52s
Add option for draft LISA CI #749: Pull request #207 synchronize by SimonGuilloud
February 6, 2024 09:41 3m 40s SimonGuilloud:draft
SimonGuilloud:draft
February 6, 2024 09:41 3m 40s
Add option for draft LISA CI #748: Pull request #207 synchronize by SimonGuilloud
February 6, 2024 09:41 4m 14s SimonGuilloud:draft
SimonGuilloud:draft
February 6, 2024 09:41 4m 14s
Add option for draft LISA CI #747: Pull request #207 synchronize by SimonGuilloud
February 6, 2024 09:40 4m 13s SimonGuilloud:draft
SimonGuilloud:draft
February 6, 2024 09:40 4m 13s
Add option for draft LISA CI #746: Pull request #207 synchronize by SimonGuilloud
February 6, 2024 09:40 4m 10s SimonGuilloud:draft
SimonGuilloud:draft
February 6, 2024 09:40 4m 10s
Add option for draft LISA CI #745: Pull request #207 synchronize by SimonGuilloud
February 5, 2024 16:14 4m 20s SimonGuilloud:draft
SimonGuilloud:draft
February 5, 2024 16:14 4m 20s