Skip to content

Actions: hipsleek/Heifer

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
69 workflow runs
69 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Increase timeout for cram tests Main workflow #450: Commit 0f12a07 pushed by VietAnh1010
1m 47s master
master
1m 47s
Merge pull request #65 from hipsleek/ocaml-frontend Main workflow #449: Commit 3760dbd pushed by dariusf
2m 0s master
master
2m 0s
Revive OCaml frontend Main workflow #448: Pull request #65 synchronize by dariusf
1m 37s ocaml-frontend
ocaml-frontend
1m 37s
Revive OCaml frontend Main workflow #447: Pull request #65 opened by dariusf
2m 7s ocaml-frontend
ocaml-frontend
2m 7s
Don't install z3 from source Main workflow #446: Commit 2f651f2 pushed by dariusf
5m 21s master
master
5m 21s
Remove web deployment Main workflow #445: Commit e4b3393 pushed by dariusf
9m 18s master
master
9m 18s
Remove old stuff Main workflow #444: Commit b6872e2 pushed by dariusf
25m 27s master
master
25m 27s
pages build and deployment pages-build-deployment #302: by github-pages Bot
28s gh-pages
gh-pages
28s
pages build and deployment pages-build-deployment #301: by github-pages Bot
2m 26s gh-pages
gh-pages
2m 26s
Implement prototype for certificate generation Main workflow #443: Pull request #64 opened by danbaterisna
21m 28s certificate
certificate
21m 28s
Merge pull request #62 from hipsleek/pretty-print-rewrite Main workflow #442: Commit 9066efe pushed by danbaterisna
25m 23s master
master
25m 23s
Merge pull request #60 from hipsleek/disable-typing Main workflow #441: Commit 1d33775 pushed by danbaterisna
25m 6s master
master
25m 6s
Rewrite pretty printer Main workflow #440: Pull request #62 synchronize by danbaterisna
24m 32s pretty-print-rewrite
pretty-print-rewrite
24m 32s
Rewrite pretty printer Main workflow #439: Pull request #62 synchronize by danbaterisna
20m 35s pretty-print-rewrite
pretty-print-rewrite
20m 35s
Rewrite pretty printer Main workflow #438: Pull request #62 opened by danbaterisna
21m 1s pretty-print-rewrite
pretty-print-rewrite
21m 1s
Add env var to disable typing of formulas during entailment checking Main workflow #437: Pull request #60 opened by danbaterisna
2m 14s disable-typing
disable-typing
2m 14s
pages build and deployment pages-build-deployment #300: by github-pages Bot
27s gh-pages
gh-pages
27s
Merge pull request #57 from hipsleek/deduplicate-ast Main workflow #436: Commit b3bdb07 pushed by VietAnh1010
5m 18s master
master
5m 18s
Extract shared definitions for typed and untyped representations Main workflow #435: Pull request #57 synchronize by danbaterisna
1m 53s deduplicate-ast
deduplicate-ast
1m 53s
Extract shared definitions for typed and untyped representations Main workflow #434: Pull request #57 synchronize by danbaterisna
57s deduplicate-ast
deduplicate-ast
57s
Extract shared definitions for typed and untyped representations Main workflow #433: Pull request #57 opened by danbaterisna
5m 43s deduplicate-ast
deduplicate-ast
5m 43s
pages build and deployment pages-build-deployment #299: by github-pages Bot
23s gh-pages
gh-pages
23s
Merge pull request #53 from hipsleek/append-fixes Main workflow #432: Commit 4c78c64 pushed by danbaterisna
1m 43s master
master
1m 43s
Account for types of higher-order functions during typechecking Main workflow #431: Pull request #53 synchronize by danbaterisna
1m 53s append-fixes
append-fixes
1m 53s
Account for types of higher-order functions during typechecking Main workflow #430: Pull request #53 opened by danbaterisna
1m 51s append-fixes
append-fixes
1m 51s