Skip to content

Actions: epfl-lara/stainless

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
302 workflow runs
302 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Stainless Nightly Stainless Nightly #113: Scheduled
December 14, 2024 01:33 1h 11m 47s main
main
December 14, 2024 01:33 1h 11m 47s
Update README.md: lecture for 2nd year course Stainless CI #184: Commit 88e4de5 pushed by vkuncak
December 13, 2024 21:40 33m 24s main
main
December 13, 2024 21:40 33m 24s
Remove Callback.failed (#1619) Stainless CI #183: Commit d1e4909 pushed by vkuncak
December 13, 2024 21:16 34m 4s main
main
December 13, 2024 21:16 34m 4s
Remove Callback.failed Stainless CI #182: Pull request #1619 synchronize by vkuncak
December 13, 2024 16:50 34m 54s mbovel:mb/remove-callback-failed
mbovel:mb/remove-callback-failed
December 13, 2024 16:50 34m 54s
POC: Make ensuring inline Stainless CI #181: Pull request #1624 synchronize by mbovel
December 13, 2024 12:57 4m 7s mbovel:mb/inline-static-checks
mbovel:mb/inline-static-checks
December 13, 2024 12:57 4m 7s
POC: Make ensuring inline Stainless CI #180: Pull request #1624 synchronize by mbovel
December 13, 2024 12:42 4m 9s mbovel:mb/inline-static-checks
mbovel:mb/inline-static-checks
December 13, 2024 12:42 4m 9s
Stainless Nightly Stainless Nightly #112: Scheduled
December 13, 2024 01:34 1h 15m 14s main
main
December 13, 2024 01:34 1h 15m 14s
POC: Make ensuring inline Stainless CI #179: Pull request #1624 opened by mbovel
December 12, 2024 18:17 4m 10s mbovel:mb/inline-static-checks
mbovel:mb/inline-static-checks
December 12, 2024 18:17 4m 10s
Stainless Nightly Stainless Nightly #111: Scheduled
December 12, 2024 01:34 1h 13m 38s main
main
December 12, 2024 01:34 1h 13m 38s
Update nightly to mirror ci (#1623) Stainless CI #178: Commit f341bcf pushed by vkuncak
December 11, 2024 19:18 34m 7s main
main
December 11, 2024 19:18 34m 7s
Remove Callback.failed Stainless CI #177: Pull request #1619 synchronize by mbovel
December 11, 2024 18:49 34m 17s mbovel:mb/remove-callback-failed
mbovel:mb/remove-callback-failed
December 11, 2024 18:49 34m 17s
Update nightly to mirror ci Stainless CI #176: Pull request #1623 opened by samuelchassot
December 11, 2024 17:50 36m 36s samuelchassot:sam/nightly
samuelchassot:sam/nightly
December 11, 2024 17:50 36m 36s
Stainless Nightly Stainless Nightly #110: Manually run by samuelchassot
December 11, 2024 17:46 4m 16s main
main
December 11, 2024 17:46 4m 16s
Add support for extracting from Tasty (#1606) Stainless CI #175: Commit b1b106f pushed by vkuncak
December 11, 2024 17:19 33m 18s main
main
December 11, 2024 17:19 33m 18s
Add support for extracting from Tasty Stainless CI #174: Pull request #1606 synchronize by mbovel
December 11, 2024 16:15 33m 8s mbovel:mb/separate-compilation
mbovel:mb/separate-compilation
December 11, 2024 16:15 33m 8s
Fix path issues in stainless-CI.yml and stainless-ci.sh (#1622) Stainless CI #173: Commit dae4288 pushed by vkuncak
December 11, 2024 16:11 56m 40s main
main
December 11, 2024 16:11 56m 40s
Add support for extracting from Tasty Stainless CI #172: Pull request #1606 synchronize by mbovel
December 11, 2024 14:59 33m 36s mbovel:mb/separate-compilation
mbovel:mb/separate-compilation
December 11, 2024 14:59 33m 36s
Add support for extracting from Tasty Stainless CI #171: Pull request #1606 synchronize by mbovel
December 11, 2024 14:58 31m 58s mbovel:mb/separate-compilation
mbovel:mb/separate-compilation
December 11, 2024 14:58 31m 58s
Add support for extracting from Tasty Stainless CI #170: Pull request #1606 synchronize by mbovel
December 11, 2024 14:48 33m 31s mbovel:mb/separate-compilation
mbovel:mb/separate-compilation
December 11, 2024 14:48 33m 31s
Debug CI Stainless CI #169: Pull request #1622 synchronize by samuelchassot
December 11, 2024 13:53 53m 57s sam/debugCI
sam/debugCI
December 11, 2024 13:53 53m 57s
Debug CI Stainless CI #168: Pull request #1622 synchronize by samuelchassot
December 11, 2024 13:53 1m 14s sam/debugCI
sam/debugCI
December 11, 2024 13:53 1m 14s
Debug CI Stainless CI #167: Pull request #1622 synchronize by samuelchassot
December 11, 2024 13:45 4m 38s sam/debugCI
sam/debugCI
December 11, 2024 13:45 4m 38s
Debug CI Stainless CI #166: Pull request #1622 synchronize by samuelchassot
December 11, 2024 13:42 2m 44s sam/debugCI
sam/debugCI
December 11, 2024 13:42 2m 44s
Debug CI Stainless CI #165: Pull request #1622 synchronize by samuelchassot
December 11, 2024 12:33 1m 4s sam/debugCI
sam/debugCI
December 11, 2024 12:33 1m 4s
Debug CI Stainless CI #164: Pull request #1622 synchronize by samuelchassot
December 11, 2024 10:06 58s sam/debugCI
sam/debugCI
December 11, 2024 10:06 58s