Skip to content

Actions: Beluga-lang/McTT

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
254 workflow run results
254 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve proof quality CI build #197: Pull request #70 synchronize by Ailrun
May 9, 2024 06:40 9m 42s pr-refactoring-proofs
pr-refactoring-proofs
May 9, 2024 06:40 9m 42s
Refactoring structure (#69) CI build #196: Commit df75a31 pushed by Ailrun
May 9, 2024 04:00 9m 29s main
main
May 9, 2024 04:00 9m 29s
Refactoring structure CI build #195: Pull request #69 synchronize by Ailrun
May 9, 2024 03:51 9m 12s pr-refactoring-structure
pr-refactoring-structure
May 9, 2024 03:51 9m 12s
Refactoring structure CI build #194: Pull request #69 opened by Ailrun
May 9, 2024 03:25 9m 34s pr-refactoring-structure
pr-refactoring-structure
May 9, 2024 03:25 9m 34s
Prove PER for per_ctx_env (#68) CI build #193: Commit 89d19a2 pushed by Ailrun
May 9, 2024 03:16 9m 49s main
main
May 9, 2024 03:16 9m 49s
Prove PER for per_ctx_env CI build #192: Pull request #68 synchronize by Ailrun
May 9, 2024 03:03 9m 1s pr-per-ctx-env
pr-per-ctx-env
May 9, 2024 03:03 9m 1s
Prove PER for per_ctx_env CI build #191: Pull request #68 synchronize by Ailrun
May 9, 2024 03:03 5m 25s pr-per-ctx-env
pr-per-ctx-env
May 9, 2024 03:03 5m 25s
Prove PER for per_ctx_env CI build #190: Pull request #68 synchronize by Ailrun
May 9, 2024 03:02 5m 15s pr-per-ctx-env
pr-per-ctx-env
May 9, 2024 03:02 5m 15s
Prove PER for per_ctx_env CI build #189: Pull request #68 synchronize by Ailrun
May 8, 2024 23:12 8m 55s pr-per-ctx-env
pr-per-ctx-env
May 8, 2024 23:12 8m 55s
Prove PER for per_ctx_env CI build #188: Pull request #68 opened by Ailrun
May 8, 2024 23:05 8m 58s pr-per-ctx-env
pr-per-ctx-env
May 8, 2024 23:05 8m 58s
Prove cumulativity (#67) CI build #187: Commit 808d404 pushed by HuStmpHrrr
May 8, 2024 22:56 9m 16s main
main
May 8, 2024 22:56 9m 16s
Prove cumulativity CI build #186: Pull request #67 opened by Ailrun
May 8, 2024 20:07 9m 24s pr-cumulativity
pr-cumulativity
May 8, 2024 20:07 9m 24s
Refactor the module structure (#66) CI build #185: Commit 3bfedb1 pushed by Ailrun
May 8, 2024 19:40 9m 2s main
main
May 8, 2024 19:40 9m 2s
Refactor the module structure CI build #184: Pull request #66 opened by Ailrun
May 8, 2024 19:31 9m 13s pr-refactor
pr-refactor
May 8, 2024 19:31 9m 13s
Some refactoring (#62) CI build #183: Commit 6f029e3 pushed by HuStmpHrrr
May 6, 2024 17:53 9m 15s main
main
May 6, 2024 17:53 9m 15s
Some refactoring CI build #182: Pull request #62 synchronize by Ailrun
May 6, 2024 17:02 9m 26s pr-refactor
pr-refactor
May 6, 2024 17:02 9m 26s
Some refactoring CI build #181: Pull request #62 synchronize by Ailrun
May 6, 2024 17:01 8m 52s pr-refactor
pr-refactor
May 6, 2024 17:01 8m 52s
Some refactoring CI build #180: Pull request #62 opened by Ailrun
May 6, 2024 17:00 9m 4s pr-refactor
pr-refactor
May 6, 2024 17:00 9m 4s
Finish Realizability for PER (#60) CI build #179: Commit 97ff14d pushed by HuStmpHrrr
May 6, 2024 16:09 8m 55s main
main
May 6, 2024 16:09 8m 55s
Finish Realizability for PER CI build #178: Pull request #60 synchronize by Ailrun
May 6, 2024 15:54 9m 26s pr-realizability
pr-realizability
May 6, 2024 15:54 9m 26s
Finish Realizability for PER CI build #177: Pull request #60 synchronize by Ailrun
May 6, 2024 15:52 8m 53s pr-realizability
pr-realizability
May 6, 2024 15:52 8m 53s
Finish Realizability for PER CI build #176: Pull request #60 synchronize by HuStmpHrrr
May 6, 2024 15:18 8m 52s pr-realizability
pr-realizability
May 6, 2024 15:18 8m 52s
Finish Realizability for PER CI build #175: Pull request #60 synchronize by Ailrun
May 6, 2024 14:17 10m 6s pr-realizability
pr-realizability
May 6, 2024 14:17 10m 6s
Finish Realizability for PER CI build #174: Pull request #60 synchronize by Ailrun
May 6, 2024 09:56 8m 54s pr-realizability
pr-realizability
May 6, 2024 09:56 8m 54s
Finish Realizability for PER CI build #173: Pull request #60 synchronize by Ailrun
May 6, 2024 09:54 9m 3s pr-realizability
pr-realizability
May 6, 2024 09:54 9m 3s