Skip to content

Actions: math-comp/finmap

Actions

Nix CI for bundle 8.16

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-8.16.yml
7 workflow runs
7 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add lemmas about imfset Nix CI for bundle 8.16 #7: Pull request #112 synchronize by ana-borges
May 29, 2024 13:17 2m 16s
May 29, 2024 13:17 2m 16s
Add lemmas about imfset Nix CI for bundle 8.16 #6: Pull request #112 opened by ana-borges
May 29, 2024 13:06 2m 57s
May 29, 2024 13:06 2m 57s
Merge pull request #111 from proux01/coq819 Nix CI for bundle 8.16 #5: Commit a907a9e pushed by thery
January 17, 2024 13:39 18m 57s master
master
January 17, 2024 13:39 18m 57s
[CI] Add Coq 8.19 Nix CI for bundle 8.16 #4: Pull request #111 synchronize by proux01
January 17, 2024 13:09 18m 40s proux01:coq819
proux01:coq819
January 17, 2024 13:09 18m 40s
[CI] Add Coq 8.19 Nix CI for bundle 8.16 #3: Pull request #111 synchronize by proux01
January 17, 2024 12:43 20m 18s proux01:coq819
proux01:coq819
January 17, 2024 12:43 20m 18s
[CI] Add Coq 8.19 Nix CI for bundle 8.16 #2: Pull request #111 synchronize by proux01
January 17, 2024 12:31 17m 5s proux01:coq819
proux01:coq819
January 17, 2024 12:31 17m 5s
[CI] Add Coq 8.19 Nix CI for bundle 8.16 #1: Pull request #111 opened by proux01
January 17, 2024 12:23 2m 58s proux01:coq819
proux01:coq819
January 17, 2024 12:23 2m 58s