Skip to content

Actions: utgheith/p3

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,754 workflow runs
1,754 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #190 from utgheith/revert-173-set-map-basic-test Haskell CI #490: Commit 8988db4 pushed by MichaelHenryJennings
2m 36s main
main
2m 36s
Merge pull request #190 from utgheith/revert-173-set-map-basic-test Scan code with HLint #683: Commit 8988db4 pushed by MichaelHenryJennings
14s main
main
14s
Merge pull request #190 from utgheith/revert-173-set-map-basic-test Formatting workflow #692: Commit 8988db4 pushed by MichaelHenryJennings
12s main
main
12s
Revert "A simple test case for dafny set" Scan code with HLint #682: Pull request #190 opened by ChristopherThomasHill
20s revert-173-set-map-basic-test
revert-173-set-map-basic-test
20s
Revert "A simple test case for dafny set" Formatting workflow #691: Pull request #190 opened by ChristopherThomasHill
14s revert-173-set-map-basic-test
revert-173-set-map-basic-test
14s
Revert "A simple test case for dafny set" Haskell CI #489: Pull request #190 opened by ChristopherThomasHill
2m 41s revert-173-set-map-basic-test
revert-173-set-map-basic-test
2m 41s
Revert "A simple test case for dafny set" Scan code with HLint #681: Commit b4f304f pushed by ChristopherThomasHill
20s revert-173-set-map-basic-test
revert-173-set-map-basic-test
20s
Revert "A simple test case for dafny set" Formatting workflow #690: Commit b4f304f pushed by ChristopherThomasHill
9s revert-173-set-map-basic-test
revert-173-set-map-basic-test
9s
Copilot code review Copilot code review #35: by Copilot AI
3m 1s refs/pull/176/head
refs/pull/176/head
3m 1s
Add min heap public test case Haskell CI #485: Pull request #189 opened by CooperRoalson
2m 41s CooperRoalson-patch-2
CooperRoalson-patch-2
2m 41s
Add min heap public test case Formatting workflow #686: Pull request #189 opened by CooperRoalson
11s CooperRoalson-patch-2
CooperRoalson-patch-2
11s
Add min heap public test case Scan code with HLint #677: Pull request #189 opened by CooperRoalson
17s CooperRoalson-patch-2
CooperRoalson-patch-2
17s
Copilot code review Copilot code review #34: by Copilot AI
2m 40s refs/pull/189/head
refs/pull/189/head
2m 40s
Add Tower of Hanoi + Simple Arithmetic Tests Formatting workflow #685: Pull request #182 synchronize by Sarthak-Dayal
7s Sarthak-Dayal:main
Sarthak-Dayal:main
7s
Add Tower of Hanoi + Simple Arithmetic Tests Haskell CI #484: Pull request #182 synchronize by Sarthak-Dayal
12m 10s Sarthak-Dayal:main
Sarthak-Dayal:main
12m 10s
Add Tower of Hanoi + Simple Arithmetic Tests Scan code with HLint #676: Pull request #182 synchronize by Sarthak-Dayal
15s Sarthak-Dayal:main
Sarthak-Dayal:main
15s
Copilot code review Copilot code review #33: by Copilot AI
3m 23s refs/pull/182/head
refs/pull/182/head
3m 23s
Merge pull request #174 from danielnguyen05/double-reverse-test Formatting workflow #683: Commit 8969d8e pushed by MichaelHenryJennings
9s main
main
9s
Merge pull request #174 from danielnguyen05/double-reverse-test Scan code with HLint #674: Commit 8969d8e pushed by MichaelHenryJennings
20s main
main
20s
Merge pull request #174 from danielnguyen05/double-reverse-test Haskell CI #482: Commit 8969d8e pushed by MichaelHenryJennings
12m 6s main
main
12m 6s
Add Tower of Hanoi + Simple Arithmetic Tests Scan code with HLint #673: Pull request #182 synchronize by Sarthak-Dayal
18s Sarthak-Dayal:main
Sarthak-Dayal:main
18s
Add Tower of Hanoi + Simple Arithmetic Tests Haskell CI #481: Pull request #182 synchronize by Sarthak-Dayal
12m 7s Sarthak-Dayal:main
Sarthak-Dayal:main
12m 7s
Add Tower of Hanoi + Simple Arithmetic Tests Formatting workflow #682: Pull request #182 synchronize by Sarthak-Dayal
10s Sarthak-Dayal:main
Sarthak-Dayal:main
10s
Add proof stub file Scan code with HLint #672: Commit 8e0cf97 pushed by CooperRoalson
17s CooperRoalson-patch-2
CooperRoalson-patch-2
17s
Add proof stub file Formatting workflow #681: Commit 8e0cf97 pushed by CooperRoalson
10s CooperRoalson-patch-2
CooperRoalson-patch-2
10s