Skip to content

Actions: coq/coq

Actions

All workflows

Actions

Loading...

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

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Stale PRs Stale PRs #705: Scheduled
May 10, 2024 02:15 14s master
master
May 10, 2024 02:15 14s
Merge PR #19010: improve Strings/Byte performance Windows CI #10275: Commit 73c4dd8 pushed by coqbot-app bot
May 9, 2024 15:56 54m 28s master
master
May 9, 2024 15:56 54m 28s
Merge PR #19010: improve Strings/Byte performance GitHub macOS CI #10948: Commit 73c4dd8 pushed by coqbot-app bot
May 9, 2024 15:56 33m 55s master
master
May 9, 2024 15:56 33m 55s
Merge PR #19010: improve Strings/Byte performance Check conflicts #3529: Commit 73c4dd8 pushed by coqbot-app bot
May 9, 2024 15:56 4m 18s master
master
May 9, 2024 15:56 4m 18s
Stale PRs Stale PRs #704: Scheduled
May 9, 2024 02:14 9s master
master
May 9, 2024 02:14 9s
Algebraic universes and new solving algorithm GitHub macOS CI #10947: Pull request #18903 synchronize by mattam82
May 8, 2024 22:10 38m 54s mattam82:universes-clauses
mattam82:universes-clauses
May 8, 2024 22:10 38m 54s
Algebraic universes and new solving algorithm Windows CI #10274: Pull request #18903 synchronize by mattam82
May 8, 2024 22:10 40m 34s mattam82:universes-clauses
mattam82:universes-clauses
May 8, 2024 22:10 40m 34s
Add SSReflect contextual pattern UNDER GitHub macOS CI #10946: Pull request #19011 synchronize by erikmd
May 8, 2024 20:51 32m 4s erikmd:ssr-under-pattern
erikmd:ssr-under-pattern
May 8, 2024 20:51 32m 4s
Add SSReflect contextual pattern UNDER Windows CI #10273: Pull request #19011 synchronize by erikmd
May 8, 2024 20:51 41m 10s erikmd:ssr-under-pattern
erikmd:ssr-under-pattern
May 8, 2024 20:51 41m 10s
Add primitive string type. GitHub macOS CI #10945: Pull request #18973 synchronize by rlepigre
May 8, 2024 18:55 31m 23s rlepigre:br/prim-string
rlepigre:br/prim-string
May 8, 2024 18:55 31m 23s
Add primitive string type. Windows CI #10272: Pull request #18973 synchronize by rlepigre
May 8, 2024 18:55 56m 44s rlepigre:br/prim-string
rlepigre:br/prim-string
May 8, 2024 18:55 56m 44s
Add SSReflect contextual pattern UNDER GitHub macOS CI #10944: Pull request #19011 synchronize by erikmd
May 8, 2024 17:44 30m 34s erikmd:ssr-under-pattern
erikmd:ssr-under-pattern
May 8, 2024 17:44 30m 34s
Add SSReflect contextual pattern UNDER Windows CI #10271: Pull request #19011 synchronize by erikmd
May 8, 2024 17:44 1h 2m 21s erikmd:ssr-under-pattern
erikmd:ssr-under-pattern
May 8, 2024 17:44 1h 2m 21s
Add SSReflect contextual pattern UNDER GitHub macOS CI #10943: Pull request #19011 synchronize by erikmd
May 8, 2024 17:12 37m 0s erikmd:ssr-under-pattern
erikmd:ssr-under-pattern
May 8, 2024 17:12 37m 0s
Add SSReflect contextual pattern UNDER Windows CI #10270: Pull request #19011 synchronize by erikmd
May 8, 2024 17:12 1h 3m 45s erikmd:ssr-under-pattern
erikmd:ssr-under-pattern
May 8, 2024 17:12 1h 3m 45s
Add SSReflect contextual pattern UNDER GitHub macOS CI #10942: Pull request #19011 synchronize by erikmd
May 8, 2024 16:46 38m 9s erikmd:ssr-under-pattern
erikmd:ssr-under-pattern
May 8, 2024 16:46 38m 9s
Add SSReflect contextual pattern UNDER Windows CI #10269: Pull request #19011 synchronize by erikmd
May 8, 2024 16:46 55m 14s erikmd:ssr-under-pattern
erikmd:ssr-under-pattern
May 8, 2024 16:46 55m 14s
Add SSReflect contextual pattern UNDER Windows CI #10268: Pull request #19011 opened by erikmd
May 8, 2024 16:36 43m 4s erikmd:ssr-under-pattern
erikmd:ssr-under-pattern
May 8, 2024 16:36 43m 4s
Add SSReflect contextual pattern UNDER GitHub macOS CI #10941: Pull request #19011 opened by erikmd
May 8, 2024 16:36 32m 29s erikmd:ssr-under-pattern
erikmd:ssr-under-pattern
May 8, 2024 16:36 32m 29s
Towards a more uniform API for declare.ml (part declaring mutual statements) Windows CI #10267: Pull request #18795 synchronize by herbelin
May 8, 2024 10:18 57m 12s herbelin:master+uniform-API-declare.ml
herbelin:master+uniform-API-declare.ml
May 8, 2024 10:18 57m 12s
Towards a more uniform API for declare.ml (part declaring mutual statements) GitHub macOS CI #10940: Pull request #18795 synchronize by herbelin
May 8, 2024 10:18 29m 58s herbelin:master+uniform-API-declare.ml
herbelin:master+uniform-API-declare.ml
May 8, 2024 10:18 29m 58s
Clarify warning about Let/Variable/Hypothesis outside sections and turn it as error by default GitHub macOS CI #10939: Pull request #18880 synchronize by proux01
May 8, 2024 10:04 10m 48s proux01:deprecate_let_variable_outside_section
proux01:deprecate_let_variable_outside_section
May 8, 2024 10:04 10m 48s
Clarify warning about Let/Variable/Hypothesis outside sections and turn it as error by default Windows CI #10266: Pull request #18880 synchronize by proux01
May 8, 2024 10:04 45m 42s proux01:deprecate_let_variable_outside_section
proux01:deprecate_let_variable_outside_section
May 8, 2024 10:04 45m 42s
Making Theorem with more flexible + code cleanup GitHub macOS CI #10938: Pull request #18743 synchronize by herbelin
May 8, 2024 09:56 37m 30s herbelin:master+more-flexible-theorem-with
herbelin:master+more-flexible-theorem-with
May 8, 2024 09:56 37m 30s
Making Theorem with more flexible + code cleanup Windows CI #10265: Pull request #18743 synchronize by herbelin
May 8, 2024 09:56 50m 19s herbelin:master+more-flexible-theorem-with
herbelin:master+more-flexible-theorem-with
May 8, 2024 09:56 50m 19s