Skip to content

Actions: jsm28/mathlib4

Actions

continuous integration

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
build.yml
617 workflow runs
617 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'dist_secondInter_excenter' into imo2024q4 continuous integration #617: Commit b8f33df pushed by jsm28
1s imo2024q4
imo2024q4
1s
Merge branch 'angle_incenter' into dist_secondInter_excenter continuous integration #616: Commit 4905cbd pushed by jsm28
1s dist_secondInter_excenter
dist_secondInter_excenter
1s
Merge branch 'angle_incenter' into angle_incenter_unoriented continuous integration #615: Commit 762a6d2 pushed by jsm28
Skipped angle_incenter_unoriented
angle_incenter_unoriented
Skipped
Merge branch 'master' into angle_incenter continuous integration #614: Commit bcf2b9e pushed by jsm28
1s angle_incenter
angle_incenter
1s
Merge branch 'dist_secondInter_excenter' into imo2024q4 continuous integration #613: Commit 62384a3 pushed by jsm28
1s imo2024q4
imo2024q4
1s
Merge branch 'angle_incenter' into dist_secondInter_excenter continuous integration #612: Commit 4c8222b pushed by jsm28
2s dist_secondInter_excenter
dist_secondInter_excenter
2s
Merge branch 'angle_incenter' into angle_incenter_unoriented continuous integration #611: Commit 9069ddb pushed by jsm28
1s angle_incenter_unoriented
angle_incenter_unoriented
1s
Merge branch 'bisector_dist_two_zsmul_oangle' into angle_incenter continuous integration #610: Commit 048423f pushed by jsm28
1s angle_incenter
angle_incenter
1s
Indent subgoal per review continuous integration #609: Commit 3c97060 pushed by jsm28
1s bisector_dist_two_zsmul_oangle
bisector_dist_two_zsmul_oangle
1s
Use range instead of coercion continuous integration #608: Commit a0c1a8d pushed by jsm28
2s tileset
tileset
2s
Merge branch 'angle_incenter_unoriented' into imo2024q4 continuous integration #607: Commit 7fff1e5 pushed by jsm28
1s imo2024q4
imo2024q4
1s
Merge branch 'angle_div_two_of_oangle' into angle_incenter_unoriented continuous integration #606: Commit be79eb3 pushed by jsm28
1s angle_incenter_unoriented
angle_incenter_unoriented
1s
Refactor with pointReflection per review continuous integration #605: Commit fb6e7ac pushed by jsm28
1s angle_div_two_of_oangle
angle_div_two_of_oangle
1s
Merge branch 'angle_incenter_unoriented' into imo2024q4 continuous integration #604: Commit 20ce09a pushed by jsm28
1s imo2024q4
imo2024q4
1s
Merge branch 'master' into angle_incenter_unoriented continuous integration #603: Commit 6a75940 pushed by jsm28
1s angle_incenter_unoriented
angle_incenter_unoriented
1s
Merge branch 'dist_secondInter_excenter' into imo2024q4 continuous integration #602: Commit 8dae71e pushed by jsm28
1s imo2024q4
imo2024q4
1s
Merge branch 'master' into dist_secondInter_excenter continuous integration #601: Commit 3882722 pushed by jsm28
2s dist_secondInter_excenter
dist_secondInter_excenter
2s
Merge branch 'master' into angle_incenter_unoriented continuous integration #600: Commit 8fdb5c2 pushed by jsm28
2s angle_incenter_unoriented
angle_incenter_unoriented
2s
Merge branch 'dist_secondInter_excenter' into imo2024q4 continuous integration #599: Commit 59e4e55 pushed by jsm28
1s imo2024q4
imo2024q4
1s
Merge branch 'incenter_map' into dist_secondInter_excenter continuous integration #598: Commit a3dfaec pushed by jsm28
1s dist_secondInter_excenter
dist_secondInter_excenter
1s
Merge branch 'incenter_map' into angle_incenter_unoriented continuous integration #597: Commit 4328d75 pushed by jsm28
2s angle_incenter_unoriented
angle_incenter_unoriented
2s
Use haveI plus exact per review continuous integration #596: Commit af66e9b pushed by jsm28
2s incenter_map
incenter_map
2s
Update Mathlib/Geometry/Euclidean/Incenter.lean continuous integration #595: Commit 8ff6b2b pushed by jsm28
1s incenter_map
incenter_map
1s
Merge branch 'dist_secondInter_excenter' into imo2024q4 continuous integration #594: Commit e090767 pushed by jsm28
1s imo2024q4
imo2024q4
1s
Merge branch 'incenter_map' into dist_secondInter_excenter continuous integration #593: Commit 1a4eaa2 pushed by jsm28
2s dist_secondInter_excenter
dist_secondInter_excenter
2s