Skip to content

Actions: rocq-community/aac-tactics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
28 workflow runs
28 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Merge pull request #167 from ppedrot/term-data-use-userord Docker CI #207: Commit 09523f9 pushed by ppedrot
2m 32s master
master
2m 32s
Adapt to rocq-prover/rocq#21882. Docker CI #206: Pull request #167 opened by ppedrot
2m 24s ppedrot:term-data-use-userord
ppedrot:term-data-use-userord
2m 24s
Merge pull request #164 from rocq-community/rocq21947 Docker CI #205: Commit cadc48a pushed by proux01
2m 17s master
master
2m 17s
Adapt to https://github.com/rocq-prover/rocq/pull/21947 Docker CI #204: Pull request #164 opened by proux01
2m 23s rocq21947
rocq21947
2m 23s
Merge pull request #163 from ppedrot/constr-type-as-first-order-data Docker CI #203: Commit 1279ee3 pushed by SkySkimmer
1m 58s master
master
1m 58s
Adapt to rocq-prover/rocq#21863. Docker CI #202: Pull request #163 opened by ppedrot
1m 45s ppedrot:constr-type-as-first-order-data
ppedrot:constr-type-as-first-order-data
1m 45s
update boilerplate for Rocq 9.0 Docker CI #201: Commit 55b1f80 pushed by palmskog
2m 10s v9.0
v9.0
2m 10s
fix README.md Docker CI #200: Commit 4f796a7 pushed by palmskog
2m 18s master
master
2m 18s
Merge pull request #162 from damien-pous/master Docker CI #199: Commit 6688223 pushed by palmskog
2m 14s master
master
2m 14s
move from coq to rocq Docker CI #198: Pull request #162 synchronize by palmskog
2m 29s damien-pous:master
damien-pous:master
2m 29s
move from coq to rocq Nix CI #200: Pull request #162 synchronize by palmskog
50s
50s
move from coq to rocq Docker CI #197: Pull request #162 synchronize by palmskog
5m 1s damien-pous:master
damien-pous:master
5m 1s
move from coq to rocq Nix CI #199: Pull request #162 synchronize by palmskog
1m 11s
1m 11s
move from coq to rocq Build and Deploy documentation #62: Pull request #162 synchronize by damien-pous
2m 25s damien-pous:master
damien-pous:master
2m 25s
move from coq to rocq Docker CI #196: Pull request #162 synchronize by damien-pous
2m 37s damien-pous:master
damien-pous:master
2m 37s
move from coq to rocq Nix CI #198: Pull request #162 synchronize by damien-pous
1m 14s
1m 14s
move from coq to rocq Docker CI #195: Pull request #162 synchronize by damien-pous
2m 21s damien-pous:master
damien-pous:master
2m 21s
move from coq to rocq Build and Deploy documentation #61: Pull request #162 synchronize by damien-pous
2m 3s damien-pous:master
damien-pous:master
2m 3s
move from coq to rocq Nix CI #197: Pull request #162 synchronize by damien-pous
1m 1s
1m 1s
move from coq to rocq Docker CI #194: Pull request #162 opened by damien-pous
2m 18s damien-pous:master
damien-pous:master
2m 18s
move from coq to rocq Build and Deploy documentation #60: Pull request #162 opened by damien-pous
2m 39s damien-pous:master
damien-pous:master
2m 39s
move from coq to rocq Nix CI #196: Pull request #162 opened by damien-pous
1m 7s
1m 7s
Adapt Makefile to Rocq v9 Docker CI #193: Pull request #161 synchronize by olaure01
5m 23s olaure01:makefile_rocq_9
olaure01:makefile_rocq_9
5m 23s
Adapt Makefile to Rocq v9 Build and Deploy documentation #59: Pull request #161 synchronize by olaure01
4m 53s olaure01:makefile_rocq_9
olaure01:makefile_rocq_9
4m 53s
Adapt Makefile to Rocq v9 Nix CI #195: Pull request #161 synchronize by olaure01
40s
40s