Skip to content

Actions: anzellai/sky

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,500+ workflow runs
2,500+ 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
Nightly example sweep Nightly example sweep #76: Scheduled
58m 9s main
main
58m 9s
Falsifier proofs for v0.27.2 (14 PROVEN; config-matrix INCONCLUSIVE, … Release #547: Commit 4636d2d pushed by anzellai
1h 6m 6s v0.27.2
v0.27.2
1h 6m 6s
Falsifier proofs for v0.27.2 (14 PROVEN; config-matrix INCONCLUSIVE, … Rust CI #583: Commit 4636d2d pushed by anzellai
6m 18s main
main
6m 18s
Falsifier proofs for v0.27.2 (14 PROVEN; config-matrix INCONCLUSIVE, … Docs site #116: Commit 4636d2d pushed by anzellai
4m 57s main
main
4m 57s
Release Release #546: Manually run by anzellai
1h 16m 32s release/v0.27.2
release/v0.27.2
1h 16m 32s
v0.27.2: SQL NULL, Sky.Live #fragment, check and sky.toml fixes Rust CI #582: Pull request #211 opened by anzellai
21m 34s release/v0.27.2
release/v0.27.2
21m 34s
Nightly example sweep Nightly example sweep #75: Scheduled
1h 1m 51s main
main
1h 1m 51s
Falsifier proofs and coverage ledger for v0.27.1 (11 PROVEN incl. cov… Release #545: Commit 73f14a3 pushed by anzellai
1h 15m 6s v0.27.1
v0.27.1
1h 15m 6s
Falsifier proofs and coverage ledger for v0.27.1 (11 PROVEN incl. cov… Rust CI #581: Commit 73f14a3 pushed by anzellai
18m 57s main
main
18m 57s
Falsifier proofs and coverage ledger for v0.27.1 (11 PROVEN incl. cov… Docs site #115: Commit 73f14a3 pushed by anzellai
3m 11s main
main
3m 11s
Release Release #544: Manually run by anzellai
59m 51s release/v0.27.1
release/v0.27.1
59m 51s
v0.27.1: Sky.Spa RPCs keep their cookies; bounded console check Rust CI #580: Pull request #210 opened by anzellai
18m 20s release/v0.27.1
release/v0.27.1
18m 20s
Falsifier proofs: re-prove the gates whose inputs the heap-test bound… Release #543: Commit 5616caf pushed by anzellai
1h 10m 6s v0.27.0
v0.27.0
1h 10m 6s
Falsifier proofs: re-prove the gates whose inputs the heap-test bound… Rust CI #579: Commit 5616caf pushed by anzellai
21m 15s main
main
21m 15s
Falsifier proofs: re-prove the gates whose inputs the heap-test bound… Docs site #114: Commit 5616caf pushed by anzellai
5m 22s main
main
5m 22s
Release Release #542: Manually run by anzellai
1h 5m 42s release/v0.27.0
release/v0.27.0
1h 5m 42s
v0.27.0 (integration branch, draft) Rust CI #578: Pull request #207 synchronize by anzellai
18m 53s release/v0.27.0
release/v0.27.0
18m 53s
v0.27.0 (integration branch, draft) Rust CI #577: Pull request #207 synchronize by anzellai
20m 19s release/v0.27.0
release/v0.27.0
20m 19s
Release Release #541: Manually run by anzellai
59m 17s release/v0.27.0
release/v0.27.0
59m 17s
v0.27.0 (integration branch, draft) Rust CI #576: Pull request #207 synchronize by anzellai
18m 59s release/v0.27.0
release/v0.27.0
18m 59s
Release Release #540: Manually run by anzellai
1h 17m 40s release/v0.27.0
release/v0.27.0
1h 17m 40s
v0.27.0 (integration branch, draft) Rust CI #575: Pull request #207 synchronize by anzellai
19m 2s release/v0.27.0
release/v0.27.0
19m 2s
Release Release #539: Manually run by anzellai
1h 9m 52s release/v0.27.0
release/v0.27.0
1h 9m 52s
v0.27.0 (integration branch, draft) Rust CI #574: Pull request #207 synchronize by anzellai
20m 8s release/v0.27.0
release/v0.27.0
20m 8s
Release Release #538: Manually run by anzellai
10m 25s release/v0.27.0
release/v0.27.0
10m 25s