Skip to content

Actions: stepchowfun/proofs

Actions

All workflows

Actions

Loading...

Showing runs from all workflows
1,137 workflow runs
1,137 workflow runs
Event

Filter by event
Status

Filter by status
Branch
Actor

Filter by actor
Merge pull request #676 from stepchowfun/update-actions Continuous integration #4550: Commit a3ea65f pushed by stepchowfun
June 1, 2024 03:05 1m 12s main
main
June 1, 2024 03:05 1m 12s
Update GitHub Actions to use non-deprecated versions Continuous integration #4549: Pull request #676 opened by stepchowfun
June 1, 2024 02:55 1m 12s update-actions
update-actions
June 1, 2024 02:55 1m 12s
Merge pull request #675 from stepchowfun/coc-ref Continuous integration #4548: Commit 0d33963 pushed by stepchowfun
May 13, 2024 06:00 1m 6s main
main
May 13, 2024 06:00 1m 6s
Add a Tagref reference to the code of conduct file Continuous integration #4547: Pull request #675 opened by stepchowfun
May 13, 2024 05:40 6m 23s coc-ref
coc-ref
May 13, 2024 05:40 6m 23s
Merge pull request #674 from stepchowfun/file-refs Continuous integration #4546: Commit 95d3688 pushed by stepchowfun
May 13, 2024 05:36 6m 49s main
main
May 13, 2024 05:36 6m 49s
Add some file and directory references Continuous integration #4545: Pull request #674 synchronize by stepchowfun
May 13, 2024 05:27 6m 45s file-refs
file-refs
May 13, 2024 05:27 6m 45s
Add some file and directory references Continuous integration #4544: Pull request #674 synchronize by stepchowfun
May 13, 2024 05:25 6m 48s file-refs
file-refs
May 13, 2024 05:25 6m 48s
Add some file and directory references Continuous integration #4543: Pull request #674 opened by stepchowfun
May 13, 2024 05:23 7m 6s file-refs
file-refs
May 13, 2024 05:23 7m 6s
Merge pull request #673 from stepchowfun/ubuntu-22.04 Continuous integration #4542: Commit 0577ddd pushed by stepchowfun
May 4, 2024 09:51 18m 2s main
main
May 4, 2024 09:51 18m 2s
Update the Ubuntu version in the toastfile to 24.04 LTS Continuous integration #4541: Pull request #673 synchronize by stepchowfun
May 4, 2024 09:26 16m 39s ubuntu-22.04
ubuntu-22.04
May 4, 2024 09:26 16m 39s
Update the Ubuntu version in the toastfile to 24.04 LTS Continuous integration #4540: Pull request #673 synchronize by stepchowfun
May 4, 2024 09:24 16m 15s ubuntu-22.04
ubuntu-22.04
May 4, 2024 09:24 16m 15s
Update the Ubuntu version in the toastfile to 24.04 LTS Continuous integration #4539: Pull request #673 synchronize by stepchowfun
May 4, 2024 09:03 16m 2s ubuntu-22.04
ubuntu-22.04
May 4, 2024 09:03 16m 2s
Update the Ubuntu version in the toastfile to 24.04 LTS Continuous integration #4538: Pull request #673 opened by stepchowfun
May 4, 2024 08:56 17s ubuntu-22.04
ubuntu-22.04
May 4, 2024 08:56 17s
Merge pull request #672 from stepchowfun/lowercase-thing Continuous integration #4537: Commit 5d95ab6 pushed by stepchowfun
April 23, 2024 03:11 7m 9s main
main
April 23, 2024 03:11 7m 9s
Use a lowercase name for a thing that is not a type Continuous integration #4536: Pull request #672 opened by stepchowfun
April 23, 2024 02:56 6m 53s lowercase-thing
lowercase-thing
April 23, 2024 02:56 6m 53s
Merge pull request #671 from stepchowfun/unnecessary-parens Continuous integration #4535: Commit b51a1c5 pushed by stepchowfun
April 22, 2024 04:50 7m 14s main
main
April 22, 2024 04:50 7m 14s
Remove some unnecessary parentheses Continuous integration #4534: Pull request #671 opened by stepchowfun
April 22, 2024 04:43 6m 46s unnecessary-parens
unnecessary-parens
April 22, 2024 04:43 6m 46s
Merge pull request #670 from stepchowfun/eta-contraction-issue Continuous integration #4533: Commit 6d76b0f pushed by stepchowfun
April 22, 2024 04:04 7m 1s main
main
April 22, 2024 04:04 7m 1s
Clarify the issue with eta contraction Continuous integration #4532: Pull request #670 synchronize by stepchowfun
April 22, 2024 03:54 6m 47s eta-contraction-issue
eta-contraction-issue
April 22, 2024 03:54 6m 47s
Clarify the issue with eta contraction Continuous integration #4531: Pull request #670 synchronize by stepchowfun
April 22, 2024 03:54 6m 53s eta-contraction-issue
eta-contraction-issue
April 22, 2024 03:54 6m 53s
Clarify the issue with eta contraction Continuous integration #4530: Pull request #670 synchronize by stepchowfun
April 22, 2024 03:46 6m 44s eta-contraction-issue
eta-contraction-issue
April 22, 2024 03:46 6m 44s
Clarify the issue with eta contraction Continuous integration #4529: Pull request #670 opened by stepchowfun
April 22, 2024 03:44 6m 56s eta-contraction-issue
eta-contraction-issue
April 22, 2024 03:44 6m 56s
Merge pull request #669 from stepchowfun/readme-wordsmithing Continuous integration #4528: Commit 170d774 pushed by stepchowfun
April 9, 2024 01:49 7m 6s main
main
April 9, 2024 01:49 7m 6s
Wordsmith the admissibility graphs README Continuous integration #4527: Pull request #669 opened by stepchowfun
April 9, 2024 01:25 7m 0s readme-wordsmithing
readme-wordsmithing
April 9, 2024 01:25 7m 0s
Merge pull request #668 from stepchowfun/tips Continuous integration #4526: Commit 6a19faf pushed by stepchowfun
April 9, 2024 01:24 7m 16s main
main
April 9, 2024 01:24 7m 16s