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

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
Update project to scala version 3.5.1. Rewrite depreciated syntax. LISA CI #815: Pull request #227 synchronize by SimonGuilloud
October 4, 2024 10:13 5m 10s SimonGuilloud:upgradeto351
SimonGuilloud:upgradeto351
October 4, 2024 10:13 5m 10s
Update project to scala version 3.5.1. Rewrite depreciated syntax. LISA CI #814: Pull request #227 synchronize by SimonGuilloud
October 3, 2024 14:50 5m 13s SimonGuilloud:upgradeto351
SimonGuilloud:upgradeto351
October 3, 2024 14:50 5m 13s
Update project to scala version 3.5.1. Rewrite depreciated syntax. LISA CI #813: Pull request #227 synchronize by SimonGuilloud
October 3, 2024 14:42 6m 22s SimonGuilloud:upgradeto351
SimonGuilloud:upgradeto351
October 3, 2024 14:42 6m 22s
Reseal Proof trait, upgrade to Scala 3.4.2 (#225) LISA CI #812: Commit e39f6f6 pushed by SimonGuilloud
October 3, 2024 14:41 5m 27s main
main
October 3, 2024 14:41 5m 27s
Update project to scala version 3.5.1. Rewrite depreciated syntax. LISA CI #811: Pull request #227 synchronize by SimonGuilloud
October 3, 2024 14:12 5m 15s SimonGuilloud:upgradeto351
SimonGuilloud:upgradeto351
October 3, 2024 14:12 5m 15s
Update project to scala version 3.5.1. Rewrite depreciated syntax. LISA CI #810: Pull request #227 opened by SimonGuilloud
October 3, 2024 14:11 5m 4s SimonGuilloud:upgradeto351
SimonGuilloud:upgradeto351
October 3, 2024 14:11 5m 4s
Reseal Proof trait, upgrade to Scala 3.4.2 LISA CI #809: Pull request #225 opened by sankalpgambhir
July 23, 2024 08:40 4m 58s sankalpgambhir:342-upgrade
sankalpgambhir:342-upgrade
July 23, 2024 08:40 4m 58s
Remove redundant given Library leading to compilation error under S… LISA CI #808: Commit 70367a6 pushed by sankalpgambhir
July 22, 2024 09:17 5m 3s main
main
July 22, 2024 09:17 5m 3s
Remove redundant given Library leading to compilation error under Scala 3.6 LISA CI #807: Pull request #224 opened by WojciechMazur
July 18, 2024 18:21 4m 54s WojciechMazur:fix/3.6
WojciechMazur:fix/3.6
July 18, 2024 18:21 4m 54s
Relativize and fix link to examples. LISA CI #806: Commit 9976621 pushed by sankalpgambhir
June 28, 2024 20:22 3m 25s itp2024-archive
itp2024-archive
June 28, 2024 20:22 3m 25s
Small fixes to tests and congruence LISA CI #805: Pull request #223 synchronize by SimonGuilloud
June 25, 2024 11:55 5m 10s SimonGuilloud:testfixes
SimonGuilloud:testfixes
June 25, 2024 11:55 5m 10s
Small fixes to tests and congruence LISA CI #804: Pull request #223 opened by SimonGuilloud
June 25, 2024 11:53 4m 52s SimonGuilloud:testfixes
SimonGuilloud:testfixes
June 25, 2024 11:53 4m 52s
Dependency and Scala Upgrades (#221) LISA CI #803: Commit 712da94 pushed by SimonGuilloud
June 18, 2024 11:39 4m 48s main
main
June 18, 2024 11:39 4m 48s
Extract definitions/theorems of functions, add Sigma and Pi LISA CI #802: Pull request #222 synchronize by shilangyu
April 29, 2024 15:06 5m 9s shilangyu:feat/functions-package
shilangyu:feat/functions-package
April 29, 2024 15:06 5m 9s