Skip to content

Actions: uds-psl/autosubst-ocaml

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
main.yml
23 workflow runs
23 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #31 from proux01/rocq21126 CI #172: Commit 772acb2 pushed by ppedrot
20s master
master
20s
Merge pull request #32 from SkySkimmer/print-flags CI #171: Commit 3b0d87a pushed by ppedrot
15s master
master
15s
Adapt to rocq-prover/rocq#21281 (printing flags passed functionally) CI #170: Pull request #32 opened by SkySkimmer
14s SkySkimmer:print-flags
SkySkimmer:print-flags
14s
Adapt to https://github.com/rocq-prover/rocq/pull/21126 CI #169: Pull request #31 opened by proux01
13s proux01:rocq21126
proux01:rocq21126
13s
Update rocq-autosubst-ocaml.opam CI #167: Commit d289f1d pushed by yforster
5m 19s rocq-9.0
rocq-9.0
5m 19s
Update rocq-autosubst-ocaml.opam CI #166: Pull request #27 opened by yforster
5m 16s yforster-patch-2
yforster-patch-2
5m 16s
Update rocq-autosubst-ocaml.opam CI #165: Commit e72468a pushed by yforster
5m 25s yforster-patch-2
yforster-patch-2
5m 25s
remove the printing of weird notations for substitutions as functions CI #164: Commit 9fe0a3b pushed by yforster
4m 53s 1.1+9.0
1.1+9.0
4m 53s
attempt to fix the CI CI #163: Commit d26c0d7 pushed by yforster
4m 29s 1.1+9.0
1.1+9.0
4m 29s
remove the printing of weird notations for substitutions as functions CI #162: Commit 9fe0a3b pushed by yforster
4m 42s rocq-9.0
rocq-9.0
4m 42s
Cherry-pick: remove the printing of weird notations for substitutions as functions CI #161: Pull request #26 opened by TheoWinterhalter
4m 44s TheoWinterhalter:rocq-9.0
TheoWinterhalter:rocq-9.0
4m 44s
Make unscoped.v compatible with double-blind review CI #160: Pull request #25 opened by yforster
4m 44s yforster-patch-1
yforster-patch-1
4m 44s
Make unscoped.v compatible with double-blind review CI #159: Commit ae418d4 pushed by yforster
4m 38s yforster-patch-1
yforster-patch-1
4m 38s
Fix more warnings CI #158: Commit 9536705 pushed by yforster
4m 52s rocq-9.0
rocq-9.0
4m 52s
Rocq 9.0 CI #157: Pull request #24 synchronize by TheoWinterhalter
4m 43s TheoWinterhalter:rocq-9.0
TheoWinterhalter:rocq-9.0
4m 43s
attempt to fix the CI CI #148: Commit d26c0d7 pushed by yforster
4m 35s coq-8.20
coq-8.20
4m 35s
remove the printing of weird notations for substitutions as functions CI #147: Pull request #23 synchronize by MevenBertrand
4m 27s MevenBertrand:remove-fscope-notations
MevenBertrand:remove-fscope-notations
4m 27s
remove the printing of weird notations for substitutions as functions CI #146: Pull request #23 opened by MevenBertrand
17s MevenBertrand:remove-fscope-notations
MevenBertrand:remove-fscope-notations
17s
fix CI CI #145: Commit d363f98 pushed by yforster
4m 30s 1.1+8.20
1.1+8.20
4m 30s
fix CI CI #144: Commit d363f98 pushed by yforster
4m 46s coq-8.20
coq-8.20
4m 46s
fix CI CI #143: Commit dae0ff2 pushed by yforster
20s coq-8.20
coq-8.20
20s
Fix README CI #142: Commit bf21339 pushed by yforster
24s coq-8.20
coq-8.20
24s
Adapt to Coq PR #19301 which unifies the syntax of Theorem, Definition and Fixpoint CI #140: Pull request #21 opened by herbelin
27s herbelin:master+adapt-coq-pr19301-ceps42-unify-definition-theorem
herbelin:master+adapt-coq-pr19301-ceps42-unify-definition-theorem
27s