Skip to content

Actions: sogrim/technion-sogrim

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
25 workflow runs
25 workflow runs
Event

Filter by event

Loading
Status

Filter by status

Loading
Branch
Actor

Filter by actor

Loading
Update packages + clippy + fmt (#234) Code Coverage #17: Commit a727566 pushed by github-merge-queue bot
October 15, 2023 10:13 6m 58s master
master
October 15, 2023 10:13 6m 58s
Update packages + clippy + fmt (#234) .github/workflows/create_release.yml #19: Commit a727566 pushed by github-merge-queue bot
October 15, 2023 10:13 16s master
master
October 15, 2023 10:13 16s
Server-CI Server-CI #52: Merge group checks requested
October 15, 2023 10:08 5m 4s
October 15, 2023 10:08 5m 4s
Update packages + clippy + fmt Server-CI #51: Pull request #234 synchronize by benny-n
October 15, 2023 10:02 5m 47s development
development
October 15, 2023 10:02 5m 47s
Update packages + clippy + fmt PR auto-label #39: Pull request #234 synchronize by benny-n
October 15, 2023 10:02 11s development
development
October 15, 2023 10:02 11s
Update packages + clippy + fmt Server-CI #50: Pull request #234 synchronize by benny-n
October 15, 2023 09:16 4m 39s development
development
October 15, 2023 09:16 4m 39s
Update packages + clippy + fmt PR auto-label #38: Pull request #234 synchronize by benny-n
October 15, 2023 09:16 15s development
development
October 15, 2023 09:16 15s
Update packages + clippy + fmt Server-CI #49: Pull request #234 synchronize by benny-n
October 4, 2023 23:24 6m 2s development
development
October 4, 2023 23:24 6m 2s
Update packages + clippy + fmt PR auto-label #37: Pull request #234 synchronize by benny-n
October 4, 2023 23:24 15s development
development
October 4, 2023 23:24 15s
Update packages + clippy + fmt PR auto-label #36: Pull request #234 synchronize by benny-n
October 4, 2023 23:22 12s development
development
October 4, 2023 23:22 12s
Update packages + clippy + fmt Server-CI #48: Pull request #234 synchronize by benny-n
October 4, 2023 23:22 4m 36s development
development
October 4, 2023 23:22 4m 36s
Update packages + clippy + fmt Server-CI #47: Pull request #234 opened by benny-n
October 4, 2023 23:20 5m 29s development
development
October 4, 2023 23:20 5m 29s
Update packages + clippy + fmt PR auto-label #35: Pull request #234 opened by benny-n
October 4, 2023 23:20 17s development
development
October 4, 2023 23:20 17s
Bump webpki from 0.22.0 to 0.22.2 in /packages/server PR auto-label #34: Pull request #233 opened by dependabot bot
October 4, 2023 13:40 18s dependabot/cargo/packages/server/webpki-0.22.2
dependabot/cargo/packages/server/webpki-0.22.2
October 4, 2023 13:40 18s
Bump webpki from 0.22.0 to 0.22.2 in /packages/server Server-CI #46: Pull request #233 opened by dependabot bot
October 4, 2023 13:40 3m 44s dependabot/cargo/packages/server/webpki-0.22.2
dependabot/cargo/packages/server/webpki-0.22.2
October 4, 2023 13:40 3m 44s
Update changelog (#232) .github/workflows/create_release.yml #18: Commit a0715bc pushed by benny-n
June 6, 2023 18:36 24s master
master
June 6, 2023 18:36 24s
Update changelog (#232) Code Coverage #16: Commit a0715bc pushed by benny-n
June 6, 2023 18:36 1m 27s master
master
June 6, 2023 18:36 1m 27s
Update changelog Server-CI #45: Pull request #232 opened by benny-n
June 6, 2023 18:30 4m 23s development
development
June 6, 2023 18:30 4m 23s
Update changelog PR auto-label #33: Pull request #232 opened by benny-n
June 6, 2023 18:30 13s development
development
June 6, 2023 18:30 13s
Release v1.4.0 (#230) Code Coverage #15: Commit a60b726 pushed by benny-n
June 6, 2023 17:31 1m 11s master
master
June 6, 2023 17:31 1m 11s
Release v1.4.0 (#230) .github/workflows/create_release.yml #17: Commit a60b726 pushed by benny-n
June 6, 2023 17:31 27s master
master
June 6, 2023 17:31 27s
Release v1.4.0 Server-CI #44: Pull request #230 synchronize by benny-n
June 6, 2023 17:22 5m 54s development
development
June 6, 2023 17:22 5m 54s
Release v1.4.0 PR auto-label #32: Pull request #230 synchronize by benny-n
June 6, 2023 17:22 15s development
development
June 6, 2023 17:22 15s
Release v1.4.0 PR auto-label #31: Pull request #230 opened by benny-n
June 6, 2023 17:20 14s development
development
June 6, 2023 17:20 14s
Release v1.4.0 Server-CI #43: Pull request #230 opened by benny-n
June 6, 2023 17:20 5m 43s development
development
June 6, 2023 17:20 5m 43s