Skip to content

Actions: epfl-lara/lisa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
274 workflow runs
274 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Save proofs (#187) LISA CI #671: Commit aef926b pushed by SimonGuilloud
November 20, 2023 10:38 3m 22s main
main
November 20, 2023 10:38 3m 22s
Save proofs LISA CI #670: Pull request #187 synchronize by SimonGuilloud
November 15, 2023 22:59 3m 15s SimonGuilloud:saveProofs
SimonGuilloud:saveProofs
November 15, 2023 22:59 3m 15s
Readme cleanups and updates (#189) LISA CI #669: Commit 182d098 pushed by SimonGuilloud
November 15, 2023 22:53 3m 13s main
main
November 15, 2023 22:53 3m 13s
Readme cleanups and updates LISA CI #668: Pull request #189 synchronize by sankalpgambhir
November 13, 2023 14:28 3m 23s sankalpgambhir:readme-updates
sankalpgambhir:readme-updates
November 13, 2023 14:28 3m 23s
Readme cleanups and updates LISA CI #667: Pull request #189 opened by sankalpgambhir
November 13, 2023 14:27 3m 17s sankalpgambhir:readme-updates
sankalpgambhir:readme-updates
November 13, 2023 14:27 3m 17s
Manual: Typo in subset axiom title (#186) LISA CI #666: Commit 3923726 pushed by sankalpgambhir
November 8, 2023 12:39 3m 26s main
main
November 8, 2023 12:39 3m 26s
Typo in Zermelo axioms in the manual LISA CI #665: Pull request #186 synchronize by SimonGuilloud
November 8, 2023 12:35 3m 16s giammirove:ManualTypo
giammirove:ManualTypo
November 8, 2023 12:35 3m 16s
Small tactic improvement (#185) LISA CI #664: Commit cb85012 pushed by SimonGuilloud
November 8, 2023 12:35 4m 10s main
main
November 8, 2023 12:35 4m 10s
Small tactic improvement LISA CI #663: Pull request #185 synchronize by SimonGuilloud
November 8, 2023 12:29 3m 21s SimonGuilloud:smallTacticImprovement
SimonGuilloud:smallTacticImprovement
November 8, 2023 12:29 3m 21s
Proof checker fix (#183) LISA CI #662: Commit a1b378c pushed by SimonGuilloud
November 8, 2023 11:02 3m 30s main
main
November 8, 2023 11:02 3m 30s
Proof checker fix LISA CI #661: Pull request #183 synchronize by SimonGuilloud
November 8, 2023 10:52 4m 40s SimonGuilloud:proofCheckerFix
SimonGuilloud:proofCheckerFix
November 8, 2023 10:52 4m 40s
Proof checker fix LISA CI #660: Pull request #183 synchronize by SimonGuilloud
November 8, 2023 10:44 3m 26s SimonGuilloud:proofCheckerFix
SimonGuilloud:proofCheckerFix
November 8, 2023 10:44 3m 26s
Put list example files in a different branch (#180) LISA CI #659: Commit 13eb860 pushed by SimonGuilloud
November 8, 2023 10:39 4m 42s main
main
November 8, 2023 10:39 4m 42s
Typo in Zermelo axioms in the manual LISA CI #658: Pull request #186 synchronize by sankalpgambhir
November 8, 2023 10:38 5m 40s giammirove:ManualTypo
giammirove:ManualTypo
November 8, 2023 10:38 5m 40s
Put list example files in a different branch LISA CI #657: Pull request #180 synchronize by SimonGuilloud
November 8, 2023 10:29 4m 12s SimonGuilloud:moveListsExamples
SimonGuilloud:moveListsExamples
November 8, 2023 10:29 4m 12s
Tableau (#181) LISA CI #656: Commit 5e1e865 pushed by SimonGuilloud
November 8, 2023 10:18 3m 15s main
main
November 8, 2023 10:18 3m 15s
Small tactic improvement LISA CI #655: Pull request #185 synchronize by SimonGuilloud
November 7, 2023 17:01 5m 49s SimonGuilloud:smallTacticImprovement
SimonGuilloud:smallTacticImprovement
November 7, 2023 17:01 5m 49s
Small tactic improvement LISA CI #654: Pull request #185 synchronize by SimonGuilloud
November 6, 2023 14:53 4m 20s SimonGuilloud:smallTacticImprovement
SimonGuilloud:smallTacticImprovement
November 6, 2023 14:53 4m 20s
Small tactic improvement LISA CI #652: Pull request #185 opened by SimonGuilloud
November 3, 2023 14:42 4m 56s SimonGuilloud:smallTacticImprovement
SimonGuilloud:smallTacticImprovement
November 3, 2023 14:42 4m 56s
Lab05 LISA CI #651: Pull request #184 opened by SimonGuilloud
November 2, 2023 09:31 4m 45s Lab05
Lab05
November 2, 2023 09:31 4m 45s
Template for Lab05 LISA CI #650: Commit 9677940 pushed by SimonGuilloud
November 1, 2023 15:53 3m 59s Lab05
Lab05
November 1, 2023 15:53 3m 59s
Proof checker fix LISA CI #649: Pull request #183 opened by SimonGuilloud
October 30, 2023 15:26 5m 16s SimonGuilloud:proofCheckerFix
SimonGuilloud:proofCheckerFix
October 30, 2023 15:26 5m 16s
Tableau LISA CI #647: Pull request #181 synchronize by SimonGuilloud
October 26, 2023 13:17 4m 28s SimonGuilloud:tableau
SimonGuilloud:tableau
October 26, 2023 13:17 4m 28s
Tableau LISA CI #646: Pull request #181 opened by SimonGuilloud
October 26, 2023 12:58 4m 17s SimonGuilloud:tableau
SimonGuilloud:tableau
October 26, 2023 12:58 4m 17s
replace ??? by sorry LISA CI #645: Commit 04b4271 pushed by SimonGuilloud
October 17, 2023 15:10 7m 5s Lab04
Lab04
October 17, 2023 15:10 7m 5s