Skip to content

Actions: stepchowfun/proofs

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
604 workflow runs
604 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Do some wordsmithing in the tutorial Continuous integration #4627: Pull request #698 synchronize by stepchowfun
6m 52s wordsmithing
wordsmithing
6m 52s
Do some wordsmithing in the tutorial Continuous integration #4626: Pull request #698 synchronize by stepchowfun
6m 48s wordsmithing
wordsmithing
6m 48s
Do some wordsmithing in the tutorial Continuous integration #4625: Pull request #698 synchronize by stepchowfun
6m 49s wordsmithing
wordsmithing
6m 49s
Do some wordsmithing in the tutorial Continuous integration #4624: Pull request #698 synchronize by stepchowfun
6m 52s wordsmithing
wordsmithing
6m 52s
Do some wordsmithing in the tutorial Continuous integration #4623: Pull request #698 synchronize by stepchowfun
7m 2s wordsmithing
wordsmithing
7m 2s
Do some wordsmithing in the tutorial Continuous integration #4622: Pull request #698 synchronize by stepchowfun
6m 53s wordsmithing
wordsmithing
6m 53s
Do some wordsmithing in the tutorial Continuous integration #4621: Pull request #698 opened by stepchowfun
6m 53s wordsmithing
wordsmithing
6m 53s
Merge pull request #697 from stepchowfun/non-deprecated-lemmas Continuous integration #4620: Commit bd9c72d pushed by stepchowfun
16m 37s main
main
16m 37s
Use non-deprecated versions of list-related lemmas Continuous integration #4619: Pull request #697 synchronize by stepchowfun
14m 47s non-deprecated-lemmas
non-deprecated-lemmas
14m 47s
Use non-deprecated versions of list-related lemmas Continuous integration #4618: Pull request #697 opened by stepchowfun
1m 14s non-deprecated-lemmas
non-deprecated-lemmas
1m 14s
Merge pull request #696 from stepchowfun/type-signatures Continuous integration #4617: Commit 32fd395 pushed by stepchowfun
6m 55s main
main
6m 55s
Rephrase some type signatures Continuous integration #4616: Pull request #696 opened by stepchowfun
7m 7s type-signatures
type-signatures
7m 7s
Merge pull request #695 from stepchowfun/convoy Continuous integration #4615: Commit b32a5d5 pushed by stepchowfun
7m 0s main
main
7m 0s
Explain the convoy pattern in the tutorial Continuous integration #4614: Pull request #695 synchronize by stepchowfun
7m 10s convoy
convoy
7m 10s
Explain the convoy pattern in the tutorial Continuous integration #4613: Pull request #695 synchronize by stepchowfun
7m 1s convoy
convoy
7m 1s
Explain the convoy pattern in the tutorial Continuous integration #4612: Pull request #695 synchronize by stepchowfun
6m 48s convoy
convoy
6m 48s
Explain the convoy pattern in the tutorial Continuous integration #4611: Pull request #695 synchronize by stepchowfun
7m 0s convoy
convoy
7m 0s
Explain the convoy pattern in the tutorial Continuous integration #4610: Pull request #695 synchronize by stepchowfun
6m 47s convoy
convoy
6m 47s
Explain the convoy pattern in the tutorial Continuous integration #4609: Pull request #695 synchronize by stepchowfun
7m 10s convoy
convoy
7m 10s
Explain the convoy pattern in the tutorial Continuous integration #4608: Pull request #695 synchronize by stepchowfun
7m 0s convoy
convoy
7m 0s
Explain the convoy pattern in the tutorial Continuous integration #4607: Pull request #695 synchronize by stepchowfun
6m 53s convoy
convoy
6m 53s
Explain the convoy pattern in the tutorial Continuous integration #4606: Pull request #695 synchronize by stepchowfun
6m 48s convoy
convoy
6m 48s
Explain the convoy pattern in the tutorial Continuous integration #4605: Pull request #695 synchronize by stepchowfun
7m 6s convoy
convoy
7m 6s
Explain the convoy pattern in the tutorial Continuous integration #4604: Pull request #695 synchronize by stepchowfun
6m 56s convoy
convoy
6m 56s
Explain the convoy pattern in the tutorial Continuous integration #4603: Pull request #695 opened by stepchowfun
6m 58s convoy
convoy
6m 58s
ProTip! You can narrow down the results and go further in time using created:<2025-01-21 or the other filters available.