Skip to content

Actions: epfl-lara/stainless

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
354 workflow runs
354 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Stainless Nightly Stainless Nightly #146: Manually run by samuelchassot
January 16, 2025 09:11 1h 48m 3s main
main
January 16, 2025 09:11 1h 48m 3s
Stainless Nightly Stainless Nightly #145: Scheduled
January 16, 2025 01:32 1h 35m 14s main
main
January 16, 2025 01:32 1h 35m 14s
Stainless Nightly Stainless Nightly #144: Scheduled
January 15, 2025 01:32 1h 11m 58s main
main
January 15, 2025 01:32 1h 11m 58s
Update inox (#1632) Stainless CI #203: Commit 0dde875 pushed by vkuncak
January 14, 2025 19:06 35m 45s main
main
January 14, 2025 19:06 35m 45s
Update inox Stainless CI #202: Pull request #1632 synchronize by samuelchassot
January 14, 2025 14:53 35m 31s samuelchassot:sam/inoxUpdate
samuelchassot:sam/inoxUpdate
January 14, 2025 14:53 35m 31s
Stainless Nightly Stainless Nightly #143: Scheduled
January 14, 2025 01:32 1h 12m 19s main
main
January 14, 2025 01:32 1h 12m 19s
Stainless Nightly Stainless Nightly #142: Scheduled
January 13, 2025 01:33 1h 11m 51s main
main
January 13, 2025 01:33 1h 11m 51s
Stainless Nightly Stainless Nightly #141: Scheduled
January 12, 2025 01:33 1h 11m 24s main
main
January 12, 2025 01:33 1h 11m 24s
Stainless Nightly Stainless Nightly #140: Scheduled
January 11, 2025 01:33 1h 15m 27s main
main
January 11, 2025 01:33 1h 15m 27s
Tail recursion elimination for GenC (#1275) (#1626) Stainless CI #201: Commit 233cdcd pushed by vkuncak
January 10, 2025 17:53 33m 56s main
main
January 10, 2025 17:53 33m 56s
Tail recursion elimination for GenC (#1275) Stainless CI #200: Pull request #1626 synchronize by vkuncak
January 10, 2025 14:17 35m 34s KacperFKorban:genc-tailrec
KacperFKorban:genc-tailrec
January 10, 2025 14:17 35m 34s
Add support for pattern alternatives (#1627) Stainless CI #199: Commit c92fee2 pushed by vkuncak
January 10, 2025 13:48 35m 28s main
main
January 10, 2025 13:48 35m 28s
Tail recursion elimination for GenC (#1275) Stainless CI #198: Pull request #1626 synchronize by samuelchassot
January 10, 2025 09:42 36m 6s KacperFKorban:genc-tailrec
KacperFKorban:genc-tailrec
January 10, 2025 09:42 36m 6s
Add support for pattern alternatives Stainless CI #197: Pull request #1627 synchronize by samuelchassot
January 10, 2025 09:41 35m 20s SidonieBouthors:better-pattern-alternative
SidonieBouthors:better-pattern-alternative
January 10, 2025 09:41 35m 20s
Ignore recently failing Princess tests (#1629) Stainless CI #196: Commit 8060b33 pushed by samuelchassot
January 10, 2025 09:40 36m 18s main
main
January 10, 2025 09:40 36m 18s
Ignore recently failing Princess tests Stainless CI #195: Pull request #1629 opened by sankalpgambhir
January 10, 2025 08:15 33m 54s sankalpgambhir:sg/ignore-princess-tests
sankalpgambhir:sg/ignore-princess-tests
January 10, 2025 08:15 33m 54s
Stainless Nightly Stainless Nightly #139: Scheduled
January 10, 2025 01:33 1h 13m 14s main
main
January 10, 2025 01:33 1h 13m 14s
Stainless CI Stainless CI #194: Manually run by samuelchassot
January 9, 2025 15:30 36m 9s main
main
January 9, 2025 15:30 36m 9s
Tail recursion elimination for GenC (#1275) Stainless CI #193: Pull request #1626 synchronize by zhekai-jiang
January 8, 2025 15:44 30m 20s KacperFKorban:genc-tailrec
KacperFKorban:genc-tailrec
January 8, 2025 15:44 30m 20s
Stainless Nightly Stainless Nightly #138: Scheduled
January 8, 2025 01:33 1h 12m 47s main
main
January 8, 2025 01:33 1h 12m 47s
Stainless Nightly Stainless Nightly #137: Scheduled
January 7, 2025 01:33 1h 13m 16s main
main
January 7, 2025 01:33 1h 13m 16s
Tail recursion elimination for GenC (#1275) Stainless CI #192: Pull request #1626 synchronize by vkuncak
January 6, 2025 10:11 30m 29s KacperFKorban:genc-tailrec
KacperFKorban:genc-tailrec
January 6, 2025 10:11 30m 29s
Add opaque types for Double and Float Stainless CI #191: Pull request #1413 synchronize by samuelchassot
January 6, 2025 07:41 32m 25s mario-bucev:fp-bits
mario-bucev:fp-bits
January 6, 2025 07:41 32m 25s
Stainless Nightly Stainless Nightly #136: Scheduled
January 6, 2025 01:33 1h 12m 7s main
main
January 6, 2025 01:33 1h 12m 7s
Add support for pattern alternatives Stainless CI #190: Pull request #1627 opened by SidonieBouthors
January 5, 2025 21:25 31m 39s SidonieBouthors:better-pattern-alternative
SidonieBouthors:better-pattern-alternative
January 5, 2025 21:25 31m 39s