Skip to content

Actions: forked-from-1kasper/anders

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4 workflow runs
4 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
some clarification opam #147: Commit ed1747b pushed by forked-from-1kasper
October 23, 2023 16:26 8m 8s master
master
October 23, 2023 16:26 8m 8s
at least it works opam #146: Commit f8f56ba pushed by forked-from-1kasper
October 23, 2023 16:21 7m 18s master
master
October 23, 2023 16:21 7m 18s
some lemmas opam #145: Commit 5d22b8b pushed by forked-from-1kasper
October 23, 2023 14:16 7m 44s master
master
October 23, 2023 14:16 7m 44s
remove this old artifact opam #144: Commit ec92458 pushed by forked-from-1kasper
June 16, 2023 10:04 6m 39s master
master
June 16, 2023 10:04 6m 39s