Skip to content

Actions: epfl-lara/stainless

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
395 workflow runs
395 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Stainless Nightly Stainless Nightly #176: Scheduled
February 15, 2025 01:32 1h 48m 29s main
main
February 15, 2025 01:32 1h 48m 29s
Stainless Nightly Stainless Nightly #175: Scheduled
February 14, 2025 01:33 1h 47m 45s main
main
February 14, 2025 01:33 1h 47m 45s
Adding check files for verification integration tests Stainless CI #220: Pull request #1641 opened by mario-bucev
February 13, 2025 14:39 35m 0s mario-bucev:more-checkfiled-tests
mario-bucev:more-checkfiled-tests
February 13, 2025 14:39 35m 0s
Stainless Nightly Stainless Nightly #174: Scheduled
February 13, 2025 01:33 1h 45m 27s main
main
February 13, 2025 01:33 1h 45m 27s
Stainless Nightly Stainless Nightly #173: Scheduled
February 12, 2025 01:33 1h 46m 56s main
main
February 12, 2025 01:33 1h 46m 56s
Stainless Nightly Stainless Nightly #172: Scheduled
February 11, 2025 01:33 1h 38m 20s main
main
February 11, 2025 01:33 1h 38m 20s
Fix GenC tail rec elimination for unit functions when body is not in Block Stainless CI #219: Pull request #1640 opened by zhekai-jiang
February 10, 2025 15:39 33m 14s KacperFKorban:genc-tailrec-fix
KacperFKorban:genc-tailrec-fix
February 10, 2025 15:39 33m 14s
Stainless Nightly Stainless Nightly #171: Scheduled
February 10, 2025 01:33 1h 47m 43s main
main
February 10, 2025 01:33 1h 47m 43s
Stainless Nightly Stainless Nightly #170: Scheduled
February 9, 2025 01:32 1h 50m 27s main
main
February 9, 2025 01:32 1h 50m 27s
Stainless Nightly Stainless Nightly #169: Scheduled
February 8, 2025 01:32 1h 49m 11s main
main
February 8, 2025 01:32 1h 49m 11s
Stainless Nightly Stainless Nightly #168: Scheduled
February 7, 2025 01:33 1h 45m 30s main
main
February 7, 2025 01:33 1h 45m 30s
Stainless Nightly Stainless Nightly #167: Scheduled
February 6, 2025 01:33 1h 45m 27s main
main
February 6, 2025 01:33 1h 45m 27s
Stainless Nightly Stainless Nightly #166: Scheduled
February 5, 2025 01:33 1h 47m 57s main
main
February 5, 2025 01:33 1h 47m 57s
Stainless Nightly Stainless Nightly #165: Scheduled
February 4, 2025 01:33 1h 46m 50s main
main
February 4, 2025 01:33 1h 46m 50s
Stainless Nightly Stainless Nightly #164: Scheduled
February 3, 2025 01:33 1h 47m 20s main
main
February 3, 2025 01:33 1h 47m 20s
Stainless Nightly Stainless Nightly #163: Scheduled
February 2, 2025 01:32 1h 47m 2s main
main
February 2, 2025 01:32 1h 47m 2s
Stainless Nightly Stainless Nightly #162: Scheduled
February 1, 2025 01:33 1h 47m 55s main
main
February 1, 2025 01:33 1h 47m 55s
Stainless Nightly Stainless Nightly #161: Scheduled
January 31, 2025 01:33 1h 47m 16s main
main
January 31, 2025 01:33 1h 47m 16s
Stainless Nightly Stainless Nightly #160: Scheduled
January 30, 2025 01:32 1h 48m 44s main
main
January 30, 2025 01:32 1h 48m 44s
Stainless Nightly Stainless Nightly #159: Scheduled
January 29, 2025 01:33 32m 55s main
main
January 29, 2025 01:33 32m 55s
Add a Snapcraft Build and Snap Install Instructions (#1639) Stainless CI #218: Commit 8fdc241 pushed by vkuncak
January 28, 2025 10:25 34m 7s main
main
January 28, 2025 10:25 34m 7s
Add a Snapcraft Build and Snap Install Instructions Stainless CI #217: Pull request #1639 synchronize by sankalpgambhir
January 28, 2025 09:14 34m 55s sankalpgambhir:sg/snap-build
sankalpgambhir:sg/snap-build
January 28, 2025 09:14 34m 55s
Add a Snapcraft Build and Snap Install Instructions Stainless CI #216: Pull request #1639 opened by sankalpgambhir
January 28, 2025 09:13 34m 54s sankalpgambhir:sg/snap-build
sankalpgambhir:sg/snap-build
January 28, 2025 09:13 34m 54s
Stainless Nightly Stainless Nightly #158: Scheduled
January 28, 2025 01:32 33m 55s main
main
January 28, 2025 01:32 33m 55s
Stainless Nightly Stainless Nightly #157: Scheduled
January 27, 2025 01:33 33m 11s main
main
January 27, 2025 01:33 33m 11s