Skip to content

Actions: uds-psl/autosubst-ocaml

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Adapt to Coq PR #19301 which unifies the syntax of Theorem, Definition and Fixpoint CI #140: Pull request #21 opened by herbelin
October 24, 2024 08:29 27s herbelin:master+adapt-coq-pr19301-ceps42-unify-definition-theorem
herbelin:master+adapt-coq-pr19301-ceps42-unify-definition-theorem
October 24, 2024 08:29 27s
Adapt to Coq PR #19404: an algebra of types for the instances of notation variables CI #139: Pull request #19 opened by herbelin
July 21, 2024 08:32 2m 32s herbelin:master+adapt-coq-pr19404-general-recursive-notations
herbelin:master+adapt-coq-pr19404-general-recursive-notations
July 21, 2024 08:32 2m 32s
Merge pull request #18 from gares/quickfix CI #138: Commit a4e154f pushed by ppedrot
June 24, 2024 12:40 5m 6s master
master
June 24, 2024 12:40 5m 6s
Merge pull request #17 from herbelin/master+adapt-coq-pr19107-merge-f… CI #137: Commit 0de6084 pushed by ppedrot
June 22, 2024 23:35 5m 0s master
master
June 22, 2024 23:35 5m 0s
Adapt to coq/coq#18981 (universe syntax change) (#15) CI #133: Commit 830b3d6 pushed by yforster
May 21, 2024 07:56 5m 9s master
master
May 21, 2024 07:56 5m 9s
port to coq master CI #131: Commit 957b255 pushed by yforster
February 9, 2024 10:42 16m 37s master
master
February 9, 2024 10:42 16m 37s
and a corresponding opam CI #130: Commit 0d95f66 pushed by yforster
February 5, 2024 16:30 5m 30s 1.1+8.19
1.1+8.19
February 5, 2024 16:30 5m 30s
and now with fixed Coq code… CI #129: Commit 732eda6 pushed by yforster
February 1, 2024 10:10 5m 10s coq-8.15
coq-8.15
February 1, 2024 10:10 5m 10s
and a corresponding opam CI #128: Commit 0d95f66 pushed by yforster
February 1, 2024 10:09 4m 29s coq-8.19
coq-8.19
February 1, 2024 10:09 4m 29s
tricky notation change, but I won CI #127: Commit 89cb044 pushed by yforster
February 1, 2024 10:08 4m 27s coq-8.18
coq-8.18
February 1, 2024 10:08 4m 27s
cleaning up attributes + deprecations CI #126: Commit 78d80f5 pushed by yforster
February 1, 2024 10:08 4m 16s coq-8.17
coq-8.17
February 1, 2024 10:08 4m 16s
Seq on all OCaml versions CI #125: Commit 43e45b6 pushed by yforster
February 1, 2024 10:08 5m 1s coq-8.16
coq-8.16
February 1, 2024 10:08 5m 1s
19 CI #124: Pull request #13 synchronize by MevenBertrand
January 30, 2024 22:36 4m 27s MevenBertrand:coq-8.19
MevenBertrand:coq-8.19
January 30, 2024 22:36 4m 27s
19 CI #123: Pull request #13 synchronize by MevenBertrand
January 30, 2024 22:34 1m 29s MevenBertrand:coq-8.19
MevenBertrand:coq-8.19
January 30, 2024 22:34 1m 29s
19 CI #122: Pull request #13 opened by MevenBertrand
January 30, 2024 22:24 24s MevenBertrand:coq-8.19
MevenBertrand:coq-8.19
January 30, 2024 22:24 24s
8.18 CI #121: Pull request #12 opened by MevenBertrand
January 30, 2024 22:09 4m 18s MevenBertrand:coq-8.18
MevenBertrand:coq-8.18
January 30, 2024 22:09 4m 18s
Coq 8.17 CI #120: Pull request #11 synchronize by MevenBertrand
January 30, 2024 20:19 4m 46s MevenBertrand:coq-8.17
MevenBertrand:coq-8.17
January 30, 2024 20:19 4m 46s
Coq 8.17 CI #119: Pull request #11 synchronize by MevenBertrand
January 30, 2024 20:14 2m 1s MevenBertrand:coq-8.17
MevenBertrand:coq-8.17
January 30, 2024 20:14 2m 1s
Coq 8.17 CI #118: Pull request #11 synchronize by MevenBertrand
January 30, 2024 20:13 1m 58s MevenBertrand:coq-8.17
MevenBertrand:coq-8.17
January 30, 2024 20:13 1m 58s
Coq 8.17 CI #117: Pull request #11 synchronize by MevenBertrand
January 30, 2024 20:06 2m 4s MevenBertrand:coq-8.17
MevenBertrand:coq-8.17
January 30, 2024 20:06 2m 4s
Coq 8.17 CI #116: Pull request #11 synchronize by MevenBertrand
January 30, 2024 19:06 2m 4s MevenBertrand:coq-8.17
MevenBertrand:coq-8.17
January 30, 2024 19:06 2m 4s
Coq 8.17 CI #115: Pull request #11 opened by MevenBertrand
January 30, 2024 18:59 1m 35s MevenBertrand:coq-8.17
MevenBertrand:coq-8.17
January 30, 2024 18:59 1m 35s
Adapt to Coq 8.16 CI #114: Pull request #10 synchronize by yforster
January 30, 2024 13:24 4m 57s MevenBertrand:coq-8.16
MevenBertrand:coq-8.16
January 30, 2024 13:24 4m 57s
Adapt to Coq 8.16 CI #113: Pull request #10 synchronize by yforster
January 30, 2024 13:23 4m 57s MevenBertrand:coq-8.16
MevenBertrand:coq-8.16
January 30, 2024 13:23 4m 57s
Adapt to Coq 8.16 CI #112: Pull request #10 synchronize by yforster
January 30, 2024 13:22 2m 4s MevenBertrand:coq-8.16
MevenBertrand:coq-8.16
January 30, 2024 13:22 2m 4s