Skip to content

Actions: sireum/logika-examples

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
158 workflow runs
158 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Ignored .mill-version CI #188: Commit 3a36afb pushed by robby-phd
November 1, 2024 14:05 1m 18s master
master
November 1, 2024 14:05 1m 18s
Updated to use .sireum vscode extension auto project generation support. CI #187: Commit 0ca81ef pushed by robby-phd
October 31, 2024 13:36 1m 15s master
master
October 31, 2024 13:36 1m 15s
Enabled font ligature. CI #186: Commit dc5d484 pushed by robby-phd
October 18, 2024 01:29 1m 10s master
master
October 18, 2024 01:29 1m 10s
Updated deps. CI #185: Commit b45fc3c pushed by robby-phd
October 17, 2024 19:58 1m 18s master
master
October 17, 2024 19:58 1m 18s
Added VSCodium-based IVE config. CI #184: Commit 789ac4d pushed by robby-phd
October 15, 2024 18:35 1m 16s master
master
October 15, 2024 18:35 1m 16s
Addressed whitespace issues in SIREUM_HOME path. CI #183: Commit 0a52e5b pushed by robby-phd
September 12, 2024 19:51 2m 24s master
master
September 12, 2024 19:51 2m 24s
Addressed whitespace issues in SIREUM_HOME path. CI #182: Commit e18a373 pushed by robby-phd
September 11, 2024 21:17 8m 42s master
master
September 11, 2024 21:17 8m 42s
Addressed whitespace issue in SIREUM_HOME path. CI #181: Commit d8cf6c7 pushed by robby-phd
September 11, 2024 15:22 3m 4s master
master
September 11, 2024 15:22 3m 4s
Removed cron-scheduled verification (on push only). CI #180: Commit 61f73a5 pushed by robby-phd
March 20, 2024 14:27 1m 29s master
master
March 20, 2024 14:27 1m 29s
CI CI #179: Scheduled
March 20, 2024 01:50 1m 28s master
master
March 20, 2024 01:50 1m 28s
CI CI #178: Scheduled
March 20, 2024 00:57 1m 18s master
master
March 20, 2024 00:57 1m 18s
CI CI #177: Scheduled
March 19, 2024 01:51 1m 20s master
master
March 19, 2024 01:51 1m 20s
CI CI #176: Scheduled
March 19, 2024 00:57 1m 25s master
master
March 19, 2024 00:57 1m 25s
CI CI #175: Scheduled
March 18, 2024 00:59 1m 37s master
master
March 18, 2024 00:59 1m 37s
CI CI #174: Scheduled
March 17, 2024 01:01 1m 56s master
master
March 17, 2024 01:01 1m 56s
CI CI #173: Scheduled
March 16, 2024 01:46 1m 17s master
master
March 16, 2024 01:46 1m 17s
CI CI #172: Scheduled
March 16, 2024 00:56 1m 32s master
master
March 16, 2024 00:56 1m 32s
CI CI #171: Scheduled
March 15, 2024 01:52 1m 22s master
master
March 15, 2024 01:52 1m 22s
CI CI #170: Scheduled
March 15, 2024 00:58 1m 20s master
master
March 15, 2024 00:58 1m 20s
CI CI #169: Scheduled
March 14, 2024 01:50 1m 14s master
master
March 14, 2024 01:50 1m 14s
CI CI #168: Scheduled
March 14, 2024 00:57 1m 21s master
master
March 14, 2024 00:57 1m 21s
CI CI #167: Scheduled
March 13, 2024 01:53 1m 45s master
master
March 13, 2024 01:53 1m 45s
CI CI #166: Scheduled
March 13, 2024 00:58 1m 17s master
master
March 13, 2024 00:58 1m 17s
CI CI #165: Scheduled
March 12, 2024 01:49 1m 18s master
master
March 12, 2024 01:49 1m 18s
CI CI #164: Scheduled
March 12, 2024 00:57 1m 17s master
master
March 12, 2024 00:57 1m 17s