Skip to content

Actions: sireum/logika-upgrader

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
CI.yml
3 workflow runs
3 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Use an alternative form of Let {(...) => SubProof(...)}: SubProof{(..… CI #3: Commit f49250c pushed by robby-phd
February 22, 2024 14:34 2m 42s master
master
February 22, 2024 14:34 2m 42s
Updated CI.yml and readme.md. CI #2: Commit 4ad63d8 pushed by robby-phd
October 19, 2023 21:58 2m 55s master
master
October 19, 2023 21:58 2m 55s
Initial commit. CI #1: Commit e984c06 pushed by robby-phd
October 19, 2023 19:45 3m 12s master
master
October 19, 2023 19:45 3m 12s