Skip to content

Actions: mkerjean/analysis

Actions

Nix CI for bundle 8.20

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-8.20.yml
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

bipointed and paths (#1400) Nix CI for bundle 8.20 #3: Commit 71b1296 pushed by mkerjean
November 21, 2024 14:58 4m 18s master
master
November 21, 2024 14:58 4m 18s
Wedge fun (#1398) Nix CI for bundle 8.20 #2: Commit 97d0779 pushed by mkerjean
November 18, 2024 08:54 16m 6s master
master
November 18, 2024 08:54 16m 6s
[CI] Remove ssprove that is currently broken Nix CI for bundle 8.20 #1: Commit a413c3f pushed by mkerjean
October 14, 2024 12:20 12m 43s master
master
October 14, 2024 12:20 12m 43s