Skip to content

Actions: diku-dk/futhark-mode

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Do we need this? CI #27: Commit def550d pushed by athas
September 23, 2024 10:55 31s master
master
September 23, 2024 10:55 31s
Like so. CI #26: Commit 8215ae8 pushed by athas
September 23, 2024 10:55 13s master
master
September 23, 2024 10:55 13s
Fix docstring quoting. CI #25: Commit 2020883 pushed by athas
September 23, 2024 10:33 18s master
master
September 23, 2024 10:33 18s
Oops, like this. CI #24: Commit 98f9e7e pushed by athas
April 3, 2024 11:43 25s master
master
April 3, 2024 11:43 25s
Numbers in names are not numbers. CI #23: Commit ab19d68 pushed by athas
April 3, 2024 11:38 29s master
master
April 3, 2024 11:38 29s
Allow underscores in numeric literals. CI #22: Commit ebc4a5c pushed by athas
April 2, 2024 15:40 24s master
master
April 2, 2024 15:40 24s