Skip to content

Actions: kaist-plrg/spectec

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
145 workflow runs
145 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update constant instruction
CI for spectec #16: Commit b52c9e1 pushed by ShinWonho
February 1, 2024 03:58 4m 7s main
February 1, 2024 03:58 4m 7s
Update constant instruction
Mirror main branch to master branch #16: Commit b52c9e1 pushed by ShinWonho
February 1, 2024 03:58 11s main
February 1, 2024 03:58 11s
Update construct & numerics
CI for spectec #15: Commit beb1a94 pushed by ShinWonho
January 31, 2024 07:12 4m 1s main
January 31, 2024 07:12 4m 1s
Update construct & numerics
Mirror main branch to master branch #15: Commit beb1a94 pushed by ShinWonho
January 31, 2024 07:12 21s main
January 31, 2024 07:12 21s
Merge branch 'DSL'
Mirror main branch to master branch #14: Commit a06df7c pushed by ShinWonho
January 29, 2024 10:08 14s main
January 29, 2024 10:08 14s
Merge branch 'DSL'
CI for spectec #14: Commit a06df7c pushed by ShinWonho
January 29, 2024 10:08 4m 28s main
January 29, 2024 10:08 4m 28s
Merge branch 'DSL'
Mirror main branch to master branch #13: Commit ca1da36 pushed by ShinWonho
January 29, 2024 09:05 11s main
January 29, 2024 09:05 11s
Merge branch 'DSL'
CI for spectec #13: Commit ca1da36 pushed by ShinWonho
January 29, 2024 09:05 4m 58s main
January 29, 2024 09:05 4m 58s
make testpromote
CI for spectec #12: Commit 3806903 pushed by ShinWonho
January 26, 2024 06:12 17m 42s main
January 26, 2024 06:12 17m 42s
make testpromote
Mirror main branch to master branch #12: Commit 3806903 pushed by ShinWonho
January 26, 2024 06:12 13s main
January 26, 2024 06:12 13s
Generalize vector ops
CI for spectec #11: Commit f81eefa pushed by ShinWonho
January 26, 2024 06:01 4m 0s main
January 26, 2024 06:01 4m 0s
Generalize vector ops
Mirror main branch to master branch #11: Commit f81eefa pushed by ShinWonho
January 26, 2024 06:01 10s main
January 26, 2024 06:01 10s
Minor changes
CI for spectec #10: Commit 1c960b9 pushed by ShinWonho
January 25, 2024 06:31 4m 25s main
January 25, 2024 06:31 4m 25s
Minor changes
Mirror main branch to master branch #10: Commit 1c960b9 pushed by ShinWonho
January 25, 2024 06:31 10s main
January 25, 2024 06:31 10s
Minor syntax refactoring in EL (#55)
CI for spectec #9: Commit ac71d85 pushed by ShinWonho
January 22, 2024 07:18 6m 40s main
January 22, 2024 07:18 6m 40s
Minor syntax refactoring in EL (#55)
Mirror main branch to master branch #9: Commit ac71d85 pushed by ShinWonho
January 22, 2024 07:18 40s main
January 22, 2024 07:18 40s
Merge pull request #52 from Wasm-DSL/params
Mirror main branch to master branch #8: Commit 9ff4a91 pushed by f52985
January 10, 2024 07:21 9s main
January 10, 2024 07:21 9s
Merge pull request #52 from Wasm-DSL/params
CI for spectec #8: Commit 9ff4a91 pushed by f52985
January 10, 2024 07:21 6m 50s main
January 10, 2024 07:21 6m 50s
Allow iteration in arithmetic expressions
Mirror main branch to master branch #7: Commit d2966be pushed by ShinWonho
November 29, 2023 08:21 12s main
November 29, 2023 08:21 12s
Allow iteration in arithmetic expressions
CI for spectec #7: Commit d2966be pushed by ShinWonho
November 29, 2023 08:21 8m 38s main
November 29, 2023 08:21 8m 38s