Skip to content

Actions: leanprover/doc-gen4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
238 workflow runs
238 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

chore: temporarily switch to fork of md4lean batteries test build #4989: Pull request #258 opened by kim-em
January 4, 2025 22:16 3m 56s bump_to_v4.16.0-rc1_take2
bump_to_v4.16.0-rc1_take2
January 4, 2025 22:16 3m 56s
chore: CI should fail on warnings batteries test build #4988: Pull request #257 synchronize by hargoniX
January 4, 2025 22:14 2m 0s warning-ci
warning-ci
January 4, 2025 22:14 2m 0s
chore: some work on CI try 1 batteries test build #4987: Commit 14316ee pushed by hargoniX
January 4, 2025 22:14 Failure warning-ci
warning-ci
January 4, 2025 22:14 Failure
chore: make CI fail if we panic (#246) batteries test build #4986: Commit 535c69d pushed by hargoniX
January 4, 2025 12:50 3m 21s main
main
January 4, 2025 12:50 3m 21s
chore: make CI fail if we panic batteries test build #4985: Pull request #246 synchronize by hargoniX
January 4, 2025 12:46 3m 22s strict-ci
strict-ci
January 4, 2025 12:46 3m 22s
Merge pull request #255 from leanprover/bump_to_v4.16.0-rc1 batteries test build #4984: Commit 9d993b2 pushed by kim-em
January 4, 2025 05:38 4m 2s main
main
January 4, 2025 05:38 4m 2s
chore: bump toolchain to v4.16.0-rc1 batteries test build #4983: Pull request #255 synchronize by tydeu
January 4, 2025 05:32 3m 58s bump_to_v4.16.0-rc1
bump_to_v4.16.0-rc1
January 4, 2025 05:32 3m 58s
chore: bump toolchain to v4.16.0-rc1 batteries test build #4982: Pull request #255 opened by kim-em
January 4, 2025 04:56 20s bump_to_v4.16.0-rc1
bump_to_v4.16.0-rc1
January 4, 2025 04:56 20s
Merge pull request #254 from leanprover/bump_to_v4.15.0 batteries test build #4981: Commit 0291556 pushed by kim-em
January 4, 2025 03:31 3m 53s main
main
January 4, 2025 03:31 3m 53s
chore: bump toolchain to v4.15.0 batteries test build #4980: Pull request #254 opened by kim-em
January 4, 2025 03:25 3m 48s bump_to_v4.15.0
bump_to_v4.15.0
January 4, 2025 03:25 3m 48s
feat: more precise deprecation rendering (#253) batteries test build #4979: Commit e498801 pushed by hargoniX
December 29, 2024 22:20 3m 21s main
main
December 29, 2024 22:20 3m 21s
feat: more precise deprecation rendering batteries test build #4978: Pull request #253 opened by hargoniX
December 29, 2024 22:16 3m 24s deprecated
deprecated
December 29, 2024 22:16 3m 24s
chore: more precise build logs batteries test build #4977: Commit 43d3044 pushed by hargoniX
December 25, 2024 20:47 3m 24s main
main
December 25, 2024 20:47 3m 24s
chore: kill the google button batteries test build #4976: Commit 7754c8f pushed by hargoniX
December 25, 2024 20:25 3m 29s main
main
December 25, 2024 20:25 3m 29s
feat: show structure field argument names (#252) batteries test build #4975: Commit fd52917 pushed by hargoniX
December 20, 2024 13:06 3m 22s main
main
December 20, 2024 13:06 3m 22s
feat: show structure field argument names batteries test build #4974: Pull request #252 opened by cppio
December 19, 2024 22:29 3m 29s cppio:field-args
cppio:field-args
December 19, 2024 22:29 3m 29s
feat: show documentation for Quot primitives (#251) batteries test build #4973: Commit 9c324ad pushed by hargoniX
December 19, 2024 08:05 3m 39s main
main
December 19, 2024 08:05 3m 39s
feat: show documentation for Quot primitives batteries test build #4972: Pull request #251 opened by cppio
December 18, 2024 19:53 3m 27s cppio:doc-quot
cppio:doc-quot
December 18, 2024 19:53 3m 27s
fix: correctly split whitespace (#250) batteries test build #4971: Commit 70fca3c pushed by hargoniX
December 18, 2024 11:07 3m 26s main
main
December 18, 2024 11:07 3m 26s
fix: correctly split whitespace batteries test build #4970: Pull request #250 opened by cppio
December 17, 2024 23:55 3m 30s cppio:spacing-fix
cppio:spacing-fix
December 17, 2024 23:55 3m 30s
feat: show inductive constructor argument names (#249) batteries test build #4969: Commit e473211 pushed by hargoniX
December 17, 2024 13:46 3m 27s main
main
December 17, 2024 13:46 3m 27s
feat: show inductive constructor argument names batteries test build #4968: Pull request #249 synchronize by cppio
December 17, 2024 13:11 3m 26s cppio:ctor-args
cppio:ctor-args
December 17, 2024 13:11 3m 26s
feat: show inductive constructor argument names batteries test build #4967: Pull request #249 opened by cppio
December 17, 2024 02:56 3m 37s cppio:ctor-args
cppio:ctor-args
December 17, 2024 02:56 3m 37s
chore: use builtin functions in equation computing (#248) batteries test build #4966: Commit 589875a pushed by hargoniX
December 15, 2024 22:21 3m 21s main
main
December 15, 2024 22:21 3m 21s
chore: use builtin functions in equation computing batteries test build #4965: Pull request #248 opened by hargoniX
December 15, 2024 22:14 3m 23s change-equations
change-equations
December 15, 2024 22:14 3m 23s