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

refman is the directory for manul. Style changes and small fixes. LISA CI #722: Pull request #202 synchronize by vkuncak
December 28, 2023 20:27 4m 8s refman
refman
December 28, 2023 20:27 4m 8s
Formatted kernel proof system to fit pages LISA CI #721: Commit a2f1066 pushed by vkuncak
December 28, 2023 20:27 4m 12s refman
refman
December 28, 2023 20:27 4m 12s
refman is the directory for manul. Style changes and small fixes. LISA CI #720: Pull request #202 synchronize by vkuncak
December 28, 2023 18:57 4m 13s refman
refman
December 28, 2023 18:57 4m 13s
LISA becomes Lisa LISA CI #719: Commit 6b03d5e pushed by vkuncak
December 28, 2023 18:57 4m 6s refman
refman
December 28, 2023 18:57 4m 6s
refman is the directory for manul. Style changes and small fixes. LISA CI #718: Pull request #202 synchronize by vkuncak
December 28, 2023 18:47 4m 10s refman
refman
December 28, 2023 18:47 4m 10s
Format changes (b5, small margin) to reference manual LISA CI #717: Commit 7c50c57 pushed by vkuncak
December 28, 2023 18:47 4m 19s refman
refman
December 28, 2023 18:47 4m 19s
refman is the directory for manul. Style changes and small fixes. LISA CI #716: Pull request #202 opened by vkuncak
December 28, 2023 17:21 4m 6s refman
refman
December 28, 2023 17:21 4m 6s
refman is the directory for manul. It has a Makefile LISA CI #715: Commit 84fc1ed pushed by vkuncak
December 28, 2023 17:21 4m 6s refman
refman
December 28, 2023 17:21 4m 6s
JDK LISA CI #714: Commit c627e44 pushed by vkuncak
December 28, 2023 17:19 4m 14s refman
refman
December 28, 2023 17:19 4m 14s
JDK LISA CI #713: Commit c627e44 pushed by vkuncak
December 28, 2023 17:11 4m 5s main
main
December 28, 2023 17:11 4m 5s
Jdk17 LISA CI #712: Pull request #201 opened by vkuncak
December 28, 2023 17:04 4m 15s jdk17
jdk17
December 28, 2023 17:04 4m 15s
JDK LISA CI #711: Commit dc2c6de pushed by vkuncak
December 28, 2023 17:03 4m 4s jdk17
jdk17
December 28, 2023 17:03 4m 4s
Move to JDK 21 in GitHub CI LISA CI #710: Pull request #200 synchronize by vkuncak
December 28, 2023 16:59 4m 13s jdk21
jdk21
December 28, 2023 16:59 4m 13s
JDK LISA CI #709: Commit dc2c6de pushed by vkuncak
December 28, 2023 16:59 4m 24s jdk21
jdk21
December 28, 2023 16:59 4m 24s
Move to JDK 21 in GitHub CI LISA CI #708: Pull request #200 synchronize by vkuncak
December 28, 2023 16:57 35s jdk21
jdk21
December 28, 2023 16:57 35s
JDK 17 LISA CI #707: Commit d1245a1 pushed by vkuncak
December 28, 2023 16:57 34s jdk21
jdk21
December 28, 2023 16:57 34s
Move to JDK 21 in GitHub CI LISA CI #706: Pull request #200 opened by vkuncak
December 28, 2023 16:47 35s jdk21
jdk21
December 28, 2023 16:47 35s
Move to JDK 21 in GitHub CI LISA CI #705: Commit 59ea296 pushed by vkuncak
December 28, 2023 16:47 34s jdk21
jdk21
December 28, 2023 16:47 34s
Fix small typos LISA CI #704: Commit 8ba8502 pushed by vkuncak
December 28, 2023 16:46 3m 58s jdk21
jdk21
December 28, 2023 16:46 3m 58s
Fix small typos LISA CI #703: Commit 8ba8502 pushed by vkuncak
December 28, 2023 16:34 3m 59s main
main
December 28, 2023 16:34 3m 59s
Fix small typos in reference manual LISA CI #702: Pull request #192 synchronize by vkuncak
December 28, 2023 16:28 3m 46s EugeneFlesselle:main
EugeneFlesselle:main
December 28, 2023 16:28 3m 46s
Introduce local definitions and comprehensions (#199) LISA CI #701: Commit a978b46 pushed by SimonGuilloud
December 20, 2023 18:08 4m 0s main
main
December 20, 2023 18:08 4m 0s
Introduce local definitions and comprehensions LISA CI #700: Pull request #199 synchronize by SimonGuilloud
December 19, 2023 17:15 4m 38s SimonGuilloud:localdefs
SimonGuilloud:localdefs
December 19, 2023 17:15 4m 38s
Introduce local definitions and comprehensions LISA CI #699: Pull request #199 opened by SimonGuilloud
December 19, 2023 17:14 3m 48s SimonGuilloud:localdefs
SimonGuilloud:localdefs
December 19, 2023 17:14 3m 48s
changes to make a small not entirely self-contained jar with assembly LISA CI #698: Commit 257cc65 pushed by vkuncak
December 11, 2023 17:27 3m 51s vk/smalljar
vk/smalljar
December 11, 2023 17:27 3m 51s