Skip to content

Actions: plclub/lngen

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
5 workflow runs
5 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

use Data.List.NonEmpty to avoid head build #5: Commit c034c8d pushed by sweirich
October 22, 2024 14:00 2m 24s master
master
October 22, 2024 14:00 2m 24s
Merge pull request #10 from plclub/yesclose build #4: Commit b686b99 pushed by sweirich
October 22, 2024 13:21 2m 20s master
master
October 22, 2024 13:21 2m 20s
Put back generating close definitions build #3: Pull request #10 opened by ionathanch
October 18, 2024 20:04 2m 25s yesclose
yesclose
October 18, 2024 20:04 2m 25s
Fix ott link in README build #2: Pull request #9 opened by slanterns
April 6, 2024 02:29 3m 16s slanterns:patch-1
slanterns:patch-1
April 6, 2024 02:29 3m 16s
Merge pull request #8 from liyishuai/ci build #1: Commit 67b9acc pushed by sweirich
November 28, 2023 13:46 2m 20s master
master
November 28, 2023 13:46 2m 20s