Skip to content

Actions: nowarp/misti

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
650 workflow runs
650 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Divide-before-multiply detector
CI #46: Pull request #19 opened by byakuren-hijiri
July 14, 2024 11:02 3m 18s div-before-mul
July 14, 2024 11:02 3m 18s
chore: fix ESLint warnings and prettier formatting
CI #45: Commit 6d56c8a pushed by byakuren-hijiri
July 14, 2024 10:40 3m 44s master
July 14, 2024 10:40 3m 44s
feat(tests): Bless outputs
CI #39: Commit 4cdd354 pushed by byakuren-hijiri
June 28, 2024 02:04 3m 6s master
June 28, 2024 02:04 3m 6s
chore(test): Prettier warning
CI #35: Commit 66f4254 pushed by byakuren-hijiri
May 30, 2024 01:22 2m 29s master
May 30, 2024 01:22 2m 29s
fix(readOnlyVariables): Warning
CI #33: Commit c955f8c pushed by byakuren-hijiri
May 30, 2024 01:05 1m 53s master
May 30, 2024 01:05 1m 53s
fix(readOnlyVariables): ESLint warning
CI #32: Commit 5b8a2f4 pushed by byakuren-hijiri
May 30, 2024 01:05 4m 27s master
May 30, 2024 01:05 4m 27s
fix(readOnlyVariables): Add all uses of variables
CI #31: Commit c3fab81 pushed by byakuren-hijiri
May 30, 2024 01:04 2m 49s master
May 30, 2024 01:04 2m 49s
chore: Run prettier
CI #28: Commit 83aefff pushed by byakuren-hijiri
May 24, 2024 12:50 1m 26s master
May 24, 2024 12:50 1m 26s
Save references to AST positions in facts (#15)
CI #25: Commit 73be863 pushed by byakuren-hijiri
May 19, 2024 13:30 2m 4s master
May 19, 2024 13:30 2m 4s
Save references to AST positions in facts
CI #24: Pull request #15 synchronize by byakuren-hijiri
May 19, 2024 13:27 1m 25s souffle-mapping
May 19, 2024 13:27 1m 25s
Save references to AST positions in facts
CI #23: Pull request #15 opened by byakuren-hijiri
May 12, 2024 12:24 1m 14s souffle-mapping
May 12, 2024 12:24 1m 14s
chore(eslint): Disable no-explicit-any
CI #22: Commit 318a2ec pushed by byakuren-hijiri
May 11, 2024 23:00 1m 40s master
May 11, 2024 23:00 1m 40s
ProTip! You can narrow down the results and go further in time using created:<2024-05-11 or the other filters available.