Skip to content

Actions: GaloisInc/asl-translator

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
6 workflow runs
6 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

CI: Test GHC 9.8, drop 9.2 CI Matrix #87: Commit f4a89de pushed by RyanGlScott
August 6, 2024 14:00 33m 35s master
master
August 6, 2024 14:00 33m 35s
Allow building with GHC 9.8 CI Matrix #86: Pull request #55 opened by RyanGlScott
August 6, 2024 10:07 34m 42s ghc-9.8
ghc-9.8
August 6, 2024 10:07 34m 42s
rerun parser/translator CI Matrix #85: Commit dacd522 pushed by danmatichuk
November 7, 2023 19:50 53m 29s master
master
November 7, 2023 19:50 53m 29s
Fix IT instruction/conditional blocks CI Matrix #84: Pull request #54 synchronize by danmatichuk
November 1, 2023 20:44 1h 19m 1s conditionals
conditionals
November 1, 2023 20:44 1h 19m 1s
Fix IT instruction/conditional blocks CI Matrix #83: Pull request #54 synchronize by danmatichuk
November 1, 2023 20:37 1h 11m 26s conditionals
conditionals
November 1, 2023 20:37 1h 11m 26s
Fix IT instruction/conditional blocks CI Matrix #82: Pull request #54 opened by danmatichuk
November 1, 2023 20:28 1h 9m 30s conditionals
conditionals
November 1, 2023 20:28 1h 9m 30s