Skip to content

Actions: coq/stdlib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
185 workflow run results
185 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[CI] Add a job to check for duplicate files Basic checks #4: Commit 350678e pushed by proux01
July 31, 2024 09:40 13s master
master
July 31, 2024 09:40 13s
WIP less Basic checks #3: Commit 4b0d16d pushed by proux01
July 30, 2024 15:29 14s master
master
July 30, 2024 15:29 14s
WIP less Nix CI for bundle coq-master #90: Commit 4b0d16d pushed by proux01
July 30, 2024 15:29 5m 57s master
master
July 30, 2024 15:29 5m 57s
WIP less Nix CI for bundle coq-master #89: Commit 785be8e pushed by proux01
July 30, 2024 15:27 1m 17s master
master
July 30, 2024 15:27 1m 17s
WIP less Basic checks #2: Commit 785be8e pushed by proux01
July 30, 2024 15:27 9s master
master
July 30, 2024 15:27 9s
WIP less Basic checks #1: Commit bca2ad8 pushed by proux01
July 30, 2024 15:26 10s master
master
July 30, 2024 15:26 10s
WIP less Nix CI for bundle coq-master #88: Commit bca2ad8 pushed by proux01
July 30, 2024 15:26 55s master
master
July 30, 2024 15:26 55s
[CI] Add a job to check the subcomponent structure Nix CI for bundle coq-master #87: Commit 76cf9cc pushed by proux01
July 30, 2024 14:00 57m 7s master
master
July 30, 2024 14:00 57m 7s
WIP less Nix CI for bundle coq-master #86: Commit 10a712c pushed by proux01
July 30, 2024 13:43 5m 10s master
master
July 30, 2024 13:43 5m 10s
WIP less Nix CI for bundle coq-master #85: Commit 07b3f78 pushed by proux01
July 30, 2024 12:52 22m 36s master
master
July 30, 2024 12:52 22m 36s
WIP less Nix CI for bundle coq-master #84: Commit 310d7ca pushed by proux01
July 30, 2024 12:13 23m 0s master
master
July 30, 2024 12:13 23m 0s
WIP less Nix CI for bundle coq-master #83: Commit 83c4fe3 pushed by proux01
July 30, 2024 11:43 21m 2s master
master
July 30, 2024 11:43 21m 2s
WIP less Nix CI for bundle coq-master #82: Commit e1b781e pushed by proux01
July 30, 2024 11:36 1m 12s master
master
July 30, 2024 11:36 1m 12s
WIP less Nix CI for bundle coq-master #81: Commit 6ce03ba pushed by proux01
July 30, 2024 11:10 22m 43s master
master
July 30, 2024 11:10 22m 43s
WIP less Nix CI for bundle coq-master #80: Commit 9914491 pushed by proux01
July 30, 2024 10:36 30m 18s master
master
July 30, 2024 10:36 30m 18s
WIP less Nix CI for bundle coq-master #79: Commit ddd55a4 pushed by proux01
July 30, 2024 09:56 32m 56s master
master
July 30, 2024 09:56 32m 56s
WIP less Nix CI for bundle coq-master #78: Commit b707748 pushed by proux01
July 30, 2024 09:41 12m 15s master
master
July 30, 2024 09:41 12m 15s
WIP less Nix CI for bundle coq-master #77: Commit 9b41f00 pushed by proux01
July 30, 2024 09:25 12m 16s master
master
July 30, 2024 09:25 12m 16s
WIP less Nix CI for bundle coq-master #76: Commit c0db57d pushed by proux01
July 30, 2024 09:08 14m 3s master
master
July 30, 2024 09:08 14m 3s
WIP less Nix CI for bundle coq-master #75: Commit fadccc9 pushed by proux01
July 30, 2024 08:54 9m 16s master
master
July 30, 2024 08:54 9m 16s
WIP less Nix CI for bundle coq-master #74: Commit f845829 pushed by proux01
July 30, 2024 08:30 11m 29s master
master
July 30, 2024 08:30 11m 29s
WIP less Nix CI for bundle coq-master #73: Commit 05035c8 pushed by proux01
July 29, 2024 21:39 1h 33m 6s master
master
July 29, 2024 21:39 1h 33m 6s
WIP less Nix CI for bundle coq-master #72: Commit 3ee3da0 pushed by proux01
July 29, 2024 19:09 1h 11m 36s master
master
July 29, 2024 19:09 1h 11m 36s
WIP less Nix CI for bundle coq-master #71: Commit 1ddf227 pushed by proux01
July 29, 2024 13:59 2h 7m 17s master
master
July 29, 2024 13:59 2h 7m 17s
WIP less Nix CI for bundle coq-master #70: Commit 983ce38 pushed by proux01
July 29, 2024 13:15 34m 13s master
master
July 29, 2024 13:15 34m 13s