Skip to content

Actions: Lipen/sat-nexus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
149 workflow runs
149 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use abi3
CI #295: Commit a87b282 pushed by Lipen
March 20, 2025 23:46 7m 19s master
March 20, 2025 23:46 7m 19s
Add freeze API
CI #294: Commit 02980c4 pushed by Lipen
March 19, 2025 16:01 7m 34s master
March 19, 2025 16:01 7m 34s
Improve propagate API
CI #293: Commit 1d237a4 pushed by Lipen
March 19, 2025 15:19 8m 43s master
March 19, 2025 15:19 8m 43s
Add statistics, fix some docs
CI #292: Commit 911c48d pushed by Lipen
March 17, 2025 12:15 9m 2s master
March 17, 2025 12:15 9m 2s
Use default empty vec for assumptions
CI #291: Commit 0197a1b pushed by Lipen
March 6, 2025 22:15 6m 10s master
March 6, 2025 22:15 6m 10s
Refine api
CI #290: Commit 25d6e58 pushed by Lipen
March 6, 2025 20:04 6m 41s master
March 6, 2025 20:04 6m 41s
Bump actions/upload-artifact to v4
CI #289: Commit 3c0f0f8 pushed by Lipen
March 6, 2025 10:46 5m 58s master
March 6, 2025 10:46 5m 58s
Handle empty data
CI #288: Commit 87ff272 pushed by Lipen
March 6, 2025 10:45 7m 27s master
March 6, 2025 10:45 7m 27s
Bump actions/upload-artifact to v4
CI #287: Commit fb387f1 pushed by Lipen
March 6, 2025 10:15 7m 47s master
March 6, 2025 10:15 7m 47s
Add pydical crate for using Cadical in Python
CI #286: Commit f01a1eb pushed by Lipen
March 5, 2025 22:15 1m 36s master
March 5, 2025 22:15 1m 36s
Audit Dependencies
Audit Dependencies #168: Scheduled
February 17, 2025 01:16 3m 6s master
February 17, 2025 01:16 3m 6s
Audit Dependencies
Audit Dependencies #167: Scheduled
February 10, 2025 01:14 16s master
February 10, 2025 01:14 16s
Audit Dependencies
Audit Dependencies #166: Scheduled
February 3, 2025 01:13 22s master
February 3, 2025 01:13 22s
Audit Dependencies
Audit Dependencies #165: Scheduled
January 27, 2025 01:13 17s master
January 27, 2025 01:13 17s
Audit Dependencies
Audit Dependencies #164: Scheduled
January 20, 2025 01:12 13s master
January 20, 2025 01:12 13s
Audit Dependencies
Audit Dependencies #163: Scheduled
January 13, 2025 01:17 27s master
January 13, 2025 01:17 27s
Audit Dependencies
Audit Dependencies #162: Scheduled
January 6, 2025 01:17 18s master
January 6, 2025 01:17 18s
Audit Dependencies
Audit Dependencies #161: Scheduled
December 30, 2024 01:15 17s master
December 30, 2024 01:15 17s
Audit Dependencies
Audit Dependencies #160: Scheduled
December 23, 2024 01:15 18s master
December 23, 2024 01:15 18s
Audit Dependencies
Audit Dependencies #159: Scheduled
December 16, 2024 01:22 23s master
December 16, 2024 01:22 23s
Audit Dependencies
Audit Dependencies #158: Scheduled
December 9, 2024 01:22 18s master
December 9, 2024 01:22 18s
Add comments
Audit Dependencies #157: Commit ac56438 pushed by Lipen
December 4, 2024 09:19 18s master
December 4, 2024 09:19 18s
Add comments
CI #285: Commit ac56438 pushed by Lipen
December 4, 2024 09:19 9m 9s master
December 4, 2024 09:19 9m 9s
Audit Dependencies
Audit Dependencies #156: Scheduled
December 2, 2024 01:21 15s master
December 2, 2024 01:21 15s
Fix path to cadical.dll on CI
CI #284: Commit 8de6ba3 pushed by Lipen
November 27, 2024 23:18 6m 33s master
November 27, 2024 23:18 6m 33s