Skip to content

Actions: CakeML/pure

Actions

Binary

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
binary.yml
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Binary Binary #3: Manually run by hrutvik
January 2, 2024 12:12 1h 12m 14s esop24-inline-after-demands
esop24-inline-after-demands
January 2, 2024 12:12 1h 12m 14s
Binary Binary #2: Manually run by hrutvik
October 9, 2023 09:48 4h 36m 12s inlining-tests
inlining-tests
October 9, 2023 09:48 4h 36m 12s
Binary Binary #1: Manually run by hrutvik
September 17, 2023 08:54 4h 42m 56s inlining
inlining
September 17, 2023 08:54 4h 42m 56s