Skip to content

Actions: coq/coq

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
11,850 workflow runs
11,850 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Towards a common execution path for universe restriction + universe declaration check Windows CI #10530: Pull request #19031 synchronize by herbelin
May 26, 2024 08:53 50m 34s herbelin:master+factorization-make-univs-declare.ml
herbelin:master+factorization-make-univs-declare.ml
May 26, 2024 08:53 50m 34s
A few complex guard condition tests found in CI Windows CI #10529: Pull request #19086 synchronize by herbelin
May 26, 2024 08:48 1h 0m 0s herbelin:master+fixpoint-stress-tests
herbelin:master+fixpoint-stress-tests
May 26, 2024 08:48 1h 0m 0s
A few complex guard condition tests found in CI GitHub macOS CI #11202: Pull request #19086 synchronize by herbelin
May 26, 2024 08:48 26m 49s herbelin:master+fixpoint-stress-tests
herbelin:master+fixpoint-stress-tests
May 26, 2024 08:48 26m 49s
Apply the early check of the universe declaration and the monomorphic universe fixing to all interactive declarations GitHub macOS CI #11201: Pull request #18960 synchronize by herbelin
May 26, 2024 07:49 27m 45s herbelin:master+early-udecl-check-interactive-proof
herbelin:master+early-udecl-check-interactive-proof
May 26, 2024 07:49 27m 45s
Apply the early check of the universe declaration and the monomorphic universe fixing to all interactive declarations Windows CI #10528: Pull request #18960 synchronize by herbelin
May 26, 2024 07:49 58m 20s herbelin:master+early-udecl-check-interactive-proof
herbelin:master+early-udecl-check-interactive-proof
May 26, 2024 07:49 58m 20s
Towards a more uniform API for declare.ml (part declaring mutual statements) GitHub macOS CI #11200: Pull request #18795 synchronize by herbelin
May 26, 2024 07:48 28m 3s herbelin:master+uniform-API-declare.ml
herbelin:master+uniform-API-declare.ml
May 26, 2024 07:48 28m 3s
Towards a more uniform API for declare.ml (part declaring mutual statements) Windows CI #10527: Pull request #18795 synchronize by herbelin
May 26, 2024 07:48 57m 18s herbelin:master+uniform-API-declare.ml
herbelin:master+uniform-API-declare.ml
May 26, 2024 07:48 57m 18s
Fixes #18914: check for overlap between notations was too confidently assuming being in the same entry Windows CI #10526: Pull request #19089 opened by herbelin
May 26, 2024 07:42 55m 2s herbelin:master+fix18914-too-restrictive-notation-overlap-check
herbelin:master+fix18914-too-restrictive-notation-overlap-check
May 26, 2024 07:42 55m 2s
Fixes #18914: check for overlap between notations was too confidently assuming being in the same entry GitHub macOS CI #11199: Pull request #19089 opened by herbelin
May 26, 2024 07:42 30m 55s herbelin:master+fix18914-too-restrictive-notation-overlap-check
herbelin:master+fix18914-too-restrictive-notation-overlap-check
May 26, 2024 07:42 30m 55s
Add primitive string type. GitHub macOS CI #11198: Pull request #18973 synchronize by rlepigre
May 25, 2024 23:12 27m 30s rlepigre:br/prim-string
rlepigre:br/prim-string
May 25, 2024 23:12 27m 30s
Add primitive string type. Windows CI #10525: Pull request #18973 synchronize by rlepigre
May 25, 2024 23:12 59m 17s rlepigre:br/prim-string
rlepigre:br/prim-string
May 25, 2024 23:12 59m 17s
Add primitive string type. GitHub macOS CI #11197: Pull request #18973 synchronize by rlepigre
May 25, 2024 22:39 13m 44s rlepigre:br/prim-string
rlepigre:br/prim-string
May 25, 2024 22:39 13m 44s
Add primitive string type. Windows CI #10524: Pull request #18973 synchronize by rlepigre
May 25, 2024 22:39 43m 8s rlepigre:br/prim-string
rlepigre:br/prim-string
May 25, 2024 22:39 43m 8s
Algebraic universes and new solving algorithm Windows CI #10523: Pull request #18903 synchronize by mattam82
May 25, 2024 22:16 48m 57s mattam82:universes-clauses
mattam82:universes-clauses
May 25, 2024 22:16 48m 57s
Algebraic universes and new solving algorithm GitHub macOS CI #11196: Pull request #18903 synchronize by mattam82
May 25, 2024 22:16 27m 38s mattam82:universes-clauses
mattam82:universes-clauses
May 25, 2024 22:16 27m 38s
Merge PR #19085: Canonically renaming List.safe_index into List.index… Windows CI #10522: Commit c4ae777 pushed by coqbot-app bot
May 25, 2024 22:03 40m 26s master
master
May 25, 2024 22:03 40m 26s
Merge PR #19085: Canonically renaming List.safe_index into List.index… Check conflicts #3585: Commit c4ae777 pushed by coqbot-app bot
May 25, 2024 22:03 4m 16s master
master
May 25, 2024 22:03 4m 16s
Merge PR #19085: Canonically renaming List.safe_index into List.index… GitHub macOS CI #11195: Commit c4ae777 pushed by coqbot-app bot
May 25, 2024 22:03 29m 52s master
master
May 25, 2024 22:03 29m 52s
Fixes #19082: regression with primitive projections with defined fields GitHub macOS CI #11194: Pull request #19088 synchronize by herbelin
May 25, 2024 21:06 27m 48s herbelin:master+fix19082-branch-length-mismatch
herbelin:master+fix19082-branch-length-mismatch
May 25, 2024 21:06 27m 48s
Fixes #19082: regression with primitive projections with defined fields Windows CI #10521: Pull request #19088 synchronize by herbelin
May 25, 2024 21:06 55m 54s herbelin:master+fix19082-branch-length-mismatch
herbelin:master+fix19082-branch-length-mismatch
May 25, 2024 21:06 55m 54s
Fixes #19082: regression with primitive projections with defined fields GitHub macOS CI #11193: Pull request #19088 opened by herbelin
May 25, 2024 21:04 27m 7s herbelin:master+fix19082-branch-length-mismatch
herbelin:master+fix19082-branch-length-mismatch
May 25, 2024 21:04 27m 7s
Fixes #19082: regression with primitive projections with defined fields Windows CI #10520: Pull request #19088 opened by herbelin
May 25, 2024 21:04 44m 15s herbelin:master+fix19082-branch-length-mismatch
herbelin:master+fix19082-branch-length-mismatch
May 25, 2024 21:04 44m 15s
Add optional type annotation to Derive GitHub macOS CI #11192: Pull request #19087 synchronize by herbelin
May 25, 2024 18:18 27m 27s herbelin:master+add-optional-type-derive
herbelin:master+add-optional-type-derive
May 25, 2024 18:18 27m 27s
Add optional type annotation to Derive Windows CI #10519: Pull request #19087 synchronize by herbelin
May 25, 2024 18:18 47m 58s herbelin:master+add-optional-type-derive
herbelin:master+add-optional-type-derive
May 25, 2024 18:18 47m 58s
Add optional type annotation to Derive GitHub macOS CI #11191: Pull request #19087 synchronize by herbelin
May 25, 2024 18:05 27m 8s herbelin:master+add-optional-type-derive
herbelin:master+add-optional-type-derive
May 25, 2024 18:05 27m 8s