Skip to content

Actions: anmonteiro/angstrom

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4 workflow runs
4 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Update to Dune 3.0 and fix pinned -> dev for dune subst build #4: Commit 78de4bb pushed by anmonteiro
November 22, 2023 21:45 8m 4s fork
fork
November 22, 2023 21:45 8m 4s
Update to Dune 3.0 and fix pinned -> dev for dune subst build #3: Commit 1ca889c pushed by anmonteiro
July 11, 2023 03:13 11m 59s fork
fork
July 11, 2023 03:13 11m 59s
Merge pull request #218 from kencole/master build #2: Commit 5536d1d pushed by anmonteiro
July 11, 2023 03:02 13m 35s fork
fork
July 11, 2023 03:02 13m 35s
Merge pull request #218 from kencole/master build #1: Commit 5536d1d pushed by anmonteiro
July 11, 2023 03:02 12m 44s master
master
July 11, 2023 03:02 12m 44s