Workflow runs · Munksgaard/session-types · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

9 workflow runs

9 workflow runs

Rust Rust #250: Scheduled

37s master

master

37s

Rust Rust #249: Scheduled

38s master

master

38s

Rust Rust #248: Scheduled

25s master

master

25s

Rust Rust #247: Scheduled

27s master

master

27s

Rust Rust #246: Scheduled

31s master

master

31s

Rust Rust #245: Scheduled

35s master

master

35s

Rust Rust #244: Scheduled

34s master

master

34s

Rust Rust #243: Scheduled

39s master

master

39s

Rust Rust #242: Scheduled

36s master

master

36s