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

finished semantic well-formedness of equality type CI build #433: Pull request #271 opened by HuStmpHrrr
December 10, 2024 06:58 8m 47s feature/soundness-pf-fix
feature/soundness-pf-fix
December 10, 2024 06:58 8m 47s
add a template for soundness proof (#270) CI build #432: Commit 03d5f3b pushed by HuStmpHrrr
December 9, 2024 04:08 8m 39s ext/prop-eq
ext/prop-eq
December 9, 2024 04:08 8m 39s
add a template for soundness proof CI build #431: Pull request #270 synchronize by HuStmpHrrr
December 9, 2024 04:00 8m 36s feature/soundness-fix
feature/soundness-fix
December 9, 2024 04:00 8m 36s
add a template for soundness proof CI build #430: Pull request #270 opened by HuStmpHrrr
December 9, 2024 03:07 8m 25s feature/soundness-fix
feature/soundness-fix
December 9, 2024 03:07 8m 25s
Fix realizability and Lemmas (#267) CI build #429: Commit d626e59 pushed by HuStmpHrrr
December 4, 2024 22:11 6m 43s ext/prop-eq
ext/prop-eq
December 4, 2024 22:11 6m 43s
Fix realizability and Lemmas CI build #428: Pull request #267 synchronize by HuStmpHrrr
December 2, 2024 06:29 6m 46s feature/soudness2
feature/soudness2
December 2, 2024 06:29 6m 46s
Fix realizability and Lemmas CI build #427: Pull request #267 synchronize by HuStmpHrrr
November 24, 2024 08:40 6m 34s feature/soudness2
feature/soudness2
November 24, 2024 08:40 6m 34s
Fix realizability and Lemmas CI build #426: Pull request #267 opened by HuStmpHrrr
November 24, 2024 08:38 16m 25s feature/soudness2
feature/soudness2
November 24, 2024 08:38 16m 25s
Merge pull request #266 from Beluga-lang/feature/merge-from-main CI build #425: Commit 3e33620 pushed by HuStmpHrrr
November 23, 2024 19:42 5m 33s ext/prop-eq
ext/prop-eq
November 23, 2024 19:42 5m 33s
Feature/merge from main CI build #424: Pull request #266 synchronize by HuStmpHrrr
November 23, 2024 19:36 6m 9s feature/merge-from-main
feature/merge-from-main
November 23, 2024 19:36 6m 9s
Feature/merge from main CI build #423: Pull request #266 opened by HuStmpHrrr
November 23, 2024 19:31 2m 11s feature/merge-from-main
feature/merge-from-main
November 23, 2024 19:31 2m 11s
Update Makefile (#264) CI build #422: Commit c33ec07 pushed by Ailrun
November 16, 2024 23:50 7m 37s main
main
November 16, 2024 23:50 7m 37s
Update Makefile CI build #421: Pull request #264 opened by Ailrun
November 16, 2024 23:43 7m 35s pr-fix-missed-name-change
pr-fix-missed-name-change
November 16, 2024 23:43 7m 35s
Fix homepage title (#263) CI build #420: Commit 2f662c9 pushed by Ailrun
November 16, 2024 22:36 7m 42s main
main
November 16, 2024 22:36 7m 42s
Fix homepage title CI build #419: Pull request #263 opened by Ailrun
November 16, 2024 22:29 7m 30s pr-update-names
pr-update-names
November 16, 2024 22:29 7m 30s
Change McLTT into McTT (#262) CI build #418: Commit 7d87039 pushed by Ailrun
November 16, 2024 22:07 7m 36s main
main
November 16, 2024 22:07 7m 36s
Change McLTT into McTT (for the main branch) CI build #417: Pull request #262 opened by Ailrun
November 16, 2024 21:59 7m 45s pr-update-names
pr-update-names
November 16, 2024 21:59 7m 45s
Working on soundness proof (#259) CI build #416: Commit 97c560d pushed by Ailrun
November 16, 2024 20:58 5m 24s ext/prop-eq
ext/prop-eq
November 16, 2024 20:58 5m 24s
Working on soundness proof CI build #415: Pull request #259 synchronize by HuStmpHrrr
November 10, 2024 02:35 5m 25s feature/soundness
feature/soundness
November 10, 2024 02:35 5m 25s
Update README.md (#261) CI build #414: Commit 9566894 pushed by Ailrun
November 9, 2024 16:43 7m 34s main
main
November 9, 2024 16:43 7m 34s
Update README.md CI build #413: Pull request #261 opened by pientka
November 9, 2024 16:20 7m 34s pientka-patch-1
pientka-patch-1
November 9, 2024 16:20 7m 34s
Working on soundness proof CI build #412: Pull request #259 synchronize by HuStmpHrrr
November 9, 2024 06:26 5m 27s feature/soundness
feature/soundness
November 9, 2024 06:26 5m 27s
Rename McLTT in README CI build #411: Commit 8835b73 pushed by Ailrun
November 8, 2024 21:23 7m 37s main
main
November 8, 2024 21:23 7m 37s
Working on soundness proof CI build #410: Pull request #259 synchronize by HuStmpHrrr
November 8, 2024 06:51 3m 48s feature/soundness
feature/soundness
November 8, 2024 06:51 3m 48s
Working on soundness proof CI build #409: Pull request #259 synchronize by HuStmpHrrr
November 6, 2024 07:27 3m 51s feature/soundness
feature/soundness
November 6, 2024 07:27 3m 51s