Skip to content

Actions: viktorcsimma/agda2hs

Actions

Nix CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-ci.yml
1 workflow run
1 workflow run

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

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