Skip to content

Actions: epfl-lara/stainless

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
355 workflow runs
355 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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
Tail recursion elimination for GenC (#1275) Stainless CI #189: Pull request #1626 synchronize by zhekai-jiang
January 5, 2025 16:06 Action required KacperFKorban:genc-tailrec
KacperFKorban:genc-tailrec
January 5, 2025 16:06 Action required
Tail recursion elimination for GenC (#1275) Stainless CI #188: Pull request #1626 synchronize by zhekai-jiang
January 5, 2025 14:53 Action required KacperFKorban:genc-tailrec
KacperFKorban:genc-tailrec
January 5, 2025 14:53 Action required
Tail recursion elimination for GenC (#1275) Stainless CI #187: Pull request #1626 synchronize by zhekai-jiang
January 5, 2025 14:50 Action required KacperFKorban:genc-tailrec
KacperFKorban:genc-tailrec
January 5, 2025 14:50 Action required
Tail recursion elimination for GenC (#1275) Stainless CI #186: Pull request #1626 synchronize by zhekai-jiang
January 5, 2025 14:49 Action required KacperFKorban:genc-tailrec
KacperFKorban:genc-tailrec
January 5, 2025 14:49 Action required
Tail recursion elimination for GenC (#1275) Stainless CI #185: Pull request #1626 opened by zhekai-jiang
January 5, 2025 14:45 Action required KacperFKorban:genc-tailrec
KacperFKorban:genc-tailrec
January 5, 2025 14:45 Action required
Stainless Nightly Stainless Nightly #135: Scheduled
January 5, 2025 01:33 1h 12m 7s main
main
January 5, 2025 01:33 1h 12m 7s
Stainless Nightly Stainless Nightly #134: Scheduled
January 4, 2025 01:32 1h 13m 32s main
main
January 4, 2025 01:32 1h 13m 32s
Stainless Nightly Stainless Nightly #133: Scheduled
January 3, 2025 01:33 1h 13m 28s main
main
January 3, 2025 01:33 1h 13m 28s
Stainless Nightly Stainless Nightly #132: Scheduled
January 2, 2025 01:33 1h 11m 57s main
main
January 2, 2025 01:33 1h 11m 57s
Stainless Nightly Stainless Nightly #131: Scheduled
January 1, 2025 01:33 1h 11m 21s main
main
January 1, 2025 01:33 1h 11m 21s
Stainless Nightly Stainless Nightly #130: Scheduled
December 31, 2024 01:33 1h 13m 3s main
main
December 31, 2024 01:33 1h 13m 3s
Stainless Nightly Stainless Nightly #129: Scheduled
December 30, 2024 01:33 1h 12m 38s main
main
December 30, 2024 01:33 1h 12m 38s
Stainless Nightly Stainless Nightly #128: Scheduled
December 29, 2024 01:33 1h 12m 13s main
main
December 29, 2024 01:33 1h 12m 13s
Stainless Nightly Stainless Nightly #127: Scheduled
December 28, 2024 01:32 1h 11m 43s main
main
December 28, 2024 01:32 1h 11m 43s
Stainless Nightly Stainless Nightly #126: Scheduled
December 27, 2024 01:33 1h 11m 20s main
main
December 27, 2024 01:33 1h 11m 20s
Stainless Nightly Stainless Nightly #125: Scheduled
December 26, 2024 01:33 1h 11m 31s main
main
December 26, 2024 01:33 1h 11m 31s
Stainless Nightly Stainless Nightly #124: Scheduled
December 25, 2024 01:33 1h 12m 12s main
main
December 25, 2024 01:33 1h 12m 12s
Stainless Nightly Stainless Nightly #123: Scheduled
December 24, 2024 01:33 1h 12m 23s main
main
December 24, 2024 01:33 1h 12m 23s
Stainless Nightly Stainless Nightly #122: Scheduled
December 23, 2024 01:33 1h 12m 1s main
main
December 23, 2024 01:33 1h 12m 1s
Stainless Nightly Stainless Nightly #121: Scheduled
December 22, 2024 01:33 1h 12m 30s main
main
December 22, 2024 01:33 1h 12m 30s
Stainless Nightly Stainless Nightly #120: Scheduled
December 21, 2024 01:33 1h 12m 32s main
main
December 21, 2024 01:33 1h 12m 32s
Stainless Nightly Stainless Nightly #119: Scheduled
December 20, 2024 01:33 1h 12m 11s main
main
December 20, 2024 01:33 1h 12m 11s
Stainless Nightly Stainless Nightly #118: Scheduled
December 19, 2024 01:33 1h 14m 9s main
main
December 19, 2024 01:33 1h 14m 9s
Stainless Nightly Stainless Nightly #117: Scheduled
December 18, 2024 01:33 3m 41s main
main
December 18, 2024 01:33 3m 41s