Skip to content

Actions: epfl-lara/stainless

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
317 workflow runs
317 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add flatMap to the set class in the library Stainless CI #75: Pull request #1588 opened by samuelchassot
October 11, 2024 13:57 1m 4s samuelchassot:sam/set
samuelchassot:sam/set
October 11, 2024 13:57 1m 4s
Stainless Nightly Stainless Nightly #40: Scheduled
October 11, 2024 01:33 1h 17m 43s main
main
October 11, 2024 01:33 1h 17m 43s
Update inox Stainless CI #74: Pull request #1587 synchronize by samuelchassot
October 10, 2024 15:24 51m 59s samuelchassot:sam/updateInox
samuelchassot:sam/updateInox
October 10, 2024 15:24 51m 59s
Update inox Stainless CI #73: Pull request #1587 synchronize by samuelchassot
October 10, 2024 15:23 3m 47s samuelchassot:sam/updateInox
samuelchassot:sam/updateInox
October 10, 2024 15:23 3m 47s
Update inox Stainless CI #72: Pull request #1587 opened by samuelchassot
October 10, 2024 14:44 1m 27s samuelchassot:sam/updateInox
samuelchassot:sam/updateInox
October 10, 2024 14:44 1m 27s
Revert "add a temp folder for nightly too" Stainless CI #71: Commit fbdd54b pushed by samuelchassot
October 10, 2024 14:12 49m 11s main
main
October 10, 2024 14:12 49m 11s
Stainless Nightly Stainless Nightly #39: Manually run by samuelchassot
October 10, 2024 13:46 3m 4s main
main
October 10, 2024 13:46 3m 4s
add a temp folder for nightly too Stainless CI #70: Commit 175df63 pushed by samuelchassot
October 10, 2024 13:46 50m 51s main
main
October 10, 2024 13:46 50m 51s
Stainless CI Stainless CI #69: Manually run by samuelchassot
October 10, 2024 08:13 49m 26s main
main
October 10, 2024 08:13 49m 26s
Stainless CI Stainless CI #68: Manually run by samuelchassot
October 10, 2024 08:13 3m 44s main
main
October 10, 2024 08:13 3m 44s
Stainless CI Stainless CI #67: Manually run by samuelchassot
October 10, 2024 08:13 4m 13s main
main
October 10, 2024 08:13 4m 13s
Stainless CI Stainless CI #66: Manually run by samuelchassot
October 10, 2024 08:13 4m 13s main
main
October 10, 2024 08:13 4m 13s
Stainless CI Stainless CI #65: Manually run by samuelchassot
October 10, 2024 08:12 4m 17s main
main
October 10, 2024 08:12 4m 17s
Stainless Nightly Stainless Nightly #38: Scheduled
October 10, 2024 01:33 1h 17m 23s main
main
October 10, 2024 01:33 1h 17m 23s
add a temp folder for CI jvm (#1586) Stainless CI #64: Commit 7613719 pushed by samuelchassot
October 9, 2024 11:44 49m 19s main
main
October 9, 2024 11:44 49m 19s
Stainless Nightly Stainless Nightly #37: Manually run by samuelchassot
October 9, 2024 10:15 1h 15m 28s sam/ci_tmp_folder
sam/ci_tmp_folder
October 9, 2024 10:15 1h 15m 28s
Add a temp folder for CI JVM Stainless CI #63: Pull request #1586 opened by samuelchassot
October 9, 2024 10:13 52m 49s samuelchassot:sam/ci_tmp_folder
samuelchassot:sam/ci_tmp_folder
October 9, 2024 10:13 52m 49s
test sbt plugin again Stainless CI #62: Commit 1187551 pushed by samuelchassot
October 9, 2024 09:12 50m 36s main
main
October 9, 2024 09:12 50m 36s
Stainless CI Stainless CI #61: Manually run by samuelchassot
October 9, 2024 09:09 3m 28s main
main
October 9, 2024 09:09 3m 28s
Stainless CI Stainless CI #60: Manually run by samuelchassot
October 9, 2024 09:09 3m 28s main
main
October 9, 2024 09:09 3m 28s
Stainless Nightly Stainless Nightly #36: Manually run by samuelchassot
October 9, 2024 08:11 1h 15m 53s main
main
October 9, 2024 08:11 1h 15m 53s
add possibility to run the CI manually Stainless CI #59: Commit 8160aa3 pushed by samuelchassot
October 9, 2024 08:10 50m 52s main
main
October 9, 2024 08:10 50m 52s
remove socket folder (#1585) Stainless CI #58: Commit 3e44570 pushed by samuelchassot
October 9, 2024 08:05 6m 14s main
main
October 9, 2024 08:05 6m 14s
Fix CI Stainless CI #57: Pull request #1585 opened by samuelchassot
October 9, 2024 07:08 49m 2s samuelchassot:sam/fix_ci
samuelchassot:sam/fix_ci
October 9, 2024 07:08 49m 2s
unset java_opts variable to run bolts tests (#1583) Stainless CI #56: Commit 34593af pushed by samuelchassot
October 9, 2024 06:42 22m 55s main
main
October 9, 2024 06:42 22m 55s