Skip to content

Actions: damien-pous/aac-tactics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
30 workflow runs
30 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'master' into v9.0 Docker CI #15: Commit ca4aaf6 pushed by damien-pous
1m 47s v9.0
v9.0
1m 47s
trying to fix dune compilation, again Docker CI #14: Commit 6834f9a pushed by damien-pous
2m 13s master
master
2m 13s
trying to fix dune compilation, again Build and Deploy documentation #12: Commit 6834f9a pushed by damien-pous
2m 10s master
master
2m 10s
trying to fix dune compilation, again Nix CI #12: Commit 6834f9a pushed by damien-pous
1m 0s master
master
1m 0s
Merge branch 'master' into v9.0 Docker CI #13: Commit 6879ae4 pushed by damien-pous
1m 50s v9.0
v9.0
1m 50s
moving from coq to rocq (plugin files) Build and Deploy documentation #11: Commit c9ace9c pushed by damien-pous
2m 15s master
master
2m 15s
moving from coq to rocq (plugin files) Docker CI #12: Commit c9ace9c pushed by damien-pous
2m 30s master
master
2m 30s
moving from coq to rocq (plugin files) Nix CI #11: Commit c9ace9c pushed by damien-pous
59s master
master
59s
move from coq to rocq Build and Deploy documentation #10: Commit 04a97d7 pushed by damien-pous
1m 52s master
master
1m 52s
move from coq to rocq Docker CI #11: Commit 04a97d7 pushed by damien-pous
2m 5s master
master
2m 5s
move from coq to rocq Nix CI #10: Commit 04a97d7 pushed by damien-pous
1m 2s master
master
1m 2s
Merge remote-tracking branch 'community' Build and Deploy documentation #9: Commit d1a4a07 pushed by damien-pous
2m 5s master
master
2m 5s
Merge remote-tracking branch 'community' Nix CI #9: Commit d1a4a07 pushed by damien-pous
59s master
master
59s
Merge remote-tracking branch 'community' Docker CI #10: Commit d1a4a07 pushed by damien-pous
2m 11s master
master
2m 11s
move from coq to rocq Build and Deploy documentation #8: Commit fae8055 pushed by damien-pous
1m 56s master
master
1m 56s
move from coq to rocq Docker CI #9: Commit fae8055 pushed by damien-pous
2m 7s master
master
2m 7s
move from coq to rocq Nix CI #8: Commit fae8055 pushed by damien-pous
59s master
master
59s
Merge pull request #155 from ppedrot/rm-tc-evd-hook Docker CI #8: Commit 7a7f4a6 pushed by damien-pous
2m 10s master
master
2m 10s
Merge pull request #155 from ppedrot/rm-tc-evd-hook Nix CI #7: Commit 7a7f4a6 pushed by damien-pous
1m 1s master
master
1m 1s
Merge pull request #155 from ppedrot/rm-tc-evd-hook Build and Deploy documentation #7: Commit 7a7f4a6 pushed by damien-pous
2m 0s master
master
2m 0s
Merge pull request #148 from coq-community/coq_19310 Nix CI #6: Commit 109af84 pushed by damien-pous
59s master
master
59s
Merge pull request #148 from coq-community/coq_19310 Docker CI #7: Commit 109af84 pushed by damien-pous
16s master
master
16s
Merge pull request #148 from coq-community/coq_19310 Build and Deploy documentation #6: Commit 109af84 pushed by damien-pous
17s master
master
17s
port to rocq 9 (#153) Docker CI #6: Commit 0b7f510 pushed by damien-pous
2m 16s v9.0
v9.0
2m 16s
_CoqProject, meta, theories/dune Build and Deploy documentation #5: Commit 8ff6c2d pushed by damien-pous
19s master
master
19s