Skip to content
This repository was archived by the owner on Feb 13, 2025. It is now read-only.

Actions: formalsec/instrumentation2

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
32 workflow runs
32 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Make prototype pollution throw error Build #32: Commit d0b47a2 pushed by filipeom
July 16, 2024 13:14 5m 50s main
main
July 16, 2024 13:14 5m 50s
Don't fail on unexpected witness values Build #31: Commit 90fc8b4 pushed by filipeom
July 2, 2024 16:57 3m 0s main
main
July 2, 2024 16:57 3m 0s
Fix CI Build #30: Commit 7452c27 pushed by filipeom
July 2, 2024 15:27 5m 56s main
main
July 2, 2024 15:27 5m 56s
Add literal test generation Build #29: Commit 311f024 pushed by filipeom
July 2, 2024 15:25 6m 3s main
main
July 2, 2024 15:25 6m 3s
Give a identifier to dynamic properties Build #28: Commit 8289c1a pushed by filipeom
June 29, 2024 17:48 5m 7s main
main
June 29, 2024 17:48 5m 7s
Make everything optional Build #27: Commit b90aae1 pushed by filipeom
May 31, 2024 18:02 5m 17s main
main
May 31, 2024 18:02 5m 17s
Allows continuation name to be return(s?) Build #26: Commit dec5b78 pushed by filipeom
May 13, 2024 17:51 2m 33s main
main
May 13, 2024 17:51 2m 33s
Allows continuation name to be return(s?) Build #25: Commit 59418b8 pushed by filipeom
May 13, 2024 17:37 5m 34s main
main
May 13, 2024 17:37 5m 34s
Add mode argument to run Build #24: Commit 39e0114 pushed by filipeom
May 6, 2024 10:14 5m 10s main
main
May 6, 2024 10:14 5m 10s
Rename Result.int_of_error to to_code Build #23: Commit 2234dcb pushed by filipeom
April 20, 2024 08:29 8m 38s main
main
April 20, 2024 08:29 8m 38s
Polymorphic result Build #22: Commit b5f651d pushed by filipeom
April 20, 2024 08:22 5m 9s main
main
April 20, 2024 08:22 5m 9s
More error types Build #21: Commit f7d32bd pushed by filipeom
April 20, 2024 07:59 15m 2s main
main
April 20, 2024 07:59 15m 2s
Add filename to taint_summary (Closes #7) Build #20: Commit 8d3ee11 pushed by filipeom
March 25, 2024 21:26 13m 51s main
main
March 25, 2024 21:26 13m 51s
Add filename to taint_summary (Closes #7) Build #19: Pull request #8 synchronize by filipeom
March 25, 2024 21:18 7m 49s add-filename
add-filename
March 25, 2024 21:18 7m 49s
Add filename to taint_summary (Closes #7) Build #18: Pull request #8 opened by filipeom
March 25, 2024 21:11 7m 37s add-filename
add-filename
March 25, 2024 21:11 7m 37s
Update run signature Build #17: Commit 61322fb pushed by filipeom
March 19, 2024 15:01 6m 26s main
main
March 19, 2024 15:01 6m 26s
Expose instrumentation library Build #16: Commit bf9702c pushed by filipeom
March 18, 2024 19:00 6m 38s main
main
March 18, 2024 19:00 6m 38s
Fix opam-lint Build #15: Commit c8ae5be pushed by filipeom
March 14, 2024 23:04 14m 45s main
main
March 14, 2024 23:04 14m 45s
Update example Build #14: Commit cfddc4b pushed by filipeom
March 12, 2024 22:06 5m 44s main
main
March 12, 2024 22:06 5m 44s
Continuations Build #13: Pull request #6 synchronize by filipeom
March 12, 2024 21:40 6m 22s continuations
continuations
March 12, 2024 21:40 6m 22s
Continuations Build #12: Pull request #6 synchronize by filipeom
March 12, 2024 21:26 5m 36s continuations
continuations
March 12, 2024 21:26 5m 36s
Continuations Build #11: Pull request #6 synchronize by filipeom
March 12, 2024 21:04 7m 12s continuations
continuations
March 12, 2024 21:04 7m 12s
Continuations Build #10: Pull request #6 opened by filipeom
March 12, 2024 20:14 5m 44s continuations
continuations
March 12, 2024 20:14 5m 44s
Update tests Build #9: Commit 056e681 pushed by filipeom
March 12, 2024 12:02 12m 19s main
main
March 12, 2024 12:02 12m 19s
Cleanup Build #8: Commit 9ba05e2 pushed by filipeom
March 12, 2024 12:01 10m 37s main
main
March 12, 2024 12:01 10m 37s