Skip to content

Actions: viktorcsimma/agda2hs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Removing duplicated information about Emacs mode CI #1: Commit 7b3e48a pushed by viktorcsimma
April 29, 2024 10:28 18m 22s master
master
April 29, 2024 10:28 18m 22s
Removing duplicated information about Emacs mode Nix CI #1: Commit 7b3e48a pushed by viktorcsimma
April 29, 2024 10:28 1m 40s master
master
April 29, 2024 10:28 1m 40s
Removing duplicated information about Emacs mode Docs #1: Commit 7b3e48a pushed by viktorcsimma
April 29, 2024 10:28 31s master
master
April 29, 2024 10:28 31s