Skip to content

Actions: Beluga-lang/McTT

Actions

CI build

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci_build.yaml
431 workflow runs
431 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

implement monotonicity CI build #131: Pull request #149 synchronize by HuStmpHrrr
July 31, 2024 01:53 3m 40s feature/monotonicity
feature/monotonicity
July 31, 2024 01:53 3m 40s
implement monotonicity CI build #130: Pull request #149 opened by HuStmpHrrr
July 31, 2024 01:50 3m 48s feature/monotonicity
feature/monotonicity
July 31, 2024 01:50 3m 48s
add more morphisms CI build #129: Pull request #148 opened by HuStmpHrrr
July 31, 2024 00:40 3m 52s feature/more-morphisms
feature/more-morphisms
July 31, 2024 00:40 3m 52s
working on realizability (#140) CI build #128: Commit 1e6f531 pushed by HuStmpHrrr
July 29, 2024 23:57 4m 20s main
main
July 29, 2024 23:57 4m 20s
working on realizability CI build #127: Pull request #140 synchronize by HuStmpHrrr
July 29, 2024 23:53 3m 44s feature/realizability
feature/realizability
July 29, 2024 23:53 3m 44s
working on realizability CI build #126: Pull request #140 synchronize by HuStmpHrrr
July 29, 2024 23:51 3m 36s feature/realizability
feature/realizability
July 29, 2024 23:51 3m 36s
working on realizability CI build #125: Pull request #140 synchronize by HuStmpHrrr
July 29, 2024 18:50 3m 41s feature/realizability
feature/realizability
July 29, 2024 18:50 3m 41s
working on realizability CI build #124: Pull request #140 synchronize by HuStmpHrrr
July 29, 2024 18:43 3m 41s feature/realizability
feature/realizability
July 29, 2024 18:43 3m 41s
working on realizability CI build #123: Pull request #140 synchronize by HuStmpHrrr
July 29, 2024 18:03 3m 24s feature/realizability
feature/realizability
July 29, 2024 18:03 3m 24s
Provide more soundness lemmas (#141) CI build #122: Commit 86f48d9 pushed by HuStmpHrrr
July 29, 2024 15:08 3m 9s main
main
July 29, 2024 15:08 3m 9s
Provide more soundness lemmas CI build #121: Pull request #141 synchronize by Ailrun
July 29, 2024 05:43 3m 11s pr-add-more-lemmas
pr-add-more-lemmas
July 29, 2024 05:43 3m 11s
working on realizability CI build #120: Pull request #140 synchronize by HuStmpHrrr
July 28, 2024 15:32 3m 35s feature/realizability
feature/realizability
July 28, 2024 15:32 3m 35s
working on realizability CI build #119: Pull request #140 synchronize by HuStmpHrrr
July 28, 2024 15:29 3m 34s feature/realizability
feature/realizability
July 28, 2024 15:29 3m 34s
working on realizability CI build #118: Pull request #140 synchronize by HuStmpHrrr
July 28, 2024 14:19 3m 39s feature/realizability
feature/realizability
July 28, 2024 14:19 3m 39s
working on realizability CI build #117: Pull request #140 synchronize by HuStmpHrrr
July 28, 2024 13:02 3m 45s feature/realizability
feature/realizability
July 28, 2024 13:02 3m 45s
working on realizability CI build #116: Pull request #140 synchronize by HuStmpHrrr
July 28, 2024 02:57 3m 15s feature/realizability
feature/realizability
July 28, 2024 02:57 3m 15s
working on realizability CI build #115: Pull request #140 synchronize by HuStmpHrrr
July 28, 2024 00:19 3m 16s feature/realizability
feature/realizability
July 28, 2024 00:19 3m 16s
working on realizability CI build #114: Pull request #140 synchronize by HuStmpHrrr
July 27, 2024 23:41 3m 21s feature/realizability
feature/realizability
July 27, 2024 23:41 3m 21s
working on realizability CI build #113: Pull request #140 synchronize by HuStmpHrrr
July 27, 2024 21:58 3m 10s feature/realizability
feature/realizability
July 27, 2024 21:58 3m 10s
Provide more soundness lemmas CI build #112: Pull request #141 opened by Ailrun
July 26, 2024 21:57 3m 12s pr-add-more-lemmas
pr-add-more-lemmas
July 26, 2024 21:57 3m 12s
working on realizability CI build #111: Pull request #140 synchronize by HuStmpHrrr
July 26, 2024 19:37 3m 2s feature/realizability
feature/realizability
July 26, 2024 19:37 3m 2s
working on realizability CI build #110: Pull request #140 synchronize by HuStmpHrrr
July 26, 2024 19:14 3m 17s feature/realizability
feature/realizability
July 26, 2024 19:14 3m 17s
working on realizability CI build #109: Pull request #140 synchronize by HuStmpHrrr
July 26, 2024 17:19 3m 18s feature/realizability
feature/realizability
July 26, 2024 17:19 3m 18s
working on realizability CI build #108: Pull request #140 synchronize by HuStmpHrrr
July 26, 2024 16:52 3m 15s feature/realizability
feature/realizability
July 26, 2024 16:52 3m 15s
working on realizability CI build #107: Pull request #140 synchronize by HuStmpHrrr
July 26, 2024 16:51 3m 30s feature/realizability
feature/realizability
July 26, 2024 16:51 3m 30s
ProTip! You can narrow down the results and go further in time using created:<2024-07-26 or the other filters available.