Skip to content

Actions: LPCIC/coq-elpi

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
4,034 workflow runs
4,034 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt to rocq-prover/rocq#21450 (Add poly flags to declare_projections) CI #589: Pull request #951 opened by TDiazT
3m 45s TDiazT:elab-sorts
TDiazT:elab-sorts
3m 45s
Adapt to rocq-prover/rocq#21450 (Add poly flags to declare_projections) DOC #1998: Pull request #951 opened by TDiazT
7m 5s TDiazT:elab-sorts
TDiazT:elab-sorts
7m 5s
Adapt to rocq-prover/rocq#21450 (Add poly flags to declare_projections) Nix CI for bundle rocq-9.1 #327: Pull request #951 opened by TDiazT
3m 5s
3m 5s
Adapt to rocq-prover/rocq#21450 (Add poly flags to declare_projections) Nix CI for bundle rocq-9.0 #653: Pull request #951 opened by TDiazT
2m 59s
2m 59s
Adapt to rocq-prover/rocq#21450 (Add poly flags to declare_projections) Nix CI for bundle coq-master #1245: Pull request #951 opened by TDiazT
2m 56s
2m 56s
pages build and deployment pages-build-deployment #374: by github-pages bot
37s gh-pages
gh-pages
37s
Merge pull request #946 from mattam82/elab-elim-constraints DOC #1997: Commit 1ab7fcc pushed by SkySkimmer
7m 29s master
master
7m 29s
Merge pull request #946 from mattam82/elab-elim-constraints Nix CI for bundle rocq-9.1 #326: Commit 1ab7fcc pushed by SkySkimmer
49m 29s master
master
49m 29s
Merge pull request #946 from mattam82/elab-elim-constraints CI #588: Commit 1ab7fcc pushed by SkySkimmer
5m 6s master
master
5m 6s
Merge pull request #946 from mattam82/elab-elim-constraints Nix CI for bundle coq-master #1244: Commit 1ab7fcc pushed by SkySkimmer
1h 5m 22s master
master
1h 5m 22s
Merge pull request #946 from mattam82/elab-elim-constraints Nix CI for bundle rocq-9.0 #652: Commit 1ab7fcc pushed by SkySkimmer
1h 3m 14s master
master
1h 3m 14s
pages build and deployment pages-build-deployment #373: by github-pages bot
41s gh-pages
gh-pages
41s
Merge pull request #949 from ppedrot/track-elimination-source-constra… Nix CI for bundle rocq-9.0 #651: Commit 401f1aa pushed by SkySkimmer
1h 19m 8s master
master
1h 19m 8s
Merge pull request #949 from ppedrot/track-elimination-source-constra… DOC #1996: Commit 401f1aa pushed by SkySkimmer
7m 38s master
master
7m 38s
Merge pull request #949 from ppedrot/track-elimination-source-constra… Nix CI for bundle rocq-9.1 #325: Commit 401f1aa pushed by SkySkimmer
1h 3m 10s master
master
1h 3m 10s
Merge pull request #949 from ppedrot/track-elimination-source-constra… CI #587: Commit 401f1aa pushed by SkySkimmer
4m 54s master
master
4m 54s
Merge pull request #949 from ppedrot/track-elimination-source-constra… Nix CI for bundle coq-master #1243: Commit 401f1aa pushed by SkySkimmer
50m 32s master
master
50m 32s
Adapt to rocq-prover/rocq#21486. CI #586: Pull request #949 opened by ppedrot
4m 58s ppedrot:track-elimination-source-constraints
ppedrot:track-elimination-source-constraints
4m 58s
Adapt to rocq-prover/rocq#21486. DOC #1995: Pull request #949 opened by ppedrot
7m 18s ppedrot:track-elimination-source-constraints
ppedrot:track-elimination-source-constraints
7m 18s
Adapt to rocq-prover/rocq#21486. Nix CI for bundle rocq-9.1 #324: Pull request #949 opened by ppedrot
1h 7m 17s
1h 7m 17s
Adapt to rocq-prover/rocq#21486. Nix CI for bundle rocq-9.0 #650: Pull request #949 opened by ppedrot
1h 6m 56s
1h 6m 56s
Adapt to rocq-prover/rocq#21486. Nix CI for bundle coq-master #1242: Pull request #949 opened by ppedrot
7m 41s
7m 41s
Adapt to rocq-prover/rocq#21417 (Elim constraint elaboration) DOC #1994: Pull request #946 synchronize by mattam82
7m 44s mattam82:elab-elim-constraints
mattam82:elab-elim-constraints
7m 44s
Adapt to rocq-prover/rocq#21417 (Elim constraint elaboration) CI #585: Pull request #946 synchronize by mattam82
5m 23s mattam82:elab-elim-constraints
mattam82:elab-elim-constraints
5m 23s
Adapt to rocq-prover/rocq#21417 (Elim constraint elaboration) Nix CI for bundle coq-master #1241: Pull request #946 synchronize by mattam82
1h 2m 17s
1h 2m 17s