Skip to content

Actions: LPCIC/coq-elpi

Actions

Nix CI for bundle rocq-9.2

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-rocq-9.2.yml
63 workflow runs
63 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

fix #971 Nix CI for bundle rocq-9.2 #63: Commit 989feea pushed by gares
43m 7s master
master
43m 7s
Merge pull request #970 from LPCIC/release Nix CI for bundle rocq-9.2 #62: Commit 73c43be pushed by gares
12m 17s master
master
12m 17s
close changelog Nix CI for bundle rocq-9.2 #61: Pull request #970 synchronize by gares
1h 4m 52s
1h 4m 52s
close changelog Nix CI for bundle rocq-9.2 #60: Pull request #970 opened by gares
44m 46s
44m 46s
Merge pull request #969 from LPCIC/fix-968 Nix CI for bundle rocq-9.2 #59: Commit ea2ec48 pushed by gares
1h 26m 37s master
master
1h 26m 37s
Merge pull request #908 from LPCIC/fix-detcheck-resolution Nix CI for bundle rocq-9.2 #58: Commit 78a0834 pushed by gares
1h 28m 50s master
master
1h 28m 50s
fix 968 Nix CI for bundle rocq-9.2 #57: Pull request #969 synchronize by gares
1h 48m 22s
1h 48m 22s
Test for fix type name collision Nix CI for bundle rocq-9.2 #56: Pull request #908 synchronize by gares
1h 50m 57s
1h 50m 57s
fix 968 Nix CI for bundle rocq-9.2 #55: Pull request #969 opened by gares
1h 43m 9s
1h 43m 9s
Test for fix type name collision Nix CI for bundle rocq-9.2 #54: Pull request #908 synchronize by gares
50m 56s
50m 56s
Merge pull request #965 from LPCIC/plugin Nix CI for bundle rocq-9.2 #53: Commit f04f08e pushed by gares
32m 59s master
master
32m 59s
Elpi Accumulate Plugin Nix CI for bundle rocq-9.2 #52: Pull request #965 synchronize by gares
1h 3m 12s
1h 3m 12s
Elpi Accumulate Plugin Nix CI for bundle rocq-9.2 #51: Pull request #965 synchronize by gares
1h 1m 3s
1h 1m 3s
Elpi Accumulate Plugin Nix CI for bundle rocq-9.2 #50: Pull request #965 synchronize by gares
45m 13s
45m 13s
Elpi Accumulate Plugin Nix CI for bundle rocq-9.2 #49: Pull request #965 synchronize by gares
1h 2m 22s
1h 2m 22s
Merge pull request #966 from LPCIC/revamp-ltac-API Nix CI for bundle rocq-9.2 #48: Commit ef06ac5 pushed by gares
1h 0m 14s master
master
1h 0m 14s
ltac: API for simple tactics Nix CI for bundle rocq-9.2 #47: Pull request #966 synchronize by gares
50m 35s
50m 35s
Elpi Accumulate Plugin Nix CI for bundle rocq-9.2 #46: Pull request #965 synchronize by gares
53m 0s
53m 0s
ltac: API for simple tactics Nix CI for bundle rocq-9.2 #45: Pull request #966 synchronize by gares
50m 23s
50m 23s
ltac: API for simple tactics Nix CI for bundle rocq-9.2 #44: Pull request #966 synchronize by gares
36m 35s
36m 35s
Merge pull request #959 from SkySkimmer/intern-constr-in-tac Nix CI for bundle rocq-9.2 #43: Commit 8066ba8 pushed by ppedrot
51m 56s master
master
51m 56s
ltac: API for simple tactics Nix CI for bundle rocq-9.2 #42: Pull request #966 synchronize by gares
56m 24s
56m 24s
ltac: API for simple tactics Nix CI for bundle rocq-9.2 #41: Pull request #966 synchronize by gares
4m 58s
4m 58s
ltac: API for simple tactics Nix CI for bundle rocq-9.2 #40: Pull request #966 synchronize by gares
2m 59s
2m 59s
ltac: API for simple tactics Nix CI for bundle rocq-9.2 #39: Pull request #966 synchronize by gares
2m 49s
2m 49s