Skip to content

Actions: epfl-lara/lisa

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
285 workflow runs
285 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add lambda-terms to FOL LISA CI #840: Pull request #231 synchronize by SimonGuilloud
October 17, 2024 08:29 2m 28s SimonGuilloud:lambdafol
SimonGuilloud:lambdafol
October 17, 2024 08:29 2m 28s
Add lambda-terms to FOL LISA CI #839: Pull request #231 synchronize by SimonGuilloud
October 15, 2024 16:22 1m 47s SimonGuilloud:lambdafol
SimonGuilloud:lambdafol
October 15, 2024 16:22 1m 47s
Add lambda-terms to FOL LISA CI #838: Pull request #231 synchronize by SimonGuilloud
October 14, 2024 15:13 2m 15s SimonGuilloud:lambdafol
SimonGuilloud:lambdafol
October 14, 2024 15:13 2m 15s
Add lambda-terms to FOL LISA CI #837: Pull request #231 synchronize by SimonGuilloud
October 13, 2024 22:12 1m 41s SimonGuilloud:lambdafol
SimonGuilloud:lambdafol
October 13, 2024 22:12 1m 41s
Add lambda-terms to FOL LISA CI #836: Pull request #231 synchronize by SimonGuilloud
October 12, 2024 11:55 1m 46s SimonGuilloud:lambdafol
SimonGuilloud:lambdafol
October 12, 2024 11:55 1m 46s
Add lambda-terms to FOL LISA CI #835: Pull request #231 synchronize by SimonGuilloud
October 12, 2024 11:28 1m 12s SimonGuilloud:lambdafol
SimonGuilloud:lambdafol
October 12, 2024 11:28 1m 12s
Add lambda-terms to FOL LISA CI #834: Pull request #231 synchronize by SimonGuilloud
October 11, 2024 14:26 1m 15s SimonGuilloud:lambdafol
SimonGuilloud:lambdafol
October 11, 2024 14:26 1m 15s
Add lambda-terms to FOL LISA CI #833: Pull request #231 synchronize by SimonGuilloud
October 9, 2024 22:56 4m 22s SimonGuilloud:lambdafol
SimonGuilloud:lambdafol
October 9, 2024 22:56 4m 22s
Add lambda-terms to FOL LISA CI #832: Pull request #231 synchronize by SimonGuilloud
October 9, 2024 15:44 1m 17s SimonGuilloud:lambdafol
SimonGuilloud:lambdafol
October 9, 2024 15:44 1m 17s
Add lambda-terms to FOL LISA CI #831: Pull request #231 synchronize by SimonGuilloud
October 8, 2024 22:20 4m 16s SimonGuilloud:lambdafol
SimonGuilloud:lambdafol
October 8, 2024 22:20 4m 16s
Add lambda-terms to FOL LISA CI #830: Pull request #231 opened by SimonGuilloud
October 8, 2024 16:30 4m 37s SimonGuilloud:lambdafol
SimonGuilloud:lambdafol
October 8, 2024 16:30 4m 37s
Extract definitions/theorems of functions, add Sigma and Pi (#222) LISA CI #829: Commit 70cc576 pushed by SimonGuilloud
October 8, 2024 12:04 4m 40s main
main
October 8, 2024 12:04 4m 40s
Extract definitions/theorems of functions, add Sigma and Pi LISA CI #828: Pull request #222 synchronize by SimonGuilloud
October 8, 2024 11:56 4m 25s shilangyu:feat/functions-package
shilangyu:feat/functions-package
October 8, 2024 11:56 4m 25s
Extract definitions/theorems of functions, add Sigma and Pi LISA CI #827: Pull request #222 synchronize by SimonGuilloud
October 8, 2024 11:54 4m 29s shilangyu:feat/functions-package
shilangyu:feat/functions-package
October 8, 2024 11:54 4m 29s
Macro to include executable lisa listings from a file (#230) LISA CI #826: Commit c5148da pushed by vkuncak
October 4, 2024 19:37 4m 16s main
main
October 4, 2024 19:37 4m 16s
Macro to include executable lisa listings from a file LISA CI #825: Pull request #230 opened by vkuncak
October 4, 2024 17:26 4m 25s vk/refman
vk/refman
October 4, 2024 17:26 4m 25s
Macro to include executable lisa listings from a file LISA CI #824: Commit 1e6fa99 pushed by vkuncak
October 4, 2024 17:26 4m 20s vk/refman
vk/refman
October 4, 2024 17:26 4m 20s
Update README.md with ITP 2024 LISA CI #823: Commit 3aa243f pushed by vkuncak
October 4, 2024 12:53 4m 20s main
main
October 4, 2024 12:53 4m 20s
Depend on Scallion and Silex via release JARs (#228) LISA CI #822: Commit f5045a8 pushed by sankalpgambhir
October 4, 2024 11:14 4m 35s 0.7
0.7
October 4, 2024 11:14 4m 35s
Depend on Scallion and Silex via release JARs (#228) LISA CI #821: Commit f5045a8 pushed by sankalpgambhir
October 4, 2024 11:04 4m 17s main
main
October 4, 2024 11:04 4m 17s
Depend on Scallion and Silex via release JARs LISA CI #820: Pull request #228 synchronize by sankalpgambhir
October 4, 2024 10:59 4m 12s sankalpgambhir:remove-parser
sankalpgambhir:remove-parser
October 4, 2024 10:59 4m 12s
Depend on Scallion and Silex via release JARs LISA CI #819: Pull request #228 opened by sankalpgambhir
October 4, 2024 10:53 4m 31s sankalpgambhir:remove-parser
sankalpgambhir:remove-parser
October 4, 2024 10:53 4m 31s
Small fixes to tests and congruence (#223) LISA CI #818: Commit cc73785 pushed by SimonGuilloud
October 4, 2024 10:45 5m 13s main
main
October 4, 2024 10:45 5m 13s
Small fixes to tests and congruence LISA CI #817: Pull request #223 synchronize by SimonGuilloud
October 4, 2024 10:32 5m 11s SimonGuilloud:testfixes
SimonGuilloud:testfixes
October 4, 2024 10:32 5m 11s
Update project to scala version 3.5.1. Rewrite depreciated syntax. (#… LISA CI #816: Commit 8af257a pushed by SimonGuilloud
October 4, 2024 10:27 5m 9s main
main
October 4, 2024 10:27 5m 9s