Skip to content

Actions: epfl-lara/stainless

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
377 workflow runs
377 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add release 0.9.9.0 heading (#1615) Stainless CI #141: Commit f1fcea3 pushed by samuelchassot
December 9, 2024 13:23 50m 36s main
main
December 9, 2024 13:23 50m 36s
Add release 0.9.9.0 heading Stainless CI #140: Pull request #1615 opened by mbovel
December 9, 2024 13:23 52m 52s mbovel:mb/heading_0.9.9.0
mbovel:mb/heading_0.9.9.0
December 9, 2024 13:23 52m 52s
Stainless Nightly Stainless Nightly #106: Scheduled
December 9, 2024 01:34 1h 18m 12s main
main
December 9, 2024 01:34 1h 18m 12s
Release notes (#1614) Stainless CI #139: Commit 2b3d9c0 pushed by vkuncak
December 8, 2024 11:10 52m 52s main
main
December 8, 2024 11:10 52m 52s
Stainless Nightly Stainless Nightly #105: Scheduled
December 8, 2024 01:33 1h 18m 49s main
main
December 8, 2024 01:33 1h 18m 49s
Fix stainless-cli. Put some release notes Stainless CI #138: Pull request #1614 opened by vkuncak
December 7, 2024 21:08 53m 36s vk/stainless-cli
vk/stainless-cli
December 7, 2024 21:08 53m 36s
Stainless Nightly Stainless Nightly #104: Scheduled
December 7, 2024 01:33 1h 17m 44s main
main
December 7, 2024 01:33 1h 17m 44s
Add support for extracting from Tasty Stainless CI #137: Pull request #1606 synchronize by vkuncak
December 6, 2024 21:55 2m 14s mbovel:mb/separate-compilation
mbovel:mb/separate-compilation
December 6, 2024 21:55 2m 14s
Ignore princess solver for LeanMergeSort (#1613) Stainless CI #136: Commit 74679f8 pushed by vkuncak
December 6, 2024 21:10 54m 49s main
main
December 6, 2024 21:10 54m 49s
Stainless Explicit fast-machines Stainless Explicit fast-machines #3: Manually run by vkuncak
December 6, 2024 20:38 25m 19s vk/fix-merge
vk/fix-merge
December 6, 2024 20:38 25m 19s
Ignore princess solver for LeanMergeSort Stainless CI #135: Pull request #1613 synchronize by vkuncak
December 6, 2024 20:34 1m 8s vk/fix-merge
vk/fix-merge
December 6, 2024 20:34 1m 8s
Ignore princess solver for LeanMergeSort Stainless Explicit fast-machines #2: Pull request #1613 opened by vkuncak
December 6, 2024 20:26 11m 30s vk/fix-merge
vk/fix-merge
December 6, 2024 20:26 11m 30s
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
Stainless Explicit fast-machines Stainless Explicit fast-machines #1: Manually run by vkuncak
December 6, 2024 19:49 24m 42s main
main
December 6, 2024 19:49 24m 42s
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
Stainless Nightly Stainless Nightly #103: Manually run by mbovel
December 6, 2024 15:33 30m 50s mb/separate-compilation
mb/separate-compilation
December 6, 2024 15:33 30m 50s
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
Stainless Nightly Stainless Nightly #102: Scheduled
December 6, 2024 01:33 1h 17m 39s main
main
December 6, 2024 01:33 1h 17m 39s
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