Skip to content

Actions: dwrensha/compfiles

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,744 workflow runs
1,744 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
Add alternative proof for 1964_p1b pull request #101: Pull request #45 opened by hcarlens
November 26, 2024 11:03 6m 48s hcarlens:main
hcarlens:main
November 26, 2024 11:03 6m 48s
[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