Workflow runs · Munksgaard/session-types · GitHub

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows

33 workflow runs

33 workflow runs

Rust Rust #225: Scheduled

28s master

master

28s

Rust Rust #224: Scheduled

36s master

master

36s

Rust Rust #223: Scheduled

35s master

master

35s

Rust Rust #222: Scheduled

56s master

master

56s

Rust Rust #221: Scheduled

1m 8s master

master

1m 8s

Rust Rust #220: Scheduled

39s master

master

39s

Rust Rust #219: Scheduled

1m 26s master

master

1m 26s

Rust Rust #218: Scheduled

33s master

master

33s