Skip to content

Actions: epfl-lara/stainless

Actions

Stainless Explicit fast-machines

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
stainless-explicit-fastmachines.yml
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Stainless Explicit fast-machines Stainless Explicit fast-machines #3: Manually run by vkuncak
December 6, 2024 20:38 25m 19s vk/fix-merge
vk/fix-merge
December 6, 2024 20:38 25m 19s
Ignore princess solver for LeanMergeSort Stainless Explicit fast-machines #2: Pull request #1613 opened by vkuncak
December 6, 2024 20:26 11m 30s vk/fix-merge
vk/fix-merge
December 6, 2024 20:26 11m 30s
Stainless Explicit fast-machines Stainless Explicit fast-machines #1: Manually run by vkuncak
December 6, 2024 19:49 24m 42s main
main
December 6, 2024 19:49 24m 42s