Skip to content

Actions: DistCompiler/forja

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
116 workflow runs
116 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
add SymbolicMap, implement Manip tailrec detection .github/workflows/test.yml #68: Commit d1a91fe pushed by fhackett
4m 13s main
main
4m 13s
Merge pull request #15 from DistCompiler/fhackett-wellformed-def .github/workflows/validation.yml #67: Commit 21b0a86 pushed by fhackett
1m 30s main
main
1m 30s
Merge pull request #15 from DistCompiler/fhackett-wellformed-def .github/workflows/test.yml #67: Commit 21b0a86 pushed by fhackett
4m 31s main
main
4m 31s
WellformedDef idea .github/workflows/validation.yml #66: Pull request #15 synchronize by fhackett
1m 3s fhackett-wellformed-def
fhackett-wellformed-def
1m 3s
WellformedDef idea .github/workflows/test.yml #66: Pull request #15 synchronize by fhackett
4m 7s fhackett-wellformed-def
fhackett-wellformed-def
4m 7s
WellformedDef idea .github/workflows/test.yml #65: Pull request #15 opened by fhackett
4m 31s fhackett-wellformed-def
fhackett-wellformed-def
4m 31s
WellformedDef idea .github/workflows/validation.yml #65: Pull request #15 opened by fhackett
1m 30s fhackett-wellformed-def
fhackett-wellformed-def
1m 30s
scalafmt again .github/workflows/test.yml #64: Commit e821bfc pushed by fhackett
4m 28s main
main
4m 28s
scalafmt again .github/workflows/validation.yml #64: Commit e821bfc pushed by fhackett
1m 30s main
main
1m 30s
move ops so Ctrl^click works .github/workflows/test.yml #63: Commit 238c270 pushed by fhackett
4m 5s main
main
4m 5s
move ops so Ctrl^click works .github/workflows/validation.yml #63: Commit 238c270 pushed by fhackett
1m 9s main
main
1m 9s
disable fuzz tests, unreliable on CI .github/workflows/test.yml #62: Commit 34b03ab pushed by fhackett
4m 33s main
main
4m 33s
disable fuzz tests, unreliable on CI .github/workflows/validation.yml #62: Commit 34b03ab pushed by fhackett
1m 25s main
main
1m 25s
fix licenses .github/workflows/test.yml #61: Commit d5f36f2 pushed by fhackett
3m 18s main
main
3m 18s
fix licenses .github/workflows/validation.yml #61: Commit d5f36f2 pushed by fhackett
1m 16s main
main
1m 16s
Merge manip improvements with calc .github/workflows/test.yml #60: Commit 2a77637 pushed by fhackett
3m 21s main
main
3m 21s
Merge manip improvements with calc .github/workflows/validation.yml #60: Commit 2a77637 pushed by fhackett
1m 8s main
main
1m 8s
increase deadline for manip tests .github/workflows/validation.yml #59: Commit d72d5e4 pushed by fhackett
1m 1s main
main
1m 1s
increase deadline for manip tests .github/workflows/test.yml #59: Commit d72d5e4 pushed by fhackett
5m 24s main
main
5m 24s
Merge pull request #13 from navidaminnn/main .github/workflows/test.yml #58: Commit a718fff pushed by fhackett
4m 46s main
main
4m 46s
Merge pull request #13 from navidaminnn/main .github/workflows/validation.yml #58: Commit a718fff pushed by fhackett
1m 3s main
main
1m 3s
calculator reader + parser .github/workflows/test.yml #57: Pull request #13 synchronize by navidaminnn
4m 22s navidaminnn:main
navidaminnn:main
4m 22s
calculator reader + parser .github/workflows/validation.yml #57: Pull request #13 synchronize by navidaminnn
56s navidaminnn:main
navidaminnn:main
56s
calculator reader + parser .github/workflows/test.yml #56: Pull request #13 synchronize by navidaminnn
4m 46s navidaminnn:main
navidaminnn:main
4m 46s
calculator reader + parser .github/workflows/validation.yml #56: Pull request #13 synchronize by navidaminnn
1m 17s navidaminnn:main
navidaminnn:main
1m 17s