Skip to content

Actions: dwrensha/compfiles

Actions

push to main

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
push-main.yaml
1,656 workflow runs
1,656 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update mathlib push to main #1763: Commit 1d352e8 pushed by dwrensha
November 28, 2024 00:01 6m 44s main
main
November 28, 2024 00:01 6m 44s
[Imo1978P1] shorten push to main #1762: Commit d336a5a pushed by dwrensha
November 27, 2024 04:25 6m 47s main
main
November 27, 2024 04:25 6m 47s
update mathlib push to main #1761: Commit efe7e68 pushed by dwrensha
November 27, 2024 00:44 6m 51s main
main
November 27, 2024 00:44 6m 51s
[Imo1978P1] simpler push to main #1760: Commit 88da124 pushed by dwrensha
November 27, 2024 00:29 7m 8s main
main
November 27, 2024 00:29 7m 8s
[Imo1978P1] remove unused lines push to main #1759: Commit d81bb15 pushed by dwrensha
November 27, 2024 00:07 7m 18s main
main
November 27, 2024 00:07 7m 18s
[Imo1978P1] shorten push to main #1758: Commit 937bb60 pushed by dwrensha
November 26, 2024 23:52 6m 58s main
main
November 26, 2024 23:52 6m 58s
[Imo1978P1] add self as author push to main #1757: Commit d68e770 pushed by dwrensha
November 26, 2024 18:24 7m 0s main
main
November 26, 2024 18:24 7m 0s
[Imo1978P1] finish proof push to main #1756: Commit f4e38f0 pushed by dwrensha
November 26, 2024 18:16 6m 55s main
main
November 26, 2024 18:16 6m 55s
[Imo1978P1] getting close, it seems push to main #1755: Commit 888f1f6 pushed by dwrensha
November 26, 2024 17:04 7m 8s main
main
November 26, 2024 17:04 7m 8s
[Imo1978P1] progress push to main #1754: Commit 538ade7 pushed by dwrensha
November 26, 2024 15:51 7m 20s main
main
November 26, 2024 15:51 7m 20s
[Imo1978P1] next step push to main #1753: Commit 69924a2 pushed by dwrensha
November 26, 2024 15:14 7m 16s main
main
November 26, 2024 15:14 7m 16s
[Imo1978P1] finish h6 push to main #1752: Commit c729fd8 pushed by dwrensha
November 26, 2024 14:38 7m 22s main
main
November 26, 2024 14:38 7m 22s
[Imo1961P1] replace main proof of part B with Harald Carlen's proof push to main #1751: Commit 135e745 pushed by dwrensha
November 26, 2024 13:34 7m 7s main
main
November 26, 2024 13:34 7m 7s
Merge pull request #45 from hcarlens/main push to main #1750: Commit 4c4d44f pushed by dwrensha
November 26, 2024 13:25 6m 54s main
main
November 26, 2024 13:25 6m 54s
update mathlib push to main #1749: Commit f0ae9a0 pushed by dwrensha
November 26, 2024 13:20 6m 53s main
main
November 26, 2024 13:20 6m 53s
[Imo1978P1] a bit simpler push to main #1748: Commit c6df267 pushed by dwrensha
November 26, 2024 02:25 6m 58s main
main
November 26, 2024 02:25 6m 58s
update mathlib push to main #1747: Commit 313e396 pushed by dwrensha
November 25, 2024 13:22 6m 58s main
main
November 25, 2024 13:22 6m 58s
[Imo1978P1] shorten push to main #1746: Commit 1085f68 pushed by dwrensha
November 24, 2024 16:55 6m 42s main
main
November 24, 2024 16:55 6m 42s
update mathlib push to main #1745: Commit 805338e pushed by dwrensha
November 24, 2024 13:27 6m 48s main
main
November 24, 2024 13:27 6m 48s
update mathlib push to main #1744: Commit 41d90f4 pushed by dwrensha
November 23, 2024 15:52 6m 45s main
main
November 23, 2024 15:52 6m 45s
[Imo2023P4] set up induction push to main #1743: Commit d097700 pushed by dwrensha
November 23, 2024 14:50 7m 8s main
main
November 23, 2024 14:50 7m 8s
update mathlib push to main #1742: Commit 0c322bd pushed by dwrensha
November 23, 2024 13:25 6m 45s main
main
November 23, 2024 13:25 6m 45s
update mathlib push to main #1741: Commit cbc9c1b pushed by dwrensha
November 22, 2024 13:11 6m 58s main
main
November 22, 2024 13:11 6m 58s
[Imo1965P1] remove unneeded parens push to main #1740: Commit 6351f06 pushed by dwrensha
November 21, 2024 23:22 6m 51s main
main
November 21, 2024 23:22 6m 51s
[Imo1965P1] remove abbrev 'aux' push to main #1739: Commit 56db7f7 pushed by dwrensha
November 21, 2024 12:57 6m 50s main
main
November 21, 2024 12:57 6m 50s