Skip to content

Actions: epfl-lara/stainless

Actions

Stainless CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
stainless-CI.yml
183 workflow runs
183 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Ignore princess solver for LeanMergeSort Stainless CI #134: Pull request #1613 opened by vkuncak
December 6, 2024 20:26 4m 46s vk/fix-merge
vk/fix-merge
December 6, 2024 20:26 4m 46s
gh actions: separate explicit-fastmachines CI from unrestricted one Stainless CI #133: Commit da9e77d pushed by vkuncak
December 6, 2024 19:48 38m 35s main
main
December 6, 2024 19:48 38m 35s
We used a group, not label Stainless CI #132: Commit aff9922 pushed by vkuncak
December 6, 2024 19:38 10m 23s main
main
December 6, 2024 19:38 10m 23s
We used a group, not label Stainless CI #131: Commit bbc458d pushed by vkuncak
December 6, 2024 19:38 1s main
main
December 6, 2024 19:38 1s
Add Lean Sort, which produces sorted list but loses elements Stainless CI #130: Commit 9741b9c pushed by vkuncak
December 6, 2024 19:18 5m 58s main
main
December 6, 2024 19:18 5m 58s
Add support for extracting from Tasty Stainless CI #129: Pull request #1606 synchronize by mbovel
December 6, 2024 13:27 25m 53s mbovel:mb/separate-compilation
mbovel:mb/separate-compilation
December 6, 2024 13:27 25m 53s
bump inox (#1610) Stainless CI #128: Commit fdf67d4 pushed by samuelchassot
December 6, 2024 08:44 55m 59s main
main
December 6, 2024 08:44 55m 59s
Bump inox (map error failing silently by default) Stainless CI #127: Pull request #1610 synchronize by samuelchassot
December 5, 2024 15:38 25m 33s samuelchassot:sam/mapErrorCVC
samuelchassot:sam/mapErrorCVC
December 5, 2024 15:38 25m 33s
Bump inox (map error failing silently by default) Stainless CI #126: Pull request #1610 opened by samuelchassot
December 5, 2024 15:37 1m 36s samuelchassot:sam/mapErrorCVC
samuelchassot:sam/mapErrorCVC
December 5, 2024 15:37 1m 36s
run CI on draft, still failing one job to avoid merge Stainless CI #125: Commit dbc9392 pushed by samuelchassot
December 5, 2024 10:31 55m 38s main
main
December 5, 2024 10:31 55m 38s
Add support for extracting from Tasty Stainless CI #124: Pull request #1606 synchronize by samuelchassot
December 5, 2024 10:13 26m 22s mbovel:mb/separate-compilation
mbovel:mb/separate-compilation
December 5, 2024 10:13 26m 22s
add matt as trusted Stainless CI #123: Commit adc2f58 pushed by samuelchassot
December 5, 2024 10:11 54m 19s main
main
December 5, 2024 10:11 54m 19s
Add support for extracting from Tasty Stainless CI #122: Pull request #1606 opened by mbovel
December 5, 2024 00:17 17s mbovel:mb/separate-compilation
mbovel:mb/separate-compilation
December 5, 2024 00:17 17s
Change polarity of Set to Positive in TypeChecker (#1602) Stainless CI #121: Commit a03cd05 pushed by vkuncak
December 3, 2024 12:57 53m 27s main
main
December 3, 2024 12:57 53m 27s
Change polarity of Set to Positive in TypeChecker Stainless CI #120: Pull request #1602 synchronize by samuelchassot
December 3, 2024 08:54 53m 19s samuelchassot:sam/positiveSetPolarity
samuelchassot:sam/positiveSetPolarity
December 3, 2024 08:54 53m 19s
CI: setup-java@v3 -> setup-java@v4 Stainless CI #119: Commit 50fac15 pushed by vkuncak
November 24, 2024 16:21 54m 56s main
main
November 24, 2024 16:21 54m 56s
[Experiment] Disable the RefinementLifting phase Stainless CI #118: Pull request #1603 opened by mbovel
November 19, 2024 09:06 57m 30s mbovel:mb/disable-refinement-lifting
mbovel:mb/disable-refinement-lifting
November 19, 2024 09:06 57m 30s
Change polarity of Set to Positive in TypeChecker Stainless CI #117: Pull request #1602 synchronize by samuelchassot
November 13, 2024 15:28 53m 36s samuelchassot:sam/positiveSetPolarity
samuelchassot:sam/positiveSetPolarity
November 13, 2024 15:28 53m 36s
Change polarity of Set to Positive in TypeChecker Stainless CI #116: Pull request #1602 opened by samuelchassot
November 13, 2024 14:03 56m 19s samuelchassot:sam/positiveSetPolarity
samuelchassot:sam/positiveSetPolarity
November 13, 2024 14:03 56m 19s
Add ghost annotation to toList method of Set in library (#1601) Stainless CI #115: Commit 818eff8 pushed by samuelchassot
November 6, 2024 12:17 53m 47s main
main
November 6, 2024 12:17 53m 47s
Add ghost annotation to toList method of Set in library Stainless CI #114: Pull request #1601 synchronize by samuelchassot
November 5, 2024 13:19 52m 43s samuelchassot:sam/ghostToListSet
samuelchassot:sam/ghostToListSet
November 5, 2024 13:19 52m 43s
Add ghost annotation to toList method of Set in library Stainless CI #113: Pull request #1601 opened by samuelchassot
November 5, 2024 11:01 37m 55s samuelchassot:sam/ghostToListSet
samuelchassot:sam/ghostToListSet
November 5, 2024 11:01 37m 55s
Bumped compiler version to 3.5.2 and removed a patmat warning (#1599) Stainless CI #112: Commit e22e91a pushed by vkuncak
November 5, 2024 10:17 53m 32s main
main
November 5, 2024 10:17 53m 32s
Bumped compiler version to 3.5.2 and removed a patmat warning Stainless CI #111: Pull request #1599 synchronize by samuelchassot
November 5, 2024 07:25 53m 25s vk/scala3.5.2
vk/scala3.5.2
November 5, 2024 07:25 53m 25s
Bumped compiler version to 3.5.2 and removed a patmat warning Stainless CI #110: Pull request #1599 synchronize by vkuncak
November 4, 2024 21:27 50m 45s vk/scala3.5.2
vk/scala3.5.2
November 4, 2024 21:27 50m 45s