Skip to content

Actions: FStarLang/FStar

Actions

Nightly CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
nightly-ci.yml
69 workflow runs
69 workflow runs

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
Nightly CI Nightly CI #69: Scheduled
37m 18s master
master
37m 18s
Nightly CI Nightly CI #68: Scheduled
36m 11s master
master
36m 11s
Nightly CI Nightly CI #67: Scheduled
35m 57s master
master
35m 57s
Nightly CI Nightly CI #66: Scheduled
36m 28s master
master
36m 28s
Nightly CI Nightly CI #65: Scheduled
25m 24s master
master
25m 24s
Nightly CI Nightly CI #64: Scheduled
37m 14s master
master
37m 14s
Nightly CI Nightly CI #63: Scheduled
37m 5s master
master
37m 5s
Nightly CI Nightly CI #62: Scheduled
36m 40s master
master
36m 40s
Nightly CI Nightly CI #61: Scheduled
36m 51s master
master
36m 51s
Nightly CI Nightly CI #60: Scheduled
36m 26s master
master
36m 26s
Nightly CI Nightly CI #59: Scheduled
31m 59s master
master
31m 59s
Nightly CI Nightly CI #58: Scheduled
31m 16s master
master
31m 16s
Nightly CI Nightly CI #57: Scheduled
37m 19s master
master
37m 19s
Nightly CI Nightly CI #56: Scheduled
36m 43s master
master
36m 43s
Nightly CI Nightly CI #55: Scheduled
35m 59s master
master
35m 59s
Nightly CI Nightly CI #54: Scheduled
31m 38s master
master
31m 38s
Nightly CI Nightly CI #53: Scheduled
36m 24s master
master
36m 24s
Nightly CI Nightly CI #52: Scheduled
36m 48s master
master
36m 48s
Nightly CI Nightly CI #51: Scheduled
36m 38s master
master
36m 38s
Nightly CI Nightly CI #50: Scheduled
35m 29s master
master
35m 29s
Nightly CI Nightly CI #49: Scheduled
36m 24s master
master
36m 24s
Nightly CI Nightly CI #48: Scheduled
36m 2s master
master
36m 2s
Nightly CI Nightly CI #47: Scheduled
36m 5s master
master
36m 5s
Nightly CI Nightly CI #46: Scheduled
35m 56s master
master
35m 56s
Nightly CI Nightly CI #45: Scheduled
36m 33s master
master
36m 33s