Skip to content

Actions: avigad/mathematics_in_lean_source

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
84 workflow runs
84 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix Group₃.inv_mul (_cancel) to use explicit parameters ci #373: Pull request #390 opened by attoknot
Action required attoknot:master
attoknot:master
Action required
Added sphinx copy button extension for copying codeblocks ci #372: Pull request #389 opened by pritishkamath
Action required pritishkamath:master
pritishkamath:master
Action required
add record syntax for defining a value of structure type ci #351: Pull request #318 opened by yannickseurin
2m 44s yannickseurin:C07_struct
yannickseurin:C07_struct
2m 44s
Nits c05 ci #350: Pull request #317 opened by yannickseurin
2m 43s yannickseurin:nits_C05
yannickseurin:nits_C05
2m 43s
Remove note about "cannot find synthesization order for instance" ci #349: Pull request #316 synchronize by eric-wieser
2m 32s eric-wieser:patch-2
eric-wieser:patch-2
2m 32s
Remove note about "cannot find synthesization order for instance" ci #348: Pull request #316 opened by eric-wieser
2m 30s eric-wieser:patch-2
eric-wieser:patch-2
2m 30s
chore: bump to v4.22.0 (#306) ci #346: Commit 8baa112 pushed by PatrickMassot
2m 32s master
master
2m 32s
chore: bump to v4.22.0 ci #345: Pull request #306 opened by pitmonticone
2m 33s pitmonticone:bump_v4.22.0
pitmonticone:bump_v4.22.0
2m 33s
chore: bump to v4.21.0 (#305) ci #344: Commit 63824a3 pushed by PatrickMassot
2m 34s master
master
2m 34s
chore: bump to v4.21.0 ci #343: Pull request #305 opened by pitmonticone
2m 36s pitmonticone:bump_v4.21.0
pitmonticone:bump_v4.21.0
2m 36s
Remove uneeded dot ci #342: Commit 309f289 pushed by PatrickMassot
2m 32s master
master
2m 32s
Also put license in user_repo_source ci #341: Commit 137627b pushed by PatrickMassot
2m 32s master
master
2m 32s
Licences ci #340: Commit dd0692a pushed by PatrickMassot
2m 35s master
master
2m 35s
chore: bump to v4.20.1 (#302) ci #338: Commit 00f826e pushed by PatrickMassot
2m 39s master
master
2m 39s
chore: bump to v4.20.1 ci #337: Pull request #302 opened by pitmonticone
2m 28s pitmonticone:bump_v4.20.1
pitmonticone:bump_v4.20.1
2m 28s
Nits in Chapter 06 "Discrete Mathematics" ci #336: Pull request #301 opened by yannickseurin
2m 33s yannickseurin:nits_C06
yannickseurin:nits_C06
2m 33s
bump to v4.20.0 ci #335: Commit 8e44e0d pushed by avigad
2m 47s master
master
2m 47s
update copyright line ci #334: Commit 10950f9 pushed by avigad
2m 39s wip_discrete_math
wip_discrete_math
2m 39s
cleanup ci #332: Commit 4220936 pushed by avigad
3m 25s wip_discrete_math
wip_discrete_math
3m 25s
Add Loogle for finding theorems (#297) ci #331: Commit 92240e0 pushed by PatrickMassot
2m 50s master
master
2m 50s
docs: Add Loogle for finding theorems ci #330: Pull request #297 synchronize by YDX-2147483647
2m 29s YDX-2147483647:patch-1
YDX-2147483647:patch-1
2m 29s
chore: bump to v4.19.0 (#298) ci #329: Commit a0afbe0 pushed by PatrickMassot
2m 36s master
master
2m 36s
chore: bump to v4.19.0 ci #328: Pull request #298 opened by pitmonticone
2m 30s pitmonticone:chore-bump-to-v4.19.0
pitmonticone:chore-bump-to-v4.19.0
2m 30s
docs: Add Loogle for finding theorems ci #327: Pull request #297 opened by YDX-2147483647
2m 27s YDX-2147483647:patch-1
YDX-2147483647:patch-1
2m 27s
Explain more magic in hierarchies chapter. ci #326: Commit ded7464 pushed by PatrickMassot
2m 40s master
master
2m 40s