Skip to content

Actions: the1lab/1lab

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,078 workflow runs
2,078 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Clean up APIs for terminal and initial objects PR Preview #1770: Pull request #647 synchronize by TOTBWF
15m 3s terminal-initial-cleanup
terminal-initial-cleanup
15m 3s
Clean up APIs for terminal and initial objects Build #5156: Pull request #647 synchronize by TOTBWF
15m 4s terminal-initial-cleanup
terminal-initial-cleanup
15m 4s
chore: fix spacing Build #5155: Commit e2088fd pushed by TOTBWF
15m 3s terminal-initial-cleanup
terminal-initial-cleanup
15m 3s
chore: Fix typos Build #5154: Commit fe2d846 pushed by plt-amy
5m 17s main
main
5m 17s
Clean up APIs for terminal and initial objects Build #5153: Pull request #647 synchronize by TOTBWF
5m 37s terminal-initial-cleanup
terminal-initial-cleanup
5m 37s
Clean up APIs for terminal and initial objects PR Preview #1769: Pull request #647 synchronize by TOTBWF
1m 44s terminal-initial-cleanup
terminal-initial-cleanup
1m 44s
chore: clean up the interface to initial objects Build #5152: Commit b59c351 pushed by TOTBWF
4m 36s terminal-initial-cleanup
terminal-initial-cleanup
4m 36s
Clean up APIs for terminal and initial objects Build #5151: Pull request #647 opened by TOTBWF
47s terminal-initial-cleanup
terminal-initial-cleanup
47s
Clean up APIs for terminal and initial objects PR Preview #1768: Pull request #647 opened by TOTBWF
4m 47s terminal-initial-cleanup
terminal-initial-cleanup
4m 47s
chore: clean up the interface to initial objects Build #5150: Commit 0229880 pushed by TOTBWF
7m 4s terminal-initial-cleanup
terminal-initial-cleanup
7m 4s
More typos and prose fixes Build #5149: Pull request #646 synchronize by jajaperson
5m 2s jajaperson:typos
jajaperson:typos
5m 2s
More typos and prose fixes PR Preview #1767: Pull request #646 synchronize by jajaperson
1m 48s jajaperson:typos
jajaperson:typos
1m 48s
More typos and prose fixes Build #5148: Pull request #646 opened by jajaperson
3m 25s jajaperson:typos
jajaperson:typos
3m 25s
More typos and prose fixes PR Preview #1766: Pull request #646 opened by jajaperson
4m 48s jajaperson:typos
jajaperson:typos
4m 48s
web: Add search field on narrow screens PR Preview #1765: Pull request #642 synchronize by jajaperson
1m 53s jajaperson:mobile-alt
jajaperson:mobile-alt
1m 53s
web: Add search field on narrow screens Build #5147: Pull request #642 synchronize by jajaperson
3m 5s jajaperson:mobile-alt
jajaperson:mobile-alt
3m 5s
Profunctors PR Preview #1764: Pull request #645 synchronize by plt-amy
1m 53s aliao/profunctors
aliao/profunctors
1m 53s
Profunctors Build #5146: Pull request #645 synchronize by plt-amy
6m 57s aliao/profunctors
aliao/profunctors
6m 57s
wip: profunctors Build #5145: Commit 7b1a7d4 pushed by plt-amy
6m 48s aliao/profunctors
aliao/profunctors
6m 48s
Profunctors Build #5144: Pull request #645 synchronize by plt-amy
44s aliao/profunctors
aliao/profunctors
44s
Profunctors PR Preview #1763: Pull request #645 synchronize by plt-amy
1m 59s aliao/profunctors
aliao/profunctors
1m 59s
wip: profunctors Build #5143: Commit c274cc9 pushed by plt-amy
44s aliao/profunctors
aliao/profunctors
44s
Profunctors Build #5142: Pull request #645 synchronize by plt-amy
45s aliao/profunctors
aliao/profunctors
45s
Profunctors PR Preview #1762: Pull request #645 synchronize by plt-amy
1m 46s aliao/profunctors
aliao/profunctors
1m 46s
wip: prose for profunctors Build #5141: Commit e32868c pushed by plt-amy
1m 13s aliao/profunctors
aliao/profunctors
1m 13s