Skip to content

Actions: tchajed/seplogic-demo

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
13 workflow runs
13 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI CI #339: Manually run by tchajed
February 3, 2025 16:02 8m 51s master
master
February 3, 2025 16:02 8m 51s
CI CI #338: Scheduled
February 3, 2025 06:32 8m 39s master
master
February 3, 2025 06:32 8m 39s
CI CI #337: Scheduled
January 3, 2025 06:33 8m 34s master
master
January 3, 2025 06:33 8m 34s
CI CI #336: Scheduled
December 3, 2024 06:34 8m 10s master
master
December 3, 2024 06:34 8m 10s
CI CI #335: Scheduled
November 3, 2024 06:31 8m 10s master
master
November 3, 2024 06:31 8m 10s
CI CI #334: Scheduled
October 3, 2024 06:31 8m 15s master
master
October 3, 2024 06:31 8m 15s
Bump to Coq 8.20 CI #333: Commit 389cd46 pushed by tchajed
September 26, 2024 19:31 8m 19s master
master
September 26, 2024 19:31 8m 19s
Try fixing pip issue CI #332: Commit 4c6526e pushed by tchajed
September 26, 2024 19:20 8m 1s master
master
September 26, 2024 19:20 8m 1s
Fix error in workflow config CI #331: Commit 1b2e2a5 pushed by tchajed
September 26, 2024 19:16 1m 32s master
master
September 26, 2024 19:16 1m 32s
Bump some dependencies CI #330: Commit 522aa16 pushed by tchajed
September 26, 2024 19:13 20s master
master
September 26, 2024 19:13 20s
CI CI #329: Scheduled
February 3, 2024 06:21 7m 47s master
master
February 3, 2024 06:21 7m 47s
CI CI #328: Scheduled
January 3, 2024 06:24 7m 14s master
master
January 3, 2024 06:24 7m 14s
CI CI #327: Scheduled
December 3, 2023 06:22 7m 21s master
master
December 3, 2023 06:22 7m 21s