Skip to content

Actions: duo-lang/duo-lang

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
11 workflow runs
11 workflow runs

Filter by Event

Loading

Filter by Status

Loading

Filter by Branch

Loading

Filter by Actor

Loading
Interdependency tests CI #2354: Pull request #581 synchronize by LukasProgress
May 23, 2023 13:45 13m 43s interdependency-tests
interdependency-tests
May 23, 2023 13:45 13m 43s
Interdependency tests CI #2353: Pull request #581 synchronize by LukasProgress
May 23, 2023 12:05 11m 4s interdependency-tests
interdependency-tests
May 23, 2023 12:05 11m 4s
Interdependency tests CI #2352: Pull request #581 synchronize by skingo
May 22, 2023 20:47 24m 21s interdependency-tests
interdependency-tests
May 22, 2023 20:47 24m 21s
Interdependency tests CI #2351: Pull request #581 synchronize by LukasProgress
May 22, 2023 15:32 19m 22s interdependency-tests
interdependency-tests
May 22, 2023 15:32 19m 22s
Interdependency tests CI #2350: Pull request #581 synchronize by LukasProgress
May 22, 2023 15:27 15m 24s interdependency-tests
interdependency-tests
May 22, 2023 15:27 15m 24s
Interdependency tests CI #2349: Pull request #581 synchronize by LukasProgress
May 22, 2023 15:00 19m 39s interdependency-tests
interdependency-tests
May 22, 2023 15:00 19m 39s
Interdependency tests CI #2348: Pull request #581 opened by LukasProgress
May 22, 2023 13:54 40s interdependency-tests
interdependency-tests
May 22, 2023 13:54 40s
uncouples arguments of refinement types from the actual type CI #2347: Pull request #578 synchronize by skingo
May 12, 2023 17:21 9m 18s RefinementSyntax
RefinementSyntax
May 12, 2023 17:21 9m 18s
fix import warning CI #2346: Commit 263c050 pushed by skingo
May 12, 2023 16:46 24m 22s main
main
May 12, 2023 16:46 24m 22s
update CI to ghc 9.2.7 CI #2345: Commit 9f5f960 pushed by skingo
May 12, 2023 16:24 19m 44s main
main
May 12, 2023 16:24 19m 44s
remove (unused) refineedges from type automata CI #2344: Commit e891408 pushed by skingo
May 12, 2023 16:04 2m 58s main
main
May 12, 2023 16:04 2m 58s