Skip to content

Actions: sireum/forms

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
16 workflow runs
16 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

mod to allow jitpack retrigger ci #16: Commit 48601e9 pushed by jasonbelt
January 6, 2025 21:23 32s 4.20250106.48601e9
4.20250106.48601e9
January 6, 2025 21:23 32s
mod to allow jitpack retrigger ci #15: Commit 48601e9 pushed by jasonbelt
January 6, 2025 21:23 34s master
master
January 6, 2025 21:23 34s
add microkit options ci #14: Commit 5c304c1 pushed by jasonbelt
January 6, 2025 20:37 41s master
master
January 6, 2025 20:37 41s
ci ci #13: by jasonbelt
January 6, 2025 20:37 44s 4.20250106.5c304c1
4.20250106.5c304c1
January 6, 2025 20:37 44s
Upgraded deps. ci #12: Commit 5e32a34 pushed by robby-phd
December 9, 2024 14:09 42s 4.20241209.5e32a34
4.20241209.5e32a34
December 9, 2024 14:09 42s
Upgraded deps. ci #11: Commit 5e32a34 pushed by robby-phd
December 9, 2024 14:03 47s master
master
December 9, 2024 14:03 47s
Upgraded deps. ci #10: Commit 2771823 pushed by robby-phd
December 6, 2024 19:12 45s master
master
December 6, 2024 19:12 45s
Added theme toggle button. ci #9: Commit f7a0079 pushed by robby-phd
November 1, 2024 18:59 43s master
master
November 1, 2024 18:59 43s
Removed dependency on jSystemDetector. ci #8: Commit 3c832fc pushed by robby-phd
November 1, 2024 18:48 37s master
master
November 1, 2024 18:48 37s
Removed dependency on jSystemDetector. ci #7: Commit 1c815d2 pushed by robby-phd
November 1, 2024 18:36 47s master
master
November 1, 2024 18:36 47s
mkdir rec ci #6: Commit e12ac40 pushed by jasonbelt
October 31, 2024 16:15 39s master
master
October 31, 2024 16:15 39s
use rolling version of os theme detector ci #5: Commit fb8a8ac pushed by jasonbelt
October 31, 2024 16:09 15s master
master
October 31, 2024 16:09 15s
resize jdialog after switching platforms ci #4: Commit eae4e9d pushed by jasonbelt
October 30, 2024 18:57 29s master
master
October 30, 2024 18:57 29s
Updated Logika form. ci #3: Commit dee0698 pushed by robby-phd
October 29, 2024 16:21 43s master
master
October 29, 2024 16:21 43s
Disabled Logika insert button initially. ci #2: Commit c0d2743 pushed by robby-phd
October 29, 2024 13:41 49s master
master
October 29, 2024 13:41 49s
Added ci.yml. ci #1: Commit eb73215 pushed by robby-phd
October 28, 2024 20:51 45s master
master
October 28, 2024 20:51 45s