Skip to content
This repository has been archived by the owner on Jul 24, 2024. It is now read-only.

Actions: leanprover-community/mathlib3

Actions

Add mathlib4 porting comments

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_port_comment.yml
245 workflow runs
245 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add mathlib4 porting comments Add mathlib4 porting comments #483: Scheduled
January 31, 2024 00:19 48s master
master
January 31, 2024 00:19 48s
Add mathlib4 porting comments Add mathlib4 porting comments #482: Scheduled
January 30, 2024 00:18 42s master
master
January 30, 2024 00:18 42s
Add mathlib4 porting comments Add mathlib4 porting comments #481: Scheduled
January 29, 2024 00:19 50s master
master
January 29, 2024 00:19 50s
Add mathlib4 porting comments Add mathlib4 porting comments #480: Scheduled
January 28, 2024 00:21 48s master
master
January 28, 2024 00:21 48s
Add mathlib4 porting comments Add mathlib4 porting comments #479: Scheduled
January 27, 2024 00:18 48s master
master
January 27, 2024 00:18 48s
Add mathlib4 porting comments Add mathlib4 porting comments #478: Scheduled
January 26, 2024 00:19 49s master
master
January 26, 2024 00:19 49s
Add mathlib4 porting comments Add mathlib4 porting comments #477: Scheduled
January 25, 2024 00:20 43s master
master
January 25, 2024 00:20 43s
Add mathlib4 porting comments Add mathlib4 porting comments #476: Scheduled
January 24, 2024 00:20 45s master
master
January 24, 2024 00:20 45s
Add mathlib4 porting comments Add mathlib4 porting comments #475: Scheduled
January 23, 2024 00:20 1m 34s master
master
January 23, 2024 00:20 1m 34s
Add mathlib4 porting comments Add mathlib4 porting comments #474: Scheduled
January 22, 2024 00:21 46s master
master
January 22, 2024 00:21 46s
Add mathlib4 porting comments Add mathlib4 porting comments #473: Scheduled
January 21, 2024 00:22 46s master
master
January 21, 2024 00:22 46s
Add mathlib4 porting comments Add mathlib4 porting comments #472: Scheduled
January 20, 2024 00:20 47s master
master
January 20, 2024 00:20 47s
Add mathlib4 porting comments Add mathlib4 porting comments #471: Scheduled
January 19, 2024 00:20 52s master
master
January 19, 2024 00:20 52s
Add mathlib4 porting comments Add mathlib4 porting comments #470: Scheduled
January 18, 2024 00:20 58s master
master
January 18, 2024 00:20 58s
Add mathlib4 porting comments Add mathlib4 porting comments #469: Scheduled
January 17, 2024 00:20 53s master
master
January 17, 2024 00:20 53s
Add mathlib4 porting comments Add mathlib4 porting comments #468: Scheduled
January 16, 2024 00:20 49s master
master
January 16, 2024 00:20 49s
Add mathlib4 porting comments Add mathlib4 porting comments #467: Scheduled
January 15, 2024 00:21 44s master
master
January 15, 2024 00:21 44s
Add mathlib4 porting comments Add mathlib4 porting comments #466: Scheduled
January 14, 2024 00:22 45s master
master
January 14, 2024 00:22 45s
Add mathlib4 porting comments Add mathlib4 porting comments #465: Scheduled
January 13, 2024 00:20 53s master
master
January 13, 2024 00:20 53s
Add mathlib4 porting comments Add mathlib4 porting comments #464: Scheduled
January 12, 2024 00:20 43s master
master
January 12, 2024 00:20 43s
Add mathlib4 porting comments Add mathlib4 porting comments #463: Scheduled
January 11, 2024 00:20 45s master
master
January 11, 2024 00:20 45s
Add mathlib4 porting comments Add mathlib4 porting comments #462: Scheduled
January 10, 2024 00:20 49s master
master
January 10, 2024 00:20 49s
Add mathlib4 porting comments Add mathlib4 porting comments #461: Scheduled
January 9, 2024 00:20 51s master
master
January 9, 2024 00:20 51s
Add mathlib4 porting comments Add mathlib4 porting comments #460: Scheduled
January 8, 2024 00:21 50s master
master
January 8, 2024 00:21 50s
Add mathlib4 porting comments Add mathlib4 porting comments #459: Scheduled
January 7, 2024 00:22 52s master
master
January 7, 2024 00:22 52s