Skip to content

Actions: avigad/mathematics_in_lean_source

Actions

ci

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
217 workflow runs
217 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Fix typo (#128) ci #21: Commit 376631a pushed by PatrickMassot
September 19, 2023 01:49 3m 20s master
master
September 19, 2023 01:49 3m 20s
Update C04_Sets_and_Functions.rst (#129) ci #20: Commit de1a4cc pushed by PatrickMassot
September 19, 2023 01:48 3m 9s master
master
September 19, 2023 01:48 3m 9s
Fix typo in ch.4 ci #19: Pull request #129 opened by pitmonticone
September 18, 2023 21:29 2m 44s pitmonticone:master
pitmonticone:master
September 18, 2023 21:29 2m 44s
Feat: enable codespaces in user repo ci #17: Pull request #127 opened by fpvandoorn
September 14, 2023 17:00 2m 40s fpvandoorn:codespaces
fpvandoorn:codespaces
September 14, 2023 17:00 2m 40s
fix missing by (#126) ci #16: Commit 9fbe1f9 pushed by PatrickMassot
September 10, 2023 23:56 2m 48s master
master
September 10, 2023 23:56 2m 48s
Add a missing by in an exercise. ci #14: Commit df6a935 pushed by PatrickMassot
September 10, 2023 00:29 2m 32s master
master
September 10, 2023 00:29 2m 32s
make autoImplicit opt-in ci #13: Commit 02c54eb pushed by avigad
September 4, 2023 23:47 2m 34s master
master
September 4, 2023 23:47 2m 34s
modify scripts to account for Common.lean ci #12: Commit ad7ce37 pushed by avigad
September 4, 2023 23:46 2m 36s master
master
September 4, 2023 23:46 2m 36s
Update README.md (#120) ci #10: Commit f6a99a1 pushed by PatrickMassot
August 30, 2023 18:55 3m 9s master
master
August 30, 2023 18:55 3m 9s
remove false remarks that only held in Lean 3 (#121) ci #9: Commit 9c5e08a pushed by PatrickMassot
August 30, 2023 13:44 3m 20s master
master
August 30, 2023 13:44 3m 20s
make autoImplicit opt-in ci #8: Pull request #122 opened by eric-wieser
August 30, 2023 10:25 2m 37s eric-wieser:autoImplicit-false
eric-wieser:autoImplicit-false
August 30, 2023 10:25 2m 37s
remove false remarks about structures that only held in Lean 3 ci #7: Pull request #121 opened by eric-wieser
August 30, 2023 10:15 3m 1s eric-wieser:structure-eta
eric-wieser:structure-eta
August 30, 2023 10:15 3m 1s
Fix import in comment ci #5: Commit 11f80ac pushed by PatrickMassot
August 28, 2023 23:40 9m 5s master
master
August 28, 2023 23:40 9m 5s
Fix CI (#118) ci #4: Commit aa2f5e3 pushed by PatrickMassot
August 28, 2023 23:39 2m 55s master
master
August 28, 2023 23:39 2m 55s
Fix CI ci #3: Pull request #118 opened by eric-wieser
August 28, 2023 16:40 2m 33s eric-wieser:patch-1
eric-wieser:patch-1
August 28, 2023 16:40 2m 33s
fix typo ci #2: Commit e40d2ea pushed by avigad
August 28, 2023 13:46 2m 44s master
master
August 28, 2023 13:46 2m 44s
Add github CI, copied from std4 (#116) ci #1: Commit 087f7a1 pushed by PatrickMassot
August 28, 2023 11:39 3m 4s master
master
August 28, 2023 11:39 3m 4s