Skip to content

Actions: formalsec/ECMA-SL

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

github_actions in /. - Update #969258190
Dependabot Updates #29: by dependabot bot
February 24, 2025 06:00 38s main
February 24, 2025 06:00 38s
Update CHANGES.md
Build #662: Commit 231a84c pushed by filipeom
February 20, 2025 16:18 8m 25s main
February 20, 2025 16:18 8m 25s
Improve symbolic execution output
Build #661: Pull request #256 synchronize by filipeom
February 20, 2025 16:11 6m 59s filipeom:symbolic-prints
February 20, 2025 16:11 6m 59s
Improve symbolic execution output
Check Changelog #379: Pull request #256 synchronize by filipeom
February 20, 2025 16:11 16s filipeom:symbolic-prints
February 20, 2025 16:11 16s
Improve symbolic execution output
Build #660: Pull request #256 opened by filipeom
February 20, 2025 16:09 7m 58s filipeom:symbolic-prints
February 20, 2025 16:09 7m 58s
Improve symbolic execution output
Check Changelog #378: Pull request #256 opened by filipeom
February 20, 2025 16:09 17s filipeom:symbolic-prints
February 20, 2025 16:09 17s
Add newline before EOF
Build #659: Commit c423e19 pushed by filipeom
February 18, 2025 18:34 6m 24s main
February 18, 2025 18:34 6m 24s
Minor fixes
Build #658: Pull request #255 synchronize by filipeom
February 18, 2025 18:28 6m 23s filipeom:main
February 18, 2025 18:28 6m 23s
Minor fixes
Check Changelog #377: Pull request #255 synchronize by filipeom
February 18, 2025 18:28 13s filipeom:main
February 18, 2025 18:28 13s
Minor fixes
Build #657: Pull request #255 synchronize by filipeom
February 18, 2025 18:25 6m 47s filipeom:main
February 18, 2025 18:25 6m 47s
Minor fixes
Check Changelog #376: Pull request #255 synchronize by filipeom
February 18, 2025 18:25 14s filipeom:main
February 18, 2025 18:25 14s
Minor fixes
Check Changelog #375: Pull request #255 labeled by filipeom
February 18, 2025 18:25 14s filipeom:main
February 18, 2025 18:25 14s
Minor fixes
Build #656: Pull request #255 opened by filipeom
February 18, 2025 18:24 6m 13s filipeom:main
February 18, 2025 18:24 6m 13s
Minor fixes
Check Changelog #374: Pull request #255 opened by filipeom
February 18, 2025 18:24 17s filipeom:main
February 18, 2025 18:24 17s
Use continuation based logging for symbolic interp (Closes #195)
Build #655: Commit 630cb05 pushed by filipeom
February 18, 2025 16:54 6m 39s main
February 18, 2025 16:54 6m 39s
Refactor issues
Check Changelog #373: Pull request #254 synchronize by filipeom
February 18, 2025 16:47 19s filipeom:refactor-issues
February 18, 2025 16:47 19s
Refactor issues
Build #654: Pull request #254 synchronize by filipeom
February 18, 2025 16:47 6m 22s filipeom:refactor-issues
February 18, 2025 16:47 6m 22s
Refactor issues
Check Changelog #372: Pull request #254 labeled by filipeom
February 18, 2025 16:12 13s filipeom:refactor-issues
February 18, 2025 16:12 13s
Refactor issues
Check Changelog #371: Pull request #254 opened by filipeom
February 18, 2025 16:10 18s filipeom:refactor-issues
February 18, 2025 16:10 18s
Refactor issues
Build #653: Pull request #254 opened by filipeom
February 18, 2025 16:10 6m 25s filipeom:refactor-issues
February 18, 2025 16:10 6m 25s
github_actions in /. - Update #965481350
Dependabot Updates #28: by dependabot bot
February 17, 2025 05:22 36s main
February 17, 2025 05:22 36s
Use proper queue implementation for JobQueue
Build #652: Commit adc4370 pushed by filipeom
February 16, 2025 10:50 6m 28s main
February 16, 2025 10:50 6m 28s
Run Test262 Benchmarks
Run Test262 Benchmarks #60: Manually run by filipeom
February 15, 2025 21:53 1h 46m 49s queue
February 15, 2025 21:53 1h 46m 49s
Use proper queue implementation for JobQueue
Check Changelog #370: Pull request #253 assigned by filipeom
February 15, 2025 21:51 13s queue
February 15, 2025 21:51 13s
Use proper queue implementation for JobQueue
Check Changelog #369: Pull request #253 labeled by filipeom
February 15, 2025 21:51 14s queue
February 15, 2025 21:51 14s