Skip to content

Actions: FStarLang/AlgoStar

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
22 workflow runs
22 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 Nightly #14: Scheduled
18s main
main
18s
Nightly Nightly #13: Scheduled
23s main
main
23s
Add a reference to Kruskal in the relational specs part of the report CI #8: Commit 05fcf17 pushed by nikswamy
36m 53s main
main
36m 53s
Nightly Nightly #12: Scheduled
36m 6s main
main
36m 6s
Revise TEST_REVIEW_REPORT: P1 gaps section reflects all-resolved status CI #7: Commit fa5d276 pushed by nikswamy
37m 10s main
main
37m 10s
Update TEST_REVIEW_REPORT.md: mark P1 spec gaps as resolved CI #6: Commit a285aa1 pushed by nikswamy
36m 16s main
main
36m 16s
Centralize toolchain detection in config.mk; fix BFS postcondition order CI #5: Commit 0ec25a9 pushed by nikswamy
36m 37s main
main
36m 37s
BFS: prove shortest-path optimality (∀w k. reachable_in(w,k) ⟹ dist[w… CI #4: Commit 27538c0 pushed by nikswamy
36m 7s main
main
36m 7s
Nightly Nightly #11: Scheduled
35m 19s main
main
35m 19s
Pin F* release v2026.04.17 in setup.sh and CI CI #3: Commit fe934c0 pushed by nikswamy
35m 31s main
main
35m 31s
Nightly Nightly #10: Scheduled
8m 24s main
main
8m 24s
Nightly Nightly #9: Scheduled
52m 5s main
main
52m 5s
Nightly Nightly #8: Scheduled
56m 5s main
main
56m 5s
Nightly Nightly #7: Scheduled
53m 5s main
main
53m 5s
Nightly Nightly #6: Scheduled
27m 55s main
main
27m 55s
Nightly Nightly #5: Scheduled
10m 26s main
main
10m 26s
Nightly Nightly #4: Scheduled
52m 3s main
main
52m 3s
Nightly Nightly #3: Scheduled
52m 6s main
main
52m 6s
Nightly Nightly #2: Scheduled
26m 38s main
main
26m 38s
Nightly Nightly #1: Scheduled
52m 4s main
main
52m 4s
CI CI #2: Manually run by nikswamy
54m 8s main
main
54m 8s
Add nightly CI workflow CI #1: Commit 2dbac29 pushed by nikswamy
53m 5s main
main
53m 5s