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

WIP docker Nix CI for bundle coq-master #56: Commit f969238 pushed by proux01
July 27, 2024 10:35 49s master
master
July 27, 2024 10:35 49s
WIP docker Nix CI for bundle coq-master #55: Commit 54aee9c pushed by proux01
July 27, 2024 10:33 1m 40s master
master
July 27, 2024 10:33 1m 40s
WIP docker Docker CI #1: Commit 54aee9c pushed by proux01
July 27, 2024 10:33 1s master
master
July 27, 2024 10:33 1s
WIP UniMath Nix CI for bundle coq-master #54: Commit 2d21b9b pushed by proux01
July 26, 2024 13:05 55m 54s master
master
July 26, 2024 13:05 55m 54s
WIP performance test Nix CI for bundle coq-master #53: Commit 9a9113a pushed by proux01
July 26, 2024 12:32 33m 21s master
master
July 26, 2024 12:32 33m 21s
WIP Nix CI for bundle coq-master #52: Commit 81de981 pushed by proux01
July 26, 2024 12:21 7m 31s master
master
July 26, 2024 12:21 7m 31s
WIP Nix CI for bundle coq-master #51: Commit abf477d pushed by proux01
July 26, 2024 11:57 23m 46s master
master
July 26, 2024 11:57 23m 46s
WIP Nix CI for bundle coq-master #50: Commit 4a03b4f pushed by proux01
July 26, 2024 11:12 45m 16s master
master
July 26, 2024 11:12 45m 16s
WIP neural net Nix CI for bundle coq-master #49: Commit e4b8919 pushed by proux01
July 26, 2024 08:13 1h 1m 14s master
master
July 26, 2024 08:13 1h 1m 14s
WIP Nix CI for bundle coq-master #48: Commit 673a628 pushed by proux01
July 25, 2024 16:06 58m 35s master
master
July 25, 2024 16:06 58m 35s
Test CI Nix CI for bundle coq-master #47: Commit 62ce54b pushed by proux01
July 25, 2024 06:12 24m 55s master
master
July 25, 2024 06:12 24m 55s
WIP Nix CI for bundle coq-master #46: Commit 16105a1 pushed by proux01
July 24, 2024 21:47 47m 18s master
master
July 24, 2024 21:47 47m 18s
WIP Nix CI for bundle coq-master #45: Commit 5f9319f pushed by proux01
July 24, 2024 21:17 1m 43s master
master
July 24, 2024 21:17 1m 43s
WIP Nix CI for bundle coq-master #44: Commit c3523ce pushed by proux01
July 24, 2024 20:32 46m 34s master
master
July 24, 2024 20:32 46m 34s
WIP Nix CI for bundle coq-master #43: Commit a1a96f9 pushed by proux01
July 24, 2024 15:54 56m 30s master
master
July 24, 2024 15:54 56m 30s
WIP Nix CI for bundle coq-master #42: Commit 352c321 pushed by proux01
July 24, 2024 13:51 51m 42s master
master
July 24, 2024 13:51 51m 42s
Test CI Nix CI for bundle coq-master #41: Commit d11de6a pushed by proux01
July 24, 2024 12:26 52m 35s master
master
July 24, 2024 12:26 52m 35s
Test CI Nix CI for bundle coq-master #40: Commit 399b0c9 pushed by proux01
July 24, 2024 12:03 22m 7s master
master
July 24, 2024 12:03 22m 7s
Test CI Nix CI for bundle coq-master #39: Commit b410c3a pushed by proux01
July 23, 2024 19:43 52m 49s master
master
July 23, 2024 19:43 52m 49s
Test CI Nix CI for bundle coq-master #38: Commit a59bc62 pushed by proux01
July 23, 2024 17:41 53m 57s master
master
July 23, 2024 17:41 53m 57s
Test CI Nix CI for bundle coq-master #37: Commit b39ef43 pushed by proux01
July 23, 2024 17:05 35m 33s master
master
July 23, 2024 17:05 35m 33s
Test CI Nix CI for bundle coq-master #36: Commit be16bb3 pushed by proux01
July 23, 2024 14:50 1h 15m 16s master
master
July 23, 2024 14:50 1h 15m 16s
Test CI Nix CI for bundle coq-master #35: Commit c5d26a7 pushed by proux01
July 23, 2024 14:21 28m 3s master
master
July 23, 2024 14:21 28m 3s
Test CI Nix CI for bundle coq-master #34: Commit c34804b pushed by proux01
July 23, 2024 14:02 18m 46s master
master
July 23, 2024 14:02 18m 46s
Test CI Nix CI for bundle coq-master #33: Commit e6230df pushed by proux01
July 23, 2024 12:37 39m 20s master
master
July 23, 2024 12:37 39m 20s