Skip to content

Actions: leanprover/lean4

Actionlint

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
2,995 workflow runs
2,995 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Actionlint
Actionlint #2995: Merge group checks requested
December 11, 2024 05:03 46s
December 11, 2024 05:03 46s
Actionlint
Actionlint #2994: Merge group checks requested
December 11, 2024 04:10 36s
December 11, 2024 04:10 36s
Actionlint
Actionlint #2993: Merge group checks requested
December 11, 2024 03:52 37s
December 11, 2024 03:52 37s
Actionlint
Actionlint #2992: Merge group checks requested
December 11, 2024 02:56 36s
December 11, 2024 02:56 36s
Actionlint
Actionlint #2991: Merge group checks requested
December 11, 2024 01:45 42s
December 11, 2024 01:45 42s
Actionlint
Actionlint #2990: Merge group checks requested
December 10, 2024 17:51 37s
December 10, 2024 17:51 37s
Actionlint
Actionlint #2989: Merge group checks requested
December 10, 2024 15:23 45s
December 10, 2024 15:23 45s
Actionlint
Actionlint #2988: Merge group checks requested
December 10, 2024 14:47 47s
December 10, 2024 14:47 47s
Actionlint
Actionlint #2987: Merge group checks requested
December 10, 2024 14:33 45s
December 10, 2024 14:33 45s
Actionlint
Actionlint #2986: Merge group checks requested
December 10, 2024 14:32 45s
December 10, 2024 14:32 45s
Actionlint
Actionlint #2985: Merge group checks requested
December 10, 2024 09:24 38s
December 10, 2024 09:24 38s
Actionlint
Actionlint #2984: Merge group checks requested
December 10, 2024 08:46 35s
December 10, 2024 08:46 35s
Actionlint
Actionlint #2983: Merge group checks requested
December 10, 2024 08:37 43s
December 10, 2024 08:37 43s
Actionlint
Actionlint #2982: Merge group checks requested
December 10, 2024 01:37 36s
December 10, 2024 01:37 36s
Actionlint
Actionlint #2981: Merge group checks requested
December 10, 2024 01:33 36s
December 10, 2024 01:33 36s
Actionlint
Actionlint #2980: Merge group checks requested
December 10, 2024 01:17 38s
December 10, 2024 01:17 38s
Actionlint
Actionlint #2979: Merge group checks requested
December 9, 2024 21:34 37s
December 9, 2024 21:34 37s
Actionlint
Actionlint #2978: Merge group checks requested
December 9, 2024 21:15 39s
December 9, 2024 21:15 39s
Actionlint
Actionlint #2977: Merge group checks requested
December 9, 2024 14:04 1m 56s
December 9, 2024 14:04 1m 56s
Actionlint
Actionlint #2976: Merge group checks requested
December 9, 2024 11:31 45s
December 9, 2024 11:31 45s
feat: elaborate theorem bodies in parallel
Actionlint #2975: Pull request #5864 synchronize by Kha
December 9, 2024 11:26 37s Kha:async-proofs
December 9, 2024 11:26 37s
Actionlint
Actionlint #2974: Merge group checks requested
December 9, 2024 05:31 45s
December 9, 2024 05:31 45s
Actionlint
Actionlint #2973: Merge group checks requested
December 8, 2024 22:23 40s
December 8, 2024 22:23 40s
Actionlint
Actionlint #2972: Merge group checks requested
December 8, 2024 22:19 41s
December 8, 2024 22:19 41s
Actionlint
Actionlint #2971: Merge group checks requested
December 8, 2024 22:03 37s
December 8, 2024 22:03 37s