Skip to content

Actions: escalier-lang/escalier-next

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,111 workflow runs
1,111 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Parse array types (#6)
.github/workflows/pr.yml #11: Commit 17bf6ba pushed by kevinbarabash
November 1, 2023 12:32 54s main
November 1, 2023 12:32 54s
Parse array types
.github/workflows/pr.yml #10: Pull request #6 synchronize by kevinbarabash
November 1, 2023 12:19 46s parse-array-type
November 1, 2023 12:19 46s
Parse array types
.github/workflows/pr.yml #9: Pull request #6 synchronize by kevinbarabash
November 1, 2023 12:02 50s parse-array-type
November 1, 2023 12:02 50s
Parse array types
.github/workflows/pr.yml #8: Pull request #6 synchronize by kevinbarabash
November 1, 2023 04:40 57s parse-array-type
November 1, 2023 04:40 57s
Parse array types
.github/workflows/pr.yml #7: Pull request #6 opened by kevinbarabash
November 1, 2023 04:18 1m 3s parse-array-type
November 1, 2023 04:18 1m 3s
trigger on pushes to 'main' instead of 'master'
.github/workflows/pr.yml #6: Commit 8567293 pushed by kevinbarabash
November 1, 2023 02:31 2m 19s main
November 1, 2023 02:31 2m 19s
triger CI workflow on push to 'master' and on all PRs
.github/workflows/pr.yml #5: Pull request #5 opened by kevinbarabash
November 1, 2023 02:27 1m 41s tweak-ci-triggers
November 1, 2023 02:27 1m 41s
Collect and report code coverage
.github/workflows/pr.yml #4: Pull request #4 opened by kevinbarabash
November 1, 2023 01:35 43s code-coverage
November 1, 2023 01:35 43s
Setup CI to run tests
.github/workflows/pr.yml #3: Pull request #3 synchronize by kevinbarabash
October 31, 2023 02:53 41s setup-ci
October 31, 2023 02:53 41s
Setup CI to run tests
.github/workflows/pr.yml #2: Pull request #3 synchronize by kevinbarabash
October 31, 2023 02:51 36s setup-ci
October 31, 2023 02:51 36s
Setup CI to run tests
.github/workflows/pr.yml #1: Pull request #3 opened by kevinbarabash
October 31, 2023 02:49 27s setup-ci
October 31, 2023 02:49 27s
ProTip! You can narrow down the results and go further in time using created:<2023-10-31 or the other filters available.