Skip to content

Actions: Submitty/submitty.github.io

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
763 workflow runs
763 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

[Documentation:Developer] Added python linter pylint to docs (#562)
Ruby #1477: Commit 1bb6b32 pushed by bmcutler
December 1, 2023 19:51 2m 8s main
December 1, 2023 19:51 2m 8s
[Documentation:InstructorUI] fix drop lowest description
Submitty PR Title Check #640: Pull request #564 synchronize by ziesski
November 17, 2023 21:42 9s drop-lowest-doc
November 17, 2023 21:42 9s
[Documentation:InstructorUI] fix drop lowest description
Ruby #1471: Pull request #564 synchronize by ziesski
November 17, 2023 21:42 40s drop-lowest-doc
November 17, 2023 21:42 40s
Merge branch 'main' into drop-lowest-doc
Ruby #1470: Commit 2a15ed8 pushed by ziesski
November 17, 2023 21:42 33s drop-lowest-doc
November 17, 2023 21:42 33s
[Documentation:Developer] Removed travis docs
Submitty PR Title Check #639: Pull request #566 opened by jason490
November 17, 2023 05:13 12s removed_travis
November 17, 2023 05:13 12s
[Documentation:Developer] Removed travis docs
Ruby #1469: Pull request #566 opened by jason490
November 17, 2023 05:13 40s removed_travis
November 17, 2023 05:13 40s
Removed travis docs
Ruby #1468: Commit 3299640 pushed by jason490
November 17, 2023 05:11 45s removed_travis
November 17, 2023 05:11 45s
[Feature:Developer] switch to Zulip (#563)
Ruby #1467: Commit 57d2a5e pushed by jason490
November 17, 2023 05:10 34s removed_travis
November 17, 2023 05:10 34s
[Documentation:Developer] Reorganize troubleshooting
Submitty PR Title Check #638: Pull request #565 synchronize by RitaLei123
November 12, 2023 20:45 9s Reorganize-Troubleshooting
November 12, 2023 20:45 9s
[Documentation:Developer] Reorganize troubleshooting
Submitty PR Title Check #637: Pull request #565 edited by RitaLei123
November 12, 2023 20:41 9s Reorganize-Troubleshooting
November 12, 2023 20:41 9s
ProTip! You can narrow down the results and go further in time using created:<2023-11-12 or the other filters available.