Skip to content

Actions: coq-community/coqeal

Actions

Nix CI for bundle coq-master

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nix-action-coq-master.yml
28 workflow runs
28 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #102 from proux01/param2-register Nix CI for bundle coq-master #28: Commit 6999d96 pushed by proux01
February 3, 2025 09:48 14m 16s master
master
February 3, 2025 09:48 14m 16s
Use derive.param2.register Nix CI for bundle coq-master #27: Pull request #102 synchronize by proux01
February 3, 2025 09:23 16m 48s
February 3, 2025 09:23 16m 48s
Merge pull request #103 from proux01/ci-update Nix CI for bundle coq-master #26: Commit 04aaab4 pushed by proux01
February 3, 2025 09:07 29m 46s master
master
February 3, 2025 09:07 29m 46s
[CI] Update Nix toolbox Nix CI for bundle coq-master #25: Pull request #103 synchronize by proux01
February 3, 2025 07:47 23m 27s proux01:ci-update
proux01:ci-update
February 3, 2025 07:47 23m 27s
[CI] Update Nix toolbox Nix CI for bundle coq-master #24: Pull request #103 synchronize by proux01
February 3, 2025 07:46 6m 18s
February 3, 2025 07:46 6m 18s
[CI] Update Nix toolbox Nix CI for bundle coq-master #23: Pull request #103 synchronize by proux01
February 2, 2025 21:32 44m 23s proux01:ci-update
proux01:ci-update
February 2, 2025 21:32 44m 23s
[CI] Update Nix toolbox Nix CI for bundle coq-master #22: Pull request #103 synchronize by proux01
February 2, 2025 21:32 3m 12s
February 2, 2025 21:32 3m 12s
[CI] Update Nix toolbox Nix CI for bundle coq-master #21: Pull request #103 opened by proux01
February 2, 2025 17:48 44m 25s proux01:ci-update
proux01:ci-update
February 2, 2025 17:48 44m 25s
[CI] Update Nix toolbox Nix CI for bundle coq-master #20: Pull request #103 opened by proux01
February 2, 2025 17:48 4m 31s
February 2, 2025 17:48 4m 31s
Use derive.param2.register Nix CI for bundle coq-master #19: Pull request #102 synchronize by proux01
February 2, 2025 15:18 1m 32s
February 2, 2025 15:18 1m 32s
Use derive.param2.register Nix CI for bundle coq-master #18: Pull request #102 opened by proux01
January 28, 2025 13:38 29s
January 28, 2025 13:38 29s
Merge pull request #101 from proux01/ci-update Nix CI for bundle coq-master #17: Commit c30ef0d pushed by proux01
January 26, 2025 15:37 15m 44s master
master
January 26, 2025 15:37 15m 44s
[CI] Remove no longer supported MC 2.2 Nix CI for bundle coq-master #16: Pull request #101 opened by proux01
January 26, 2025 13:52 9m 42s
January 26, 2025 13:52 9m 42s
Merge pull request #100 from proux01/opam-update Nix CI for bundle coq-master #15: Commit ceb995a pushed by proux01
January 26, 2025 10:39 11m 42s master
master
January 26, 2025 10:39 11m 42s
Update opam file Nix CI for bundle coq-master #14: Pull request #100 synchronize by proux01
January 26, 2025 10:25 11m 37s
January 26, 2025 10:25 11m 37s
Update opam file Nix CI for bundle coq-master #13: Pull request #100 opened by proux01
January 26, 2025 10:18 3m 16s
January 26, 2025 10:18 3m 16s
[CI] Cachix tokens Nix CI for bundle coq-master #12: Commit 2e16f67 pushed by proux01
January 25, 2025 18:57 6m 10s master
master
January 25, 2025 18:57 6m 10s
Merge pull request #99 from proux01/use_derive Nix CI for bundle coq-master #11: Commit 8497b77 pushed by proux01
January 25, 2025 17:16 6m 26s master
master
January 25, 2025 17:16 6m 26s
Replace paramcoq with elpi derive.param2 Nix CI for bundle coq-master #10: Pull request #99 synchronize by proux01
January 25, 2025 16:04 6m 22s
January 25, 2025 16:04 6m 22s
Replace paramcoq with elpi derive.param2 Nix CI for bundle coq-master #9: Pull request #99 synchronize by proux01
January 24, 2025 15:48 7m 20s
January 24, 2025 15:48 7m 20s
Replace paramcoq with elpi derive.param2 Nix CI for bundle coq-master #8: Pull request #99 synchronize by proux01
January 24, 2025 14:37 13m 2s
January 24, 2025 14:37 13m 2s
Replace paramcoq with elpi derive.param2 Nix CI for bundle coq-master #7: Pull request #99 opened by proux01
January 24, 2025 14:02 6m 23s
January 24, 2025 14:02 6m 23s
Merge pull request #98 from proux01/ci-nix Nix CI for bundle coq-master #6: Commit 00d804d pushed by proux01
January 24, 2025 13:57 6m 29s master
master
January 24, 2025 13:57 6m 29s
[CI] Add Nix toolbox Nix CI for bundle coq-master #5: Pull request #98 synchronize by proux01
January 24, 2025 13:57 20s proux01:ci-nix
proux01:ci-nix
January 24, 2025 13:57 20s
[CI] Add Nix toolbox Nix CI for bundle coq-master #4: Pull request #98 synchronize by proux01
January 24, 2025 12:39 40m 42s proux01:ci-nix
proux01:ci-nix
January 24, 2025 12:39 40m 42s